| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-9页 |
| 第1章 前言 | 第9-12页 |
| ·选题的背景 | 第9页 |
| ·课题的国内外研究现状 | 第9-10页 |
| ·嵌入武控计算机软件测试所面临的问题 | 第10-11页 |
| ·本课题的主要研究内容 | 第11-12页 |
| 第2章 软件测试的基本理论与独立半仿真测试平台的建立 | 第12-34页 |
| ·软件测试的基本理论 | 第12-13页 |
| ·软件测试的定义 | 第12页 |
| ·软件测试的目的 | 第12-13页 |
| ·软件测试的分类 | 第13页 |
| ·软件测试技术 | 第13-18页 |
| ·软件静态测试技术 | 第14-15页 |
| ·软件动态测试技术 | 第15页 |
| ·软件覆盖率测试技术 | 第15-18页 |
| ·嵌入式武控计算机软件测试 | 第18-20页 |
| ·嵌入式软件测试环境 | 第18页 |
| ·嵌入式软件测试特点 | 第18-19页 |
| ·嵌入式软件测试方法 | 第19-20页 |
| ·软件测试过程模型 | 第20-27页 |
| ·嵌入式武控计算机软件的特点 | 第21页 |
| ·典型软件测试过程模型 | 第21-25页 |
| ·嵌入式武控计算机软件测试过程模型 | 第25-26页 |
| ·嵌入式武控计算机软件测试过程模型的优点 | 第26-27页 |
| ·嵌入式武控计算机软件半实装仿真测试平台的建立 | 第27-33页 |
| ·半实装仿真测试平台主要功能与技术指标 | 第27页 |
| ·半实装仿真测试平台结构与组成 | 第27-30页 |
| ·半实装仿真测试平台校验及测试 | 第30-33页 |
| ·本章小节 | 第33-34页 |
| 第3章 嵌入式武控计算机软件静态测试 | 第34-44页 |
| ·嵌入式武控计算机软件静态测试的相关概念 | 第34-36页 |
| ·嵌入式武控计算机软件静态测试需求与难点 | 第36页 |
| ·嵌入式武控计算机软件静态测试技术 | 第36-43页 |
| ·嵌入式武控计算机软件静态分析过程 | 第36-38页 |
| ·嵌入式武控计算机软件静态测试技术分析 | 第38-43页 |
| ·本章小节 | 第43-44页 |
| 第4章 嵌入式武控计算机软件数学模型验证 | 第44-48页 |
| ·嵌入武控计算机软件数学模型的特点 | 第44页 |
| ·嵌入式武控计算机软件数学模型验证方法 | 第44-47页 |
| ·嵌入式武控计算机软件数学模型测试方法实现 | 第45-46页 |
| ·嵌入式武控计算机软件数学模型测试方法的有效性与充分性分析 | 第46-47页 |
| ·嵌入式武控计算机软件数学模型测试试验 | 第47页 |
| ·本章小节 | 第47-48页 |
| 第5章 嵌入式武控计算机软件内存泄漏测试 | 第48-53页 |
| ·内存泄漏相关概念 | 第48页 |
| ·嵌入式武控计算机软件内存泄漏测试的难点 | 第48页 |
| ·内存泄漏分析 | 第48-49页 |
| ·内存泄漏监视的基本思想 | 第49-50页 |
| ·内存泄漏监视算法 | 第50-51页 |
| ·内存泄漏算法设计与实现 | 第51-52页 |
| ·本章小节 | 第52-53页 |
| 第6章 嵌入式武控计算机软件逻辑覆盖率测试 | 第53-59页 |
| ·嵌入武控计算机软件逻辑测试的相关概念 | 第53页 |
| ·嵌入式武控计算机软件逻辑覆盖测试的需求与难点 | 第53-54页 |
| ·嵌入式武控计算机软件逻辑覆盖自动化测试工具 | 第54-55页 |
| ·逻辑覆盖率测试工具的选择 | 第54-55页 |
| ·Macabe测试工具技术原理 | 第55页 |
| ·嵌入式武控计算机软件覆盖测试技术 | 第55-58页 |
| ·测试环境配置 | 第55页 |
| ·嵌入式武控计算机软件覆盖率测试过程 | 第55-57页 |
| ·嵌入式武控计算机软件覆盖率测试结果分析 | 第57-58页 |
| ·本章小节 | 第58-59页 |
| 第7章 结论 | 第59-61页 |
| 参考文献 | 第61-63页 |
| 致谢 | 第63页 |