航空软件测试用例自动生成方法研究
| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第一章 绪论 | 第12-16页 |
| ·研究背景和意义 | 第12-13页 |
| ·国内外研究现状 | 第13-14页 |
| ·主要研究内容 | 第14页 |
| ·论文的组织结构 | 第14-16页 |
| 第二章 软件测试技术 | 第16-27页 |
| ·软件测试 | 第16-18页 |
| ·软件测试的过程 | 第16页 |
| ·软件测试的方法 | 第16-18页 |
| ·测试用例设计方法 | 第18-22页 |
| ·基于代码的测试用例设计方法 | 第19-21页 |
| ·基于规格说明的测试用例设计方法 | 第21-22页 |
| ·测试用例自动生成方法 | 第22-25页 |
| ·面向结构的测试数据自动生成方法 | 第23-24页 |
| ·面向对象的测试数据自动生成方法 | 第24页 |
| ·面向功能的测试数据自动生成方法 | 第24-25页 |
| ·航空软件测试技术 | 第25-26页 |
| ·航空领域软件标准DO-178B 介绍 | 第25-26页 |
| ·灰盒方法在航空软件测试中的应用 | 第26页 |
| ·本章小结 | 第26-27页 |
| 第三章 运用模型检查自动生成测试用例 | 第27-43页 |
| ·时序模型概述 | 第27-32页 |
| ·Kripke 结构 | 第27页 |
| ·时态逻辑 | 第27-32页 |
| ·符号模型检查 | 第32-38页 |
| ·二元决策图介绍 | 第32-36页 |
| ·不动点理论基础 | 第36-37页 |
| ·符号模型检测算法 | 第37-38页 |
| ·运用模型检查自动生成测试用例原理 | 第38页 |
| ·运用模型检查自动生成测试用例流程 | 第38-42页 |
| ·模型检查过程 | 第38-40页 |
| ·运用模型检查自动生成测试用例过程 | 第40-42页 |
| ·本章小结 | 第42-43页 |
| 第四章 测试用例自动生成流程 | 第43-62页 |
| ·根据需求建立系统模型 | 第43-47页 |
| ·需求抽象 | 第43-44页 |
| ·SMV 语法描述系统模型 | 第44-47页 |
| ·构造满足MC/DC 准则的时序逻辑 | 第47-57页 |
| ·MC/DC 准则 | 第47-48页 |
| ·MC/DC 准则的形式化定义 | 第48-49页 |
| ·布尔运算符替换算法设计 | 第49-54页 |
| ·算法分析与验证 | 第54-57页 |
| ·利用模型检查器进行模型检查 | 第57-60页 |
| ·模型检查器Nusmv 介绍 | 第57-58页 |
| ·初始运行结果 | 第58-60页 |
| ·从反例抽取测试用例 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 第五章 测试用例自动生成方法实验验证 | 第62-72页 |
| ·卫星导航系统测试过程 | 第62-65页 |
| ·基于模型检查测试用例自动生成工具设计框架 | 第65-69页 |
| ·系统建模模块 | 第65-67页 |
| ·时序逻辑模块 | 第67-68页 |
| ·抽取测试用例模块 | 第68-69页 |
| ·测试驱动创建 | 第69-71页 |
| ·结构覆盖结果分析 | 第71页 |
| ·本章小结 | 第71-72页 |
| 第六章 总结与展望 | 第72-74页 |
| ·本文的主要工作 | 第72-73页 |
| ·今后的工作 | 第73-74页 |
| 参考文献 | 第74-78页 |
| 致谢 | 第78-79页 |
| 在学期间的研究成果及发表的学术论文 | 第79页 |
