蜕变测试的测试用例生成技术的研究
| 摘要 | 第4-6页 |
| abstract | 第6-7页 |
| 第1章 绪论 | 第11-16页 |
| 1.1 研究背景及意义 | 第11-12页 |
| 1.2 国内外研究现状 | 第12-14页 |
| 1.2.1 编译器测试 | 第12-13页 |
| 1.2.2 蜕变测试 | 第13-14页 |
| 1.2.3 现有的基于蜕变测试的编译器测试 | 第14页 |
| 1.3 本文研究内容及结构安排 | 第14-16页 |
| 第2章 相关工作 | 第16-28页 |
| 2.1 编译器测试 | 第16-18页 |
| 2.2 蜕变测试 | 第18-20页 |
| 2.3 基于蜕变测试的编译器测试 | 第20-23页 |
| 2.4 csmith的原理 | 第23-27页 |
| 2.5 本章小结 | 第27-28页 |
| 第3章 DeCsmith的实现原理 | 第28-34页 |
| 3.1 DeCsmith的工作流程 | 第28-29页 |
| 3.2 等价变异方法 | 第29-31页 |
| 3.3 简单案例分析 | 第31-32页 |
| 3.4 本章小结 | 第32-34页 |
| 第4章 DeCsmith的实现 | 第34-52页 |
| 4.1 工作环境 | 第34页 |
| 4.2 源程序的产生 | 第34页 |
| 4.3 源程序到语法树的转换 | 第34-36页 |
| 4.4 语法树的处理 | 第36-45页 |
| 4.4.1 变量池设计与实现 | 第37-39页 |
| 4.4.2 clang语法树访问 | 第39-40页 |
| 4.4.3 clang语法树节点处理 | 第40-45页 |
| 4.5 基于gcov无效代码删除 | 第45-50页 |
| 4.5.1 概述 | 第45-46页 |
| 4.5.2 代码覆盖文件 | 第46-47页 |
| 4.5.3 无效代码删除设计与实现 | 第47-50页 |
| 4.6 基于shell脚本的自动处理实现 | 第50-51页 |
| 4.7 本章小结 | 第51-52页 |
| 第5章 实验设计与结果分析 | 第52-59页 |
| 5.1 实验设计及其流程 | 第52-54页 |
| 5.1.1 实验源程序 | 第52-54页 |
| 5.1.2 实验环境和流程 | 第54页 |
| 5.2 实验结果分析 | 第54-58页 |
| 5.3 本章小结 | 第58-59页 |
| 第6章 总结与展望 | 第59-61页 |
| 6.1 全文总结 | 第59页 |
| 6.2 工作展望 | 第59-61页 |
| 参考文献 | 第61-64页 |
| 作者简介及在学期间所取得的科研成果 | 第64-65页 |
| 致谢 | 第65页 |
