基于测试的程序错误定位系统的设计与实现
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-12页 |
| ·研究背景 | 第9-10页 |
| ·研究内容和贡献 | 第10-11页 |
| ·论文结构 | 第11-12页 |
| 第2章 程序错误诊断技术概述 | 第12-20页 |
| ·程序错误诊断技术 | 第12-14页 |
| ·基于测试的错误定位TBFL | 第14-19页 |
| ·基于距离度量的方法 | 第15-16页 |
| ·基于特征统计的方法 | 第16-19页 |
| ·本章小结 | 第19-20页 |
| 第3章 基于运行依赖的错误定位技术 | 第20-30页 |
| ·TBFL技术基础知识 | 第20-22页 |
| ·控制流分析 | 第20页 |
| ·数据流分析 | 第20-21页 |
| ·依赖分析 | 第21-22页 |
| ·程序依赖图 | 第22页 |
| ·现有TBFL技术示例 | 第22-26页 |
| ·模型 | 第26-29页 |
| ·模型中符号的定义 | 第26-27页 |
| ·基于运行依赖的错误定位技术的模型 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第4章 系统设计与实现 | 第30-49页 |
| ·TBFL技术框架 | 第30-31页 |
| ·错误定位系统的设计 | 第31-38页 |
| ·程序插装及获取依赖数据 | 第35页 |
| ·语句的可疑排名计算 | 第35-37页 |
| ·错误定位结果报告的生成 | 第37页 |
| ·定位结果可视化显示 | 第37-38页 |
| ·错误定位效果评估标准 | 第38-39页 |
| ·错误定位系统的实现 | 第39-48页 |
| ·获取动态依赖数据 | 第39-41页 |
| ·解析依赖数据 | 第41-43页 |
| ·语句的可疑排名计算 | 第43-45页 |
| ·定位结果可视化显示 | 第45-46页 |
| ·错误定位技术效果评估 | 第46-48页 |
| ·相关shell脚本的实现 | 第48页 |
| ·本章小结 | 第48-49页 |
| 第5章 实验分析 | 第49-57页 |
| ·实验环境 | 第49页 |
| ·实验数据 | 第49-50页 |
| ·运行结果 | 第50-53页 |
| ·结果评估 | 第53-56页 |
| ·本章小结 | 第56-57页 |
| 第6章 总结与展望 | 第57-59页 |
| ·总结 | 第57页 |
| ·展望 | 第57-59页 |
| 参考文献 | 第59-63页 |
| 攻读学位期间发表的论文 | 第63-64页 |
| 致谢 | 第64页 |
