| 第一章 绪论 | 第1-24页 |
| ·课题研究的背景和意义 | 第15-17页 |
| ·软件测试与软件可靠性 | 第15-17页 |
| ·测试充分性 | 第17页 |
| ·国内外的研究现状和发展动态 | 第17-22页 |
| ·基于规范的功能测试和基于程序的结构测试研究 | 第17-19页 |
| ·软件测试工具研究 | 第19-20页 |
| ·基于规范和程序输入域分析的软件测试方法 | 第20-21页 |
| ·RSDIMU简介 | 第21-22页 |
| ·本文的主要工作及组织结构 | 第22-23页 |
| ·研究目标及内容 | 第22页 |
| ·本文的组织结构 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第二章 容错软件-RSDIMU的开发及测试现状 | 第24-33页 |
| ·RSDIMU的开发 | 第24-29页 |
| ·RSDIMU系统简介 | 第24-26页 |
| ·RSDIMU需求规范说明 | 第26-27页 |
| ·RSDIMU软件的开发过程 | 第27-28页 |
| ·RSDIMU程序的特性 | 第28-29页 |
| ·RSDIMU的测试数据生成 | 第29-32页 |
| ·1200个测试用例的生成描述 | 第30-31页 |
| ·90个测试用例的生成描述 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 几种常用的边界值测试方法 | 第33-38页 |
| ·边界条件 | 第33页 |
| ·次边界条件 | 第33-34页 |
| ·边界值分析 | 第34-35页 |
| ·健壮性测试 | 第35-36页 |
| ·最坏情况测试 | 第36页 |
| ·健壮最坏情况测试 | 第36-37页 |
| ·本章小结 | 第37-38页 |
| 第四章 一种新的边界测试数据自动生成方法 | 第38-50页 |
| ·关于新的边界测试数据生成方法的探索 | 第38-44页 |
| ·基于“单故障”假设的边界测试数据选取原则 | 第38-41页 |
| ·基于“多故障”假设的边界测试数据选取原则 | 第41-44页 |
| ·新的边界测试数据自动生成方法 | 第44-49页 |
| ·测试数据生成原则 | 第44-46页 |
| ·测试数据自动生成算法 | 第46-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 RSDIMU容错软件的边界测试分析 | 第50-61页 |
| ·RSDIMU边界测试用例的生成 | 第50-51页 |
| ·故障检测结果 | 第51-56页 |
| ·运行RSDIMU程序的Bash脚本描述 | 第51-52页 |
| ·7个测试用例集对34个RSDIMU程序的故障检测结果 | 第52-55页 |
| ·7个测试用例集对429个变异体的故障检测结果 | 第55-56页 |
| ·测试覆盖程度 | 第56-59页 |
| ·ATAC使用脚本描述 | 第56-57页 |
| ·3个测试用例集对21个RSDIMU程序的覆盖程度 | 第57-59页 |
| ·测试结果的分析与比较 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 第六章 结束语 | 第61-62页 |
| ·本文的主要工作 | 第61页 |
| ·进一步的工作 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 附录 | 第66-68页 |
| 致谢 | 第68-69页 |
| 攻读学位期间发表的学术论文 | 第69页 |
| 作者和导师简介 | 第69-71页 |