基于COTS的安全关键软件故障注入技术研究
| 中文摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 绪论 | 第8-17页 |
| ·研究动因 | 第8页 |
| ·基于COTS的软件系统的历史和发展 | 第8-11页 |
| ·安全关键软件中可靠性的意义 | 第11-13页 |
| ·系统可靠性的意义 | 第11-12页 |
| ·高可靠性系统的构造方法 | 第12页 |
| ·系统可靠性评测方法 | 第12-13页 |
| ·国内外故障注入研究概况 | 第13-15页 |
| ·国内外研究现状 | 第13-14页 |
| ·故障注入分类方法 | 第14-15页 |
| ·故障注入应用 | 第15页 |
| ·本文主要做的工作 | 第15-17页 |
| 第二章 故障注入技术研究基础 | 第17-25页 |
| ·故障的分类 | 第17页 |
| ·故障注入技术 | 第17-21页 |
| ·硬件实现的故障注入技术 | 第18-19页 |
| ·软件实现的故障注入技术 | 第19-21页 |
| ·故障注入器原理 | 第21-24页 |
| ·试验者和目标系统 | 第22页 |
| ·选择故障模型 | 第22-23页 |
| ·执行故障注入 | 第23-24页 |
| ·分析试验结果和监视系统行为 | 第24页 |
| ·本章小结 | 第24-25页 |
| 第三章 基于COTS的安全关键软件的故障注入研究 | 第25-40页 |
| ·SWIFI技术原理 | 第25-28页 |
| ·CT-SWIFI技术原理 | 第25-26页 |
| ·RT-SWIFI技术原理 | 第26-28页 |
| ·COTS构件运行时故障模型 | 第28页 |
| ·内置故障注入器的COTS构件设计 | 第28-30页 |
| ·COTS软件构件包装器模型 | 第28-29页 |
| ·包装器的运作方式 | 第29-30页 |
| ·故障注入机制 | 第30-31页 |
| ·建立运行时故障库 | 第31-33页 |
| ·故障注入脚本与输出脚本设计 | 第33-38页 |
| ·行为观测 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 故障注入器设计与实验结果 | 第40-55页 |
| ·故障注入器的工作原理 | 第40-41页 |
| ·故障注入器设计 | 第41-50页 |
| ·主控器程序 | 第41-44页 |
| ·监控器程序 | 第44-45页 |
| ·触发器程序 | 第45页 |
| ·故障注入器程序 | 第45-47页 |
| ·数据收集器程序 | 第47-49页 |
| ·数据分析器程序 | 第49-50页 |
| ·基于RT-SWIFI技术的实验 | 第50-54页 |
| ·本章小节 | 第54-55页 |
| 第五章 结论 | 第55-56页 |
| 参考文献 | 第56-60页 |
| 攻读硕士学位期间发表的论文 | 第60-61页 |
| 攻读硕士学位期间参与的项目 | 第61-62页 |
| 致谢 | 第62页 |
