| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 1 绪论 | 第12-17页 |
| 1.1 研究背景 | 第12页 |
| 1.2 课题的国内外研究现状 | 第12-14页 |
| 1.3 嵌入式箭载计算机飞行控制软件测试所面临的问题 | 第14-15页 |
| 1.4 课题的主要研究内容 | 第15页 |
| 1.5 课题的章节结构 | 第15-17页 |
| 2 嵌入式箭载计算机飞行控制软件测试的基本理论 | 第17-24页 |
| 2.1 软件测试的基本概念 | 第17-19页 |
| 2.1.1 软件测试的目的和定义 | 第17页 |
| 2.1.2 软件测试的原则 | 第17-18页 |
| 2.1.3 软件测试的分类 | 第18-19页 |
| 2.2 软件测试技术 | 第19-21页 |
| 2.2.1 静态测试技术特点 | 第19页 |
| 2.2.2 动态测试技术特点 | 第19-20页 |
| 2.2.3 覆盖率测试技术特点 | 第20-21页 |
| 2.3 嵌入式箭载计算机飞行控制软件测试 | 第21-23页 |
| 2.3.1 嵌入式软件测试环境 | 第21-22页 |
| 2.3.2 嵌入式软件测试特点 | 第22页 |
| 2.3.3 嵌入式软件测试方法 | 第22-23页 |
| 2.4 本章小结 | 第23-24页 |
| 3 建立独立仿真平台和自动化测试过程模型 | 第24-43页 |
| 3.1 嵌入式箭载计算机飞行控制软件的特点 | 第24-25页 |
| 3.2 自动化测试过程模型 | 第25-30页 |
| 3.2.1 典型软件测试过程模型 | 第25-29页 |
| 3.2.2 嵌入式箭载计算机飞行控制软件测试过程模型 | 第29页 |
| 3.2.3 嵌入式箭载计算机飞行控制软件测试过程模型的优点 | 第29-30页 |
| 3.3 嵌入式箭载计算机软件独立仿真平台的建立 | 第30-42页 |
| 3.3.1 独立仿真测试平台技术标准 | 第30-31页 |
| 3.3.2 独立仿真平台结构及组成 | 第31-39页 |
| 3.3.2.1 测试平台各模拟软件运行环境 | 第31-33页 |
| 3.3.2.2 运行监视环境 | 第33-35页 |
| 3.3.2.3 外围通讯设备 | 第35-39页 |
| 3.3.3 独立仿真平台软件校验及测试 | 第39-42页 |
| 3.4 本章小结 | 第42-43页 |
| 4 嵌入式箭载计算机飞行控制软件静态测试 | 第43-60页 |
| 4.1 嵌入式箭载计算机飞行控制软件静态测试的相关概念 | 第43-44页 |
| 4.2 嵌入式箭载计算机飞行控制软件静态测试需求与难点 | 第44-45页 |
| 4.3 嵌入式箭载计算机飞行控制软件静态测试方法 | 第45-58页 |
| 4.3.1 嵌入式箭载计算机飞行控制软件静态分析过程 | 第45-47页 |
| 4.3.2 嵌入式箭载计算机飞行控制软件静态测试技术 | 第47-51页 |
| 4.3.2.1 降低扇入扇出数 | 第47-48页 |
| 4.3.2.2 降低圈复杂度 | 第48-49页 |
| 4.3.2.3 如何降低软件基本复杂度 | 第49-51页 |
| 4.3.3 嵌入式箭载计算机飞行控制软件静态测试中断分析方法 | 第51-58页 |
| 4.3.3.1 软件中断含义 | 第51页 |
| 4.3.3.2 软件中断分析方法 | 第51-58页 |
| 4.3.3.2.1 软件中断使用情况分析 | 第52-53页 |
| 4.3.3.2.2 软件中断处理情况分析 | 第53-55页 |
| 4.3.3.2.3 软件中断资源冲突检查 | 第55-57页 |
| 4.3.3.2.4 系统（内部）软件中断和未使用中断的检查 | 第57-58页 |
| 4.4 本章小结 | 第58-60页 |
| 5 嵌入式箭载计算机飞行控制软件动态边界测试技术 | 第60-68页 |
| 5.1 边界测试的需求和含义 | 第60-61页 |
| 5.2 应用边界值测试的意义 | 第61页 |
| 5.3 边界测试应用实例 | 第61-67页 |
| 5.3.1 边界测试应用背景和目的 | 第61-62页 |
| 5.3.2 边界测试设计 | 第62-64页 |
| 5.3.3 边界测试执行 | 第64-66页 |
| 5.3.4 测试结果分析 | 第66-67页 |
| 5.4 本章小结 | 第67-68页 |
| 6 嵌入式箭载计算机飞行控制软件单元测试 | 第68-86页 |
| 6.1 TESTBED测试工具安装 | 第68-70页 |
| 6.2 预处理软件源程序 | 第70页 |
| 6.3 准备测试环境 | 第70-72页 |
| 6.4 进行单元测试 | 第72-83页 |
| 6.5 查看覆盖率 | 第83-85页 |
| 6.6 本章小结 | 第85-86页 |
| 7 嵌入式箭载计算机飞行控制软件逻辑覆盖测试 | 第86-103页 |
| 7.1 MCCABE测试工具安装及验证 | 第86-89页 |
| 7.2 预处理软件源程序 | 第89-91页 |
| 7.3 对目标代码进行插桩 | 第91-102页 |
| 7.3.1 创建工程 | 第91-95页 |
| 7.3.2 动态测试 | 第95-98页 |
| 7.3.3 覆盖率分析 | 第98-102页 |
| 7.4 本章小结 | 第102-103页 |
| 8 结论 | 第103-105页 |
| 参考文献 | 第105-107页 |
| 致谢 | 第107-108页 |
| 攻读学位期间发表的学术论文目录 | 第108页 |
