| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 引言 | 第11-19页 |
| ·概述 | 第11-12页 |
| ·课题背景及意义 | 第12-16页 |
| ·嵌入式软件测试当前的研究动态 | 第12-14页 |
| ·安全性测试研究的重要性和紧迫性 | 第14-15页 |
| ·嵌入式软件测试的现状与不足 | 第15-16页 |
| ·研究内容和创新点 | 第16-17页 |
| ·论文组织结构 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第2章 安全关键软件测试方法与测试质量的度量 | 第19-30页 |
| ·软件测试与安全关键软件测试 | 第19-20页 |
| ·软件故障注入技术 | 第20-23页 |
| ·故障注入 | 第20-21页 |
| ·故障模式的选择 | 第21页 |
| ·故障注入的实现方法——使用变异算子 | 第21-23页 |
| ·基于接口参数的软件安全测试方法 | 第23-24页 |
| ·安全关键软件测试运行的组织方式 | 第24页 |
| ·软件测试的充分性 | 第24-25页 |
| ·软件测试方法的揭错能力 | 第25-27页 |
| ·测试方法揭错能力标准 | 第26页 |
| ·随机测试与选择性测试的比较 | 第26-27页 |
| ·测试充分性与揭错能力的关系 | 第27-28页 |
| ·本章小结 | 第28-30页 |
| 第3章 嵌入式安全关键软件仿真测试平台结构的研究和设计 | 第30-60页 |
| ·嵌入式安全关键软件仿真测试平台的需求分析 | 第30-34页 |
| ·嵌入式安全关键软件仿真测试平台的设计目标和原则 | 第30-32页 |
| ·嵌入式安全关键软件仿真测试平台的功能与工作流程 | 第32-34页 |
| ·嵌入式安全关键软件仿真模拟器的系统结构 | 第34-48页 |
| ·处理器模拟宏模块 | 第35-42页 |
| ·配置选项解析和初始化模块 | 第42-45页 |
| ·硬件设备与接口模拟模块 | 第45-46页 |
| ·MEMORY模拟模块 | 第46-48页 |
| ·测试管理器的系统结构 | 第48-56页 |
| ·测试控制脚本模块 | 第50-54页 |
| ·测试控制命令模块 | 第54页 |
| ·测试报告记录与生成模块 | 第54-55页 |
| ·过程错误管理模块 | 第55-56页 |
| ·测试平台配套的工具链 | 第56-58页 |
| ·设计目标 | 第56页 |
| ·现实情况与困难 | 第56-57页 |
| ·测试平台使用的解决方案 | 第57-58页 |
| ·本章小结 | 第58-60页 |
| 第4章 嵌入式安全关键软件仿真测试平台的关键技术 | 第60-79页 |
| ·程序插装技术 | 第60-69页 |
| ·GCC编译流程分析 | 第61-63页 |
| ·基于GCC的程序插装技术 | 第63-65页 |
| ·APCS(ARM Procedure Call Standard)与程序插装实现 | 第65-67页 |
| ·插装测试实例 | 第67-69页 |
| ·自动测试技术的实现与管理 | 第69-73页 |
| ·自动测试的原理 | 第70-71页 |
| ·自动测试的实现方式 | 第71-73页 |
| ·故障注入模块 | 第73-77页 |
| ·软件实现的故障注入技术 | 第73-74页 |
| ·软件故障注入位置 | 第74-75页 |
| ·软件故障注入触发条件 | 第75页 |
| ·故障注入模块的实现 | 第75-77页 |
| ·本章小结 | 第77-79页 |
| 第5章 嵌入式安全关键软件仿真测试平台应用实例 | 第79-86页 |
| ·被测项目背景介绍 | 第79-82页 |
| ·目标系统介绍 | 第79-80页 |
| ·目标系统结构及被测试模块 | 第80-82页 |
| ·仿真测试基本工作流程 | 第82-85页 |
| ·仿真测试平台配置 | 第82-83页 |
| ·编译插桩被测软件 | 第83页 |
| ·测试过程及故障发现 | 第83-85页 |
| ·本章小结 | 第85-86页 |
| 第6章 总结与展望 | 第86-89页 |
| 致谢 | 第89-90页 |
| 参考文献 | 第90-93页 |
| 个人简历 在读期间发表论文和科研工作 | 第93页 |