基于最大频繁子图挖掘的软件忽视条件缺陷定位方法研究
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 1 绪论 | 第9-16页 |
| 1.1 研究背景及意义 | 第9页 |
| 1.2 国内外研究现状 | 第9-14页 |
| 1.3 论文主要研究内容及组织结构 | 第14-16页 |
| 2 程序依赖图的构建和优化 | 第16-29页 |
| 2.1 程序依赖图的基本理论 | 第16-17页 |
| 2.2 代码统一化思想和图节点构建方法 | 第17-25页 |
| 2.3 程序依赖图的数据预处理 | 第25-28页 |
| 2.4 本章小结 | 第28-29页 |
| 3 隐式编程规则提取与规则匹配 | 第29-43页 |
| 3.1 图标准化方法 | 第29-30页 |
| 3.2 最大频繁子图挖掘算法 | 第30-37页 |
| 3.3 隐式编程规则提取方法 | 第37-38页 |
| 3.4 规则匹配算法 | 第38-42页 |
| 3.5 本章小结 | 第42-43页 |
| 4 系统设计与实现 | 第43-56页 |
| 4.1 系统总体架构 | 第43-45页 |
| 4.2 PDG生成实现 | 第45-47页 |
| 4.3 数据预处理实现 | 第47-50页 |
| 4.4 规则挖掘实现 | 第50-52页 |
| 4.5 规则匹配实现 | 第52-54页 |
| 4.6 系统界面实现 | 第54-55页 |
| 4.7 本章小结 | 第55-56页 |
| 5 实验 | 第56-61页 |
| 5.1 实验环境 | 第56页 |
| 5.2 实验一 | 第56-58页 |
| 5.3 实验二 | 第58-60页 |
| 5.5 本章小结 | 第60-61页 |
| 6 总结与展望 | 第61-63页 |
| 6.1 论文总结 | 第61页 |
| 6.2 工作展望 | 第61-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-69页 |
| 附录 攻读学位期间参与的科研项目 | 第69页 |
