面向软件可靠性的测试用例生成技术的研究与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 引言 | 第9-15页 |
| ·课题研究背景和意义 | 第9-10页 |
| ·国内外动态 | 第10-13页 |
| ·论文主要研究内容 | 第13页 |
| ·论文结构 | 第13-15页 |
| 第二章 软件测试与可靠性 | 第15-34页 |
| ·软件测试 | 第15-20页 |
| ·软件可靠性基本理论 | 第20-23页 |
| ·软件可靠性测试 | 第23-31页 |
| ·软件可靠性评估 | 第31-33页 |
| ·小结 | 第33-34页 |
| 第三章 自动产生测试用例的方法研究 | 第34-47页 |
| ·基于规格产生测试用例 | 第34-37页 |
| ·基于模型产生测试用例 | 第37-41页 |
| ·其他方法 | 第41-42页 |
| ·一种基于时间Petri 网产生测试用例的方法 | 第42-45页 |
| ·方法总结 | 第45-46页 |
| ·小结 | 第46-47页 |
| 第四章 面向嵌入式实时软件的测试用例产生方案 | 第47-62页 |
| ·嵌入式实时软件的特点 | 第47-48页 |
| ·嵌入式实时软件的开发方法 | 第48-50页 |
| ·嵌入式实时系统测试 | 第50-53页 |
| ·基于分层模型的测试用例生成 | 第53-58页 |
| ·实例分析 | 第58-60页 |
| ·方法讨论 | 第60-61页 |
| ·小结 | 第61-62页 |
| 第五章 软件可靠性测试辅助平台的设计与实现 | 第62-87页 |
| ·目前主要的软件可靠性测试平台 | 第62-63页 |
| ·总体设计 | 第63-66页 |
| ·系统主要功能的设计与实现 | 第66-83页 |
| ·嵌入式软件可靠测试运行环境的设计 | 第83-85页 |
| ·系统的不足与改进 | 第85-86页 |
| ·小结 | 第86-87页 |
| 第六章 总结与展望 | 第87-89页 |
| 参考文献 | 第89-93页 |
| 致谢 | 第93-94页 |
| 攻读硕士期间发表的论文 | 第94-95页 |
