面向错误定位的谓词切换技术
| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第1章 绪论 | 第12-17页 |
| 1.1 研究背景和意义 | 第12-13页 |
| 1.2 错误定位技术的研究现状 | 第13-16页 |
| 1.2.1 国外的研究现状 | 第13-15页 |
| 1.2.2 国内的研究现状 | 第15-16页 |
| 1.3 本文的研究内容及章节安排 | 第16-17页 |
| 第2章 错误定位技术 | 第17-30页 |
| 2.1 程序切片 | 第17-23页 |
| 2.1.1 程序切片技术 | 第17-20页 |
| 2.1.2 程序依赖图 | 第20-22页 |
| 2.1.3 动态程序切片 | 第22-23页 |
| 2.2 对比定位法 | 第23-29页 |
| 2.2.1 观察式方法 | 第23-25页 |
| 2.2.2 入侵式方法 | 第25-27页 |
| 2.2.3 统计式方法 | 第27-29页 |
| 2.3 小结 | 第29-30页 |
| 第3章 谓词切换 | 第30-34页 |
| 3.1 谓词切换的假定条件和基本方法 | 第30-31页 |
| 3.1.1 谓词切换的假定条件 | 第30页 |
| 3.1.2 谓词切换的基本方法 | 第30-31页 |
| 3.2 谓词切换的相关准则 | 第31页 |
| 3.3 谓词切换算法描述 | 第31-32页 |
| 3.4 基于关键谓词的双向动态切片技术 | 第32-33页 |
| 3.5 谓词切换排序算法的局限性 | 第33页 |
| 3.6 小结 | 第33-34页 |
| 第4章 BSC谓词切换排序 | 第34-38页 |
| 4.1 程序行为特征 | 第34-36页 |
| 4.1.1 程序行为特征的定义 | 第34页 |
| 4.1.2 程序行为特征分类 | 第34-36页 |
| 4.2 BSC谓词切换排序算法 | 第36-37页 |
| 4.3 小结 | 第37-38页 |
| 第5章 BL谓词切换排序 | 第38-42页 |
| 5.1 LIBLIT05技术 | 第38-40页 |
| 5.1.1 LIBLIT05技术的基本思想 | 第38页 |
| 5.1.2 LIBLIT05技术的相关公式 | 第38-40页 |
| 5.2 BL谓词切换排序算法 | 第40页 |
| 5.3 小结 | 第40-42页 |
| 第6章 实验验证与分析 | 第42-51页 |
| 6.1 实验测试集 | 第42-43页 |
| 6.2 Nionka工具 | 第43-45页 |
| 6.2.1 Valgrind | 第43-45页 |
| 6.2.2 Nionka | 第45页 |
| 6.3 实验验证 | 第45-49页 |
| 6.3.1 定位效率分析 | 第45-48页 |
| 6.3.2 算法复杂度分析 | 第48-49页 |
| 6.4 实验结果讨论 | 第49页 |
| 6.5 小结 | 第49-51页 |
| 结论 | 第51-53页 |
| 参考文献 | 第53-57页 |
| 致谢 | 第57-58页 |
| 附录A 攻读学位期间所发表的学术论文目录 | 第58页 |
