基于模型结合的缺陷定位研究
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 引言 | 第7-10页 |
| ·课题研究背景和意义 | 第7-8页 |
| ·课题研究内容 | 第8-9页 |
| ·论文结构 | 第9-10页 |
| 第二章 相关工作 | 第10-15页 |
| ·缺陷定位原理和概念 | 第10页 |
| ·传统的缺陷定位方法 | 第10-11页 |
| ·缺陷的分类 | 第11页 |
| ·缺陷定位常用方法 | 第11-14页 |
| ·静态切片方法 | 第11-12页 |
| ·内存类缺陷定位 | 第12页 |
| ·基于频谱的缺陷定位方法 | 第12-13页 |
| ·不变式调试 | 第13页 |
| ·Delta调试 | 第13页 |
| ·基于数据挖掘的调试方法 | 第13-14页 |
| ·软件调试的评价标准 | 第14-15页 |
| 第三章 基于模型结合的缺陷定位框架 | 第15-22页 |
| ·问题的提出 | 第15-16页 |
| ·集成学习 | 第16-17页 |
| ·基于模型集成的缺陷定位 | 第17-19页 |
| ·结合的规则 | 第19-22页 |
| 第四章 程序信息的收集 | 第22-31页 |
| ·问题描述 | 第22-23页 |
| ·LLVM编译架构 | 第23-24页 |
| ·LLVM插件(Pass) | 第24-26页 |
| ·LLVM中间表示 | 第24页 |
| ·LLVM分析源代码例子 | 第24-26页 |
| ·插桩代码的实现 | 第26-31页 |
| ·对于语句覆盖信息的收集 | 第26-27页 |
| ·对于谓词信息的收集 | 第27-31页 |
| 第五章 模型结合算法的设计和实现 | 第31-38页 |
| ·模型结合算法 | 第31-33页 |
| ·简单组合方法 | 第31页 |
| ·基于排序层的结论合成 | 第31-32页 |
| ·排序层的组合算法 | 第32-33页 |
| ·实验 | 第33-38页 |
| ·实验实现 | 第33页 |
| ·评测标准 | 第33-34页 |
| ·实验分析和比较 | 第34-38页 |
| 第六章 总结 | 第38-40页 |
| ·全文工作总结 | 第38页 |
| ·不足和未来的工作 | 第38-40页 |
| 致谢 | 第40-41页 |
| 参考文献 | 第41-44页 |
| 附录 | 第44-45页 |
| 附录一 攻读硕士学位期间完成的论文 | 第44页 |
| 附录二 攻读硕士期间参研项目 | 第44-45页 |
