软件调试中多错误定位的算法研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·研究背景 | 第9-10页 |
| ·研究内容 | 第10-11页 |
| ·论文结构 | 第11-13页 |
| 第2章 程序错误定位技术概述 | 第13-21页 |
| ·程序错误定位技术 | 第13-16页 |
| ·基于程序谱的错误定位方法 | 第16-18页 |
| ·程序谱 | 第17-18页 |
| ·基于单程序谱的错误定位 | 第18页 |
| ·基于多程序谱的错误定位 | 第18页 |
| ·程序多错误定位 | 第18-19页 |
| ·SFL技术框架 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第3章 基于程序谱的错误定位技术 | 第21-29页 |
| ·SFL技术基础知识 | 第21-23页 |
| ·程序基本块 | 第21页 |
| ·控制流分析 | 第21-22页 |
| ·数据流分析 | 第22页 |
| ·控制依赖和数据依赖分析 | 第22-23页 |
| ·程序依赖图 | 第23页 |
| ·错误类型统计 | 第23-24页 |
| ·现有SFL技术示例 | 第24-28页 |
| ·本章小结 | 第28-29页 |
| 第4章 多错误定位模型的建立及算法实现 | 第29-39页 |
| ·基于动态依赖的错误定位技术的模型 | 第29-32页 |
| ·模型中符号的定义 | 第29页 |
| ·基于动态依赖的多错误定位技术的模型描述 | 第29-32页 |
| ·程序多错误定位流程 | 第32-37页 |
| ·源代码插装及获取动态依赖数据 | 第33-35页 |
| ·多错误定位算法的实现 | 第35-36页 |
| ·错误定位结果报告的生成及可视化显示 | 第36-37页 |
| ·本章小结 | 第37-39页 |
| 第5章 实验分析 | 第39-53页 |
| ·实验环境 | 第39-40页 |
| ·Loupe工具介绍 | 第39-40页 |
| ·WET工具介绍 | 第40页 |
| ·实验数据分析 | 第40-43页 |
| ·西门子套件 | 第40-41页 |
| ·实验数据 | 第41-42页 |
| ·多错误定位效果评估标准 | 第42-43页 |
| ·实验结果及分析 | 第43-51页 |
| ·实验结果 | 第43-46页 |
| ·实验结果分析 | 第46-51页 |
| ·本章小结 | 第51-53页 |
| 第6章 总结与展望 | 第53-55页 |
| ·总结 | 第53页 |
| ·展望 | 第53-55页 |
| 参考文献 | 第55-59页 |
| 致谢 | 第59页 |
