航空类软件测试方法的研究与实施
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-15页 |
| ·本文的研究背景 | 第10-13页 |
| ·软件测试的基本概念 | 第10页 |
| ·航空软件测试的现状及发展前景 | 第10-13页 |
| ·本文的主要工作及意义 | 第13-14页 |
| ·本文的组织结构 | 第14-15页 |
| 第二章 通用软件测试技术及策略的研究 | 第15-36页 |
| ·黑盒测试技术 | 第15-20页 |
| ·黑盒测试法概述 | 第15-16页 |
| ·等价划分法 | 第16-17页 |
| ·边界值分析法 | 第17-18页 |
| ·因果图法 | 第18-19页 |
| ·其他黑盒法测试技术 | 第19-20页 |
| ·白盒测试技术 | 第20-29页 |
| ·白盒测试法概述 | 第20-22页 |
| ·六种主要的覆盖方法 | 第22-27页 |
| ·白盒法与黑盒法的比较 | 第27-29页 |
| ·通用软件测试策略 | 第29-36页 |
| ·引言 | 第29-30页 |
| ·单元测试 | 第30-31页 |
| ·集成测试 | 第31-33页 |
| ·系统测试 | 第33-34页 |
| ·确认测试 | 第34-36页 |
| 第三章 航空类软件测试的研究 | 第36-51页 |
| ·航空领域中的软件标准,DO-178B介绍 | 第36-39页 |
| ·DO-178B规范概述 | 第36页 |
| ·DO-178B规范对软件验证的要求 | 第36-38页 |
| ·DO-178B结构覆盖率分析 | 第38-39页 |
| ·航空软件测试的特点 | 第39-45页 |
| ·高可靠性软件介绍 | 第39-40页 |
| ·跟通用软件测试技术的比较 | 第40-45页 |
| ·等价划分法比较 | 第40-43页 |
| ·边界值法比较 | 第43-45页 |
| ·白盒覆盖率 | 第45页 |
| ·灰盒法在航空软件测试中的重点应用 | 第45-51页 |
| ·灰盒测试法概述 | 第45-46页 |
| ·传统黑白盒结合的应用 | 第46-48页 |
| ·灰盒法数据分析 | 第48-51页 |
| 第四章 典型航空软件测试方案 | 第51-66页 |
| ·引言及案例描述 | 第51页 |
| ·航空软件测试模型 | 第51-53页 |
| ·航空软件测试环境 | 第53-55页 |
| ·航空软件测试策略 | 第55-57页 |
| ·航空软件测试执行 | 第57-61页 |
| ·案例需求分析 | 第57-58页 |
| ·测试用例设计 | 第58-60页 |
| ·覆盖率分析 | 第60-61页 |
| ·方案实施 | 第61-66页 |
| 第五章 总结及进一步的工作 | 第66-67页 |
| ·总结 | 第66页 |
| ·进一步的工作 | 第66-67页 |
| 参考文献 | 第67-69页 |
| 附录一 | 第69-75页 |
| 附录二 | 第75-79页 |
| 致谢 | 第79页 |
