| 摘要 | 第1-6页 |
| Abstract | 第6-16页 |
| 第1章 绪论 | 第16-40页 |
| ·课题背景及研究意义 | 第16-18页 |
| ·故障注入技术国外发展综述 | 第18-21页 |
| ·基于模拟的故障注入 | 第18-19页 |
| ·基于物理的故障注入 | 第19-20页 |
| ·软件实现的故障注入 | 第20-21页 |
| ·国内故障注入技术的研究现状 | 第21-22页 |
| ·目前软件故障注入研究存在的问题 | 第22-23页 |
| ·星载软件系统脆弱点检测与在线加固技术综述 | 第23-38页 |
| ·错误传播分析概述 | 第23-24页 |
| ·软件实现的硬件容错 | 第24-38页 |
| ·主要研究内容与创新点 | 第38页 |
| ·本文的组织结构 | 第38-40页 |
| 第2章 分布式软件故障注入方法 | 第40-68页 |
| ·引言 | 第40页 |
| ·故障注入领域中的一些定义和术语 | 第40-42页 |
| ·分布式系统 | 第42-45页 |
| ·单机故障注入与分布式系统故障注入的不同点 | 第45-46页 |
| ·分布式系统的故障模型 | 第46-51页 |
| ·故障模型 | 第46-47页 |
| ·内存故障模型 | 第47-48页 |
| ·CPU故障模型 | 第48页 |
| ·通讯故障模型 | 第48-49页 |
| ·软件故障模型 | 第49-50页 |
| ·故障模型的时间控制 | 第50-51页 |
| ·基于通用调试器（GDB）的故障注入方法 | 第51-62页 |
| ·通用调试器GDB简介 | 第51页 |
| ·故障注入的底层机理 | 第51-55页 |
| ·故障注入的上层实现 | 第55-62页 |
| ·基于GDB的故障注入实验 | 第62-67页 |
| ·确定注入 | 第62-63页 |
| ·随机注入 | 第63-65页 |
| ·结果分析 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第3章 基于错误传播分析的软件脆弱点检测方法 | 第68-92页 |
| ·引言 | 第68-69页 |
| ·软件系统与环境模型 | 第69-71页 |
| ·错误传播特性 | 第71-77页 |
| ·信号级上的错误传播 | 第71-73页 |
| ·模块级上的错误传播 | 第73-75页 |
| ·识别软件脆弱点 | 第75-77页 |
| ·参数的实验估计方法 | 第77-79页 |
| ·脆弱点检测方法实验结果与分析 | 第79-91页 |
| ·目标系统简介 | 第80-81页 |
| ·故障注入实验设置与过程 | 第81-82页 |
| ·实验结果与分析 | 第82-91页 |
| ·本章小结 | 第91-92页 |
| 第4章 基于控制流与数据流的软件脆弱点在线加固方法 | 第92-112页 |
| ·引言 | 第92-94页 |
| ·基于关系标记的控制流校验方法（RSCFC） | 第94-100页 |
| ·关系标记的概念 | 第94页 |
| ·基本模块标记的生成 | 第94-95页 |
| ·运行过程的“块间”控制流检测 | 第95-98页 |
| ·运行过程的“块内”控制流检测 | 第98-99页 |
| ·RSCFC的错误探测能力 | 第99-100页 |
| ·数据流错误检测方法 | 第100-103页 |
| ·检错方法 | 第100-101页 |
| ·纠错方法 | 第101-103页 |
| ·在线加固方法的有效性实验评估与讨论 | 第103-111页 |
| ·RSCFC方法与其它方法的对比实验 | 第103-106页 |
| ·RSCFC方法与数据流错误探测方法综合实验 | 第106-108页 |
| ·数据纠错算法SBC处理软故障的有效性 | 第108-111页 |
| ·本章小结 | 第111-112页 |
| 第5章 分布式系统故障注入器及软件脆弱点检测实验系统-SAVIE | 第112-133页 |
| ·引言 | 第112-113页 |
| ·SAVIE的特性 | 第113-115页 |
| ·SAVIE的结构 | 第115-119页 |
| ·SAVIE的功能组成 | 第115页 |
| ·SAVIE的硬件系统结构 | 第115-116页 |
| ·SAVIE的软件系统结构 | 第116-119页 |
| ·使用SAVIE进行故障注入实验的流程 | 第119-120页 |
| ·使用SAVIE进行故障注入实验的具体参数设计 | 第120-127页 |
| ·图形界面 | 第121页 |
| ·故障选择 | 第121-124页 |
| ·触发方式 | 第124-125页 |
| ·数据回收 | 第125-126页 |
| ·策略文件 | 第126页 |
| ·大规模故障注入图形界面 | 第126-127页 |
| ·全局设置 | 第127页 |
| ·软件脆弱点检测流程与设置 | 第127-130页 |
| ·故障注入试验 | 第130-132页 |
| ·本章小结 | 第132-133页 |
| 结论 | 第133-135页 |
| 参考文献 | 第135-145页 |
| 攻读博士学位期间所发表的论文 | 第145-147页 |
| 致谢 | 第147-148页 |
| 个人简历 | 第148页 |