| 摘要 | 第1-5页 |
| Abstract | 第5-13页 |
| 第1章 绪论 | 第13-34页 |
| ·课题背景及研究的目的和意义 | 第13-15页 |
| ·硬件故障注入技术研究 | 第15-18页 |
| ·故障模型与注入方式 | 第15-16页 |
| ·单比特与多比特翻转 | 第16-18页 |
| ·软件故障注入技术研究 | 第18-20页 |
| ·软件故障注入技术特点 | 第18-19页 |
| ·软件故障注入技术分类 | 第19-20页 |
| ·基于突变理论的故障注入分析 | 第20-30页 |
| ·相关定义 | 第20-21页 |
| ·突变理论的特点 | 第21-23页 |
| ·基于突变理论的故障注入行为建模及分析 | 第23-25页 |
| ·基于R_S_T 模型中S 属性的注入策略算法FI_S | 第25-30页 |
| ·软件故障注入国内外研究现状 | 第30-32页 |
| ·本课题的主要研究内容 | 第32-34页 |
| 第2章 基于变异测试的软件故障注入 | 第34-66页 |
| ·引言 | 第34-35页 |
| ·变异测试技术 | 第35-42页 |
| ·基本假设 | 第35-36页 |
| ·变异分析的过程 | 第36-40页 |
| ·变异分析面临的问题 | 第40页 |
| ·等价变异检测技术 | 第40-42页 |
| ·Tcl 语言变异工具的设计与实验 | 第42-46页 |
| ·利用自动机的变异测试测试序列生成方法的有效性 | 第46-59页 |
| ·自动机及其变异 | 第46-53页 |
| ·测试序列产生方法 | 第53-55页 |
| ·实验与分析 | 第55-59页 |
| ·利用CTL 逻辑变异的测试用例自动生成技术 | 第59-63页 |
| ·方法简介 | 第59页 |
| ·SMV 模型检验器 | 第59-61页 |
| ·CTL 逻辑说明及变异算子 | 第61-63页 |
| ·实验与分析 | 第63页 |
| ·本章小结 | 第63-66页 |
| 第3章 基于中间层注入技术的软件故障注入 | 第66-98页 |
| ·引言 | 第66-67页 |
| ·系统级中间层注入技术研究 | 第67-76页 |
| ·Unix 系统下基于中间层的注入方法 | 第67-68页 |
| ·Windows 系统下基于中间层的注入方法 | 第68-76页 |
| ·模块级中间层注入评测系统可靠性 | 第76-97页 |
| ·利用单调关联系统评测系统可靠性 | 第76-82页 |
| ·单调关联理论应用于软件故障注入研究的不足 | 第82-83页 |
| ·利用错误传播与脆弱性分析评测系统可靠性 | 第83-97页 |
| ·本章小结 | 第97-98页 |
| 第4章 基于存储空间注入技术的软件故障注入 | 第98-127页 |
| ·引言 | 第98-99页 |
| ·中间层与存储空间注入技术 | 第99-102页 |
| ·存储空间注入技术的两种实现方式 | 第102-107页 |
| ·两种方式的实验记录格式 | 第102-104页 |
| ·两种方式的注入算法 | 第104-106页 |
| ·两种注入方式的有效性分析 | 第106-107页 |
| ·基本参数计算与故障计数过程分析 | 第107-112页 |
| ·实验数据片段 | 第107-108页 |
| ·故障计数过程分析 | 第108-111页 |
| ·故障注入流 | 第111-112页 |
| ·注入实验与分析 | 第112-126页 |
| ·实验目的 | 第112-113页 |
| ·基于等待方式的注入实验及X 分布研究 | 第113-115页 |
| ·基于冲击方式的注入实验及X 分布研究 | 第115-118页 |
| ·基准程序的空间注入实验 | 第118-121页 |
| ·概率参数变化对实验影响的探讨 | 第121-126页 |
| ·本章小结 | 第126-127页 |
| 第5章 基于软件故障注入的软件系统评测工具 | 第127-149页 |
| ·引言 | 第127-128页 |
| ·SOFI 软件故障注入工具 | 第128页 |
| ·利用SOFI 实施空间故障注入 | 第128-142页 |
| ·实验流程及实验现象 | 第128-131页 |
| ·可靠性指标计算 | 第131-140页 |
| ·运行性能分析 | 第140-142页 |
| ·利用SOFI 实现中间层故障注入 | 第142-147页 |
| ·模块划分 | 第142页 |
| ·故障注入实验 | 第142-147页 |
| ·本章小结 | 第147-149页 |
| 结论 | 第149-152页 |
| 参考文献 | 第152-162页 |
| 攻读博士学位期间发表的论文及其它成果 | 第162-164页 |
| 致谢 | 第164-165页 |
| 个人简历 | 第165页 |