| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-12页 |
| 第一章 绪论 | 第12-21页 |
| ·课题背景 | 第12-13页 |
| ·研究意义 | 第13-14页 |
| ·相关技术的发展现状 | 第14-18页 |
| ·GCC 插件可视化开发技术的发展现状 | 第14-15页 |
| ·静态检测技术的研究发展现状 | 第15-16页 |
| ·嵌入式软件自动化路径测试技术研究发展现状 | 第16-18页 |
| ·作者的主要工作 | 第18-19页 |
| ·论文结构 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第二章 课题基础平台及 GCC 插件框架 | 第21-31页 |
| ·GDIX 嵌入式软件测试平台 | 第21-23页 |
| ·GCC 框架及插件框架 | 第23-30页 |
| ·GCC 框架 | 第23-26页 |
| ·GCC 插件框架 | 第26-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 GCC 插件可视化开发 | 第31-43页 |
| ·GCC 插件可视化开发工具框架设计 | 第32-33页 |
| ·GCC 插件可视化开发工具图数据生成端设计与实现 | 第33-37页 |
| ·插件初始化模块 | 第33-34页 |
| ·控制器 | 第34-35页 |
| ·函数调用图构建模块 | 第35页 |
| ·控制流程图构建模块 | 第35-36页 |
| ·GIMPLE 图构建模块 | 第36-37页 |
| ·图持久化模块 | 第37页 |
| ·GCC 插件可视化开发工具客户端设计与实现 | 第37-42页 |
| ·客户端总体框架 | 第37-38页 |
| ·视图层 | 第38-40页 |
| ·控制层 | 第40-41页 |
| ·模型层 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第四章 静态检测工具的设计 | 第43-56页 |
| ·静态检测工具的框架设计 | 第43-44页 |
| ·检测执行端的设计及实现 | 第44-51页 |
| ·插件事件注册模块 | 第44-45页 |
| ·结构信息生成模块 | 第45-46页 |
| ·规则解析模块 | 第46-47页 |
| ·正则表示式构建模块 | 第47页 |
| ·规则检测模块 | 第47-49页 |
| ·路径别名分析模块 | 第49-50页 |
| ·匹配结果封装模块 | 第50-51页 |
| ·预定义规则库 | 第51页 |
| ·客户端的设计与实现 | 第51-55页 |
| ·视图层 | 第52-54页 |
| ·控制层 | 第54-55页 |
| ·模型层 | 第55页 |
| ·本章小结 | 第55-56页 |
| 第五章 嵌入式软件自动化路径测试工具的设计 | 第56-73页 |
| ·嵌入式软件自动化路径测试工具的框架设计 | 第56-59页 |
| ·交叉测试模式 | 第56-57页 |
| ·自动化路径测试工具整体框架 | 第57-59页 |
| ·测试用例生成端的设计与实现 | 第59-68页 |
| ·典型测试用例生成框架 | 第59-60页 |
| ·测试用例生成端总体框架 | 第60-61页 |
| ·符号执行模块 | 第61-67页 |
| ·约束求解模块 | 第67-68页 |
| ·路径条件重构模块 | 第68页 |
| ·测试控制端的设计与实现 | 第68-70页 |
| ·测试显示模块 | 第69-70页 |
| ·测试控制模块 | 第70页 |
| ·测试代理的设计与实现 | 第70-71页 |
| ·本章小结 | 第71-73页 |
| 第六章 实验环境及运行结果 | 第73-87页 |
| ·测试环境 | 第73页 |
| ·GDIX 嵌入式软件测试平台集成测试 | 第73-74页 |
| ·测试方法 | 第73页 |
| ·运行结果 | 第73-74页 |
| ·GCC 插件可视化开发工具测试 | 第74-76页 |
| ·测试方法 | 第74页 |
| ·运行结果 | 第74-76页 |
| ·静态检测工具测试 | 第76-80页 |
| ·测试方法 | 第76-78页 |
| ·运行结果 | 第78-80页 |
| ·自动化路径测试工具测试 | 第80-86页 |
| ·测试方法 | 第80-82页 |
| ·运行结果 | 第82-86页 |
| ·本章小结 | 第86-87页 |
| 结论与进一步研究 | 第87-89页 |
| 参考文献 | 第89-92页 |
| 攻读硕士学位期间取得的研究成果 | 第92-93页 |
| 致谢 | 第93页 |