| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 引言 | 第7-9页 |
| 1 相关工作 | 第9-21页 |
| ·相关定义 | 第9-10页 |
| ·程序依赖图 | 第9页 |
| ·数据依赖 | 第9-10页 |
| ·控制依赖 | 第10页 |
| ·基于程序切片的方法 | 第10-13页 |
| ·数据切片:Data Slicing | 第11页 |
| ·全切片:Full Slicing | 第11-12页 |
| ·相关切片:Relevant Slicing | 第12页 |
| ·几种切片方法的对比和小结 | 第12-13页 |
| ·基于程序行为特征对比的方法 | 第13-16页 |
| ·基于程序语句或程序基本块的方法 | 第14-16页 |
| ·基于谓词的方法 | 第16页 |
| ·基于程序状态修改的方法 | 第16-18页 |
| ·Delta Debugging | 第16-18页 |
| ·Predicate Switching | 第18页 |
| ·本章小结 | 第18-21页 |
| 2 程序覆盖技术的研究 | 第21-29页 |
| ·GCOV | 第21-27页 |
| ·如何使用GCOV | 第21-22页 |
| ·插桩原理 | 第22-25页 |
| ·程序异常退出 | 第25-27页 |
| ·LCOV | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 3 基于程序执行的错误定位方法 | 第29-47页 |
| ·相关定义 | 第29-30页 |
| ·启发式算法 | 第30-36页 |
| ·启发式的方法1 | 第31-33页 |
| ·启发式的方法2、3 | 第33-35页 |
| ·启发式的方法4 | 第35-36页 |
| ·可视化 | 第36-38页 |
| ·源码映射 | 第37页 |
| ·着色 | 第37页 |
| ·超链接 | 第37-38页 |
| ·系统实现 | 第38-46页 |
| ·数据采集器 | 第38-41页 |
| ·特征提取器 | 第41-43页 |
| ·比较器 | 第43-44页 |
| ·数据整合/处理器 | 第44-45页 |
| ·策略集 | 第45页 |
| ·策略调用/处理器 | 第45-46页 |
| ·可视化处理器 | 第46页 |
| ·本章小结 | 第46-47页 |
| 4 实验及分析 | 第47-57页 |
| ·实验环境 | 第47-49页 |
| ·实验对象 | 第47页 |
| ·实验工具 | 第47-49页 |
| ·实验方法 | 第49-51页 |
| ·数据采集 | 第49页 |
| ·评价标准 | 第49-50页 |
| ·实验的手段 | 第50-51页 |
| ·实验结果和分析 | 第51-56页 |
| ·Heuristic_1 VS. Wong | 第51-53页 |
| ·Heuristic_[2,3] VS. Tarantula | 第53-54页 |
| ·Heuristic 4 VS. Tarantula | 第54-55页 |
| ·整体比较 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 5 总结和展望 | 第57-59页 |
| ·论文工作总结 | 第57页 |
| ·进一步工作 | 第57-59页 |
| 致谢 | 第59-61页 |
| 参考文献 | 第61-63页 |