| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第一章 绪论 | 第10-13页 |
| ·课题背景 | 第10页 |
| ·课题研究的意义 | 第10-11页 |
| ·国内外现状 | 第11-12页 |
| ·课题研究内容 | 第12页 |
| ·论文组织结构 | 第12-13页 |
| 第二章 软件测试及航空嵌入式软件测试理论与技术 | 第13-32页 |
| ·软件测试理论与技术 | 第13-19页 |
| ·软件测试定义 | 第13页 |
| ·软件测试目的 | 第13-14页 |
| ·软件测试方法 | 第14-15页 |
| ·软件测试过程 | 第15-16页 |
| ·软件测试模型 | 第16-19页 |
| ·嵌入式软件测试 | 第19-21页 |
| ·嵌入式软件定义及特点 | 第19-20页 |
| ·嵌入式软件测试难点 | 第20-21页 |
| ·航空嵌入式软件测试 | 第21-30页 |
| ·航空嵌入式软件的特点 | 第21-22页 |
| ·航空嵌入式软件测试难点 | 第22页 |
| ·航空嵌入式软件测试环境 | 第22-25页 |
| ·航空嵌入式软件测试模型 | 第25-30页 |
| ·本章小结 | 第30-32页 |
| 第三章 航空嵌入式软件全数字仿真测试环境设计与实现 | 第32-40页 |
| ·全数字仿真测试环境设计原理 | 第32-33页 |
| ·全数字仿真测试环境模型 | 第33页 |
| ·全数字仿真测试环境体系结构 | 第33-34页 |
| ·仿真测试环境实现中的关键技术 | 第34-38页 |
| ·硬件接口模拟 | 第34-35页 |
| ·进程管理与调度 | 第35-38页 |
| ·脚本测试语言 | 第38页 |
| ·本章小结 | 第38-40页 |
| 第四章 脚本测试语言设计与实现 | 第40-50页 |
| ·几种脚本测试语言比较 | 第40-42页 |
| ·嵌入式软件脚本测试实现机制 | 第42-43页 |
| ·仿真测试环境脚本测试语言设计 | 第43页 |
| ·仿真测试环境中脚本测试语言的实现 | 第43-49页 |
| ·数据模块定义 | 第43-44页 |
| ·测试输入和输出 | 第44-45页 |
| ·仿真测试环境脚本接口 | 第45-47页 |
| ·脚本解释器的扩展 | 第47-48页 |
| ·测试报告生成接口实现 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 航空全数字仿真测试环境测试应用与验证 | 第50-60页 |
| ·全数字仿真测试环境测试应用与验证 | 第50-58页 |
| ·与其他环境下测试方法比较 | 第58-59页 |
| ·本章小结 | 第59-60页 |
| 第六章 总结与展望 | 第60-62页 |
| 参考文献 | 第62-65页 |
| 致谢 | 第65-66页 |
| 在学期间的研究成果及发表的学术论文 | 第66页 |