| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第1章 绪论 | 第8-16页 |
| 1.1 研究目的与意义 | 第8-9页 |
| 1.2 国内外研究现状 | 第9-14页 |
| 1.2.1 软件错误定位的国外研究现状 | 第10-12页 |
| 1.2.2 软件错误定位的国内研究现状 | 第12-13页 |
| 1.2.3 软件错误定位的国内外研究现状分析 | 第13-14页 |
| 1.3 课题研究的主要内容及章节安排 | 第14-16页 |
| 第2章 程序插桩技术 | 第16-28页 |
| 2.1 程序插桩流程 | 第16-17页 |
| 2.2 抽象语法树 | 第17-20页 |
| 2.3 C 语言词法语法分析工具 CParser 的设计与实现 | 第20-23页 |
| 2.4 程序插桩及改进 | 第23-27页 |
| 2.4.1 语句级别的程序插桩 | 第23-26页 |
| 2.4.2 逻辑表达式级别的程序插桩 | 第26-27页 |
| 2.5 本章小结 | 第27-28页 |
| 第3章 基于加权软件行为图挖掘的错误定位 | 第28-42页 |
| 3.1 方法基本框架 | 第28-29页 |
| 3.2 获取程序执行路径 | 第29页 |
| 3.3 构造加权软件行为图 | 第29-33页 |
| 3.3.1 软件行为图 | 第29-31页 |
| 3.3.2 加权软件行为图 | 第31-33页 |
| 3.4 识别错误签名 | 第33-38页 |
| 3.4.1 剪枝策略 | 第35-36页 |
| 3.4.2 子图的选择和去冗余 | 第36-38页 |
| 3.5 基于分支限界搜索的加权软件行为图挖掘 | 第38-39页 |
| 3.6 错误签名实例 | 第39-41页 |
| 3.7 本章小结 | 第41-42页 |
| 第4章 验证系统的实现与测试 | 第42-60页 |
| 4.1 实验环境 | 第42页 |
| 4.2 系统设计与实现 | 第42-44页 |
| 4.3 系统的功能测试 | 第44-49页 |
| 4.4 错误定位的实验结果与分析 | 第49-58页 |
| 4.4.1 实验数据 | 第49页 |
| 4.4.2 评价指标 | 第49-50页 |
| 4.4.3 实验结果总体分析 | 第50-53页 |
| 4.4.4 针对不同错误类型的定位结果分析 | 第53-56页 |
| 4.4.5 语句级别插桩与逻辑表达式级别插桩的对比结果分析 | 第56-58页 |
| 4.5 本章小结 | 第58-60页 |
| 结论 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 攻读硕士学位期间发表的论文及其它成果 | 第65-67页 |
| 致谢 | 第67页 |