LDRA Testbed在航空软件单元测试中的应用
| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第一章 绪论 | 第7-11页 |
| 1.1 选题背景及意义 | 第7-8页 |
| 1.2 国内外现状分析 | 第8-10页 |
| 1.3 论文工作内容 | 第10页 |
| 1.4 论文组织结构 | 第10-11页 |
| 第二章 相关技术概述 | 第11-23页 |
| 2.1 软件测试理论 | 第11-16页 |
| 2.1.1 软件测试的定义 | 第11-12页 |
| 2.1.2 软件测试的分类 | 第12-14页 |
| 2.1.3 软件测试的工作内容 | 第14-16页 |
| 2.2 软件单元测试技术 | 第16-21页 |
| 2.2.1 软件单元测试内容 | 第17-19页 |
| 2.2.2 单元测试环境 | 第19页 |
| 2.2.3 软件单元测试的实施 | 第19-20页 |
| 2.2.4 单元测试方法 | 第20页 |
| 2.2.5 单元测试工具 | 第20-21页 |
| 2.3 本章小结 | 第21-23页 |
| 第三章 单元测试需求分析 | 第23-39页 |
| 3.1 操作系统单元测试需求分析 | 第23-24页 |
| 3.2 中断管理模块测试需求分析 | 第24-35页 |
| 3.3 测试环境搭建 | 第35页 |
| 3.4 测试流程 | 第35-37页 |
| 3.5 本章小结 | 第37-39页 |
| 第四章 测试用例的设计 | 第39-49页 |
| 4.1 测试用例一般设计方法 | 第39-43页 |
| 4.1.1 逻辑覆盖法 | 第39-42页 |
| 4.1.2 基本路径测试法 | 第42-43页 |
| 4.2 LDRA Testbed 测试用例生成法 | 第43-44页 |
| 4.3 测试用例设计实例 | 第44-47页 |
| 4.4 本章小结 | 第47-49页 |
| 第五章 中断管理模块测试实施 | 第49-67页 |
| 5.1 静态分析 | 第49-54页 |
| 5.1.1 编程标准违反详细情况 | 第49-53页 |
| 5.1.2 按质量因数评估的子程序分类统计 | 第53-54页 |
| 5.2 动态测试执行 | 第54-62页 |
| 5.3 测试结果统计和分析 | 第62-63页 |
| 5.4 工具分析 | 第63-65页 |
| 5.5 本章小结 | 第65-67页 |
| 第六章 结束语 | 第67-69页 |
| 致谢 | 第69-71页 |
| 参考文献 | 第71-73页 |
