基于数据流分析的缺陷关联研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 第一章 绪论 | 第8-13页 |
| 1.1 研究背景 | 第8-10页 |
| 1.2 研究内容 | 第10-12页 |
| 1.3 论文章节安排 | 第12-13页 |
| 第二章 缺陷关联问题分析 | 第13-29页 |
| 2.1 缺陷检测工具 | 第13-18页 |
| 2.2 缺陷检测结果 | 第18-19页 |
| 2.3 结果问题分析 | 第19-28页 |
| 2.4 本章小结 | 第28-29页 |
| 第三章 基于数据流分析的缺陷关联 | 第29-48页 |
| 3.1 缺陷关联概述 | 第29-34页 |
| 3.1.1 缺陷关联定义 | 第29-30页 |
| 3.1.2 缺陷关联类型 | 第30-33页 |
| 3.1.3 缺陷关联方法综述 | 第33-34页 |
| 3.2 相似缺陷计算 | 第34-41页 |
| 3.2.1 基于区域的符号化内存模型 | 第36-38页 |
| 3.2.2 基于RSMM的赋值语句分析 | 第38-39页 |
| 3.2.3 变量最后一次定义出现求解 | 第39-40页 |
| 3.2.4 相似缺陷算法设计与实现 | 第40-41页 |
| 3.3 主导缺陷的计算 | 第41-47页 |
| 3.3.1 控制流图和数据流分析方程 | 第41-43页 |
| 3.3.2 主导缺陷选取设计 | 第43-45页 |
| 3.3.3 主导缺陷选取实现 | 第45-47页 |
| 3.4 本章小结 | 第47-48页 |
| 第四章 实验结果及分析 | 第48-50页 |
| 4.1 实验结果分析 | 第48-49页 |
| 4.2 本章小结 | 第49-50页 |
| 第五章 总结与展望 | 第50-51页 |
| 5.1 研究工作总结 | 第50页 |
| 5.2 展望 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 附录1 缩略语表 | 第53-54页 |
| 致谢 | 第54-55页 |
| 作者攻读学位期间发表的学术论文 | 第55页 |
