基于局部连续性的核电软件测试研究
| 摘要 | 第5-6页 |
| ABSTRACT | 第6页 |
| 插图索引 | 第7-8页 |
| 附表索引 | 第8-9页 |
| 第一章 绪论 | 第9-15页 |
| 1.1 研究背景和意义 | 第9-10页 |
| 1.2 国内外研究历程及现状 | 第10-13页 |
| 1.3 主要研究内容 | 第13页 |
| 1.4 论文结构 | 第13-15页 |
| 第二章 软件测试技术 | 第15-32页 |
| 2.1 软件测试 | 第15-28页 |
| 2.1.1 软件测试的分类 | 第17-18页 |
| 2.1.2 软件测试的方法 | 第18-28页 |
| 2.2 核电软件测试 | 第28-30页 |
| 2.3 测试用例自动生成方法 | 第30-31页 |
| 2.4 小结 | 第31-32页 |
| 第三章 测试用例自动生成系统 | 第32-42页 |
| 3.1 基于局部连续性的测试用例自动生成原理 | 第32-36页 |
| 3.2 测试用例自动生成系统 | 第36-37页 |
| 3.3 实验结果分析 | 第37-41页 |
| 3.4 小结 | 第41-42页 |
| 第四章 FSC 软件测试 | 第42-53页 |
| 4.1 FSC 软件简介 | 第42页 |
| 4.2 FSC 软件测试设计 | 第42-46页 |
| 4.2.1 静态测试 | 第43页 |
| 4.2.2 单元测试 | 第43-45页 |
| 4.2.3 集成测试 | 第45页 |
| 4.2.4 功能测试 | 第45-46页 |
| 4.2.5 回归测试 | 第46页 |
| 4.3 FSC 软件测试结果 | 第46-52页 |
| 4.3.1 静态测试结果分析 | 第46-47页 |
| 4.3.2 单元测试结果分析 | 第47-48页 |
| 4.3.3 集成测试结果分析 | 第48-49页 |
| 4.3.4 功能测试结果分析 | 第49-52页 |
| 4.4 小结 | 第52-53页 |
| 第五章 总结和展望 | 第53-55页 |
| 5.1 工作总结 | 第53页 |
| 5.2 工作展望 | 第53-55页 |
| 参考文献 | 第55-59页 |
| 成果目录 | 第59-60页 |
| 致谢 | 第60页 |
