基于覆盖分析的自动化错误定位关键技术研究

摘要	第1-6页
Abstract	第6-15页
第一章 绪论	第15-25页
·研究背景与意义	第15-20页
·研究内容与贡献	第20-22页
·本章小结	第22-25页
第二章 自动化错误定位技术研究现状综述	第25-49页
·基于状态变迁的方法	第25-27页
·基于模型诊断的方法	第27-29页
·基于依赖分析的方法	第29-32页
·基于覆盖分析的方法	第32-45页
·度量公式设计	第32-38页
·程序频谱信息	第38-41页
·缺陷数量影响	第41-43页
·测试预言问题	第43-45页
·错误定位有效性度量	第45-46页
·基于可疑度排序的度量标准	第45-46页
·基于诊断百分比的度量标准	第46页
·基于程序依赖图的度量标准	第46页
·本章小结	第46-49页
第三章 结合类可疑度信息的频谱错误定位方法	第49-67页
·引言	第49-50页
·考虑类特性的动机示例	第50-53页
·面向对象程序示例	第52-53页
·类的封装特性	第53页
·类可疑度信息提取方法	第53-56页
·方法调用序列可疑度值	第53-55页
·类可疑度信息量化方式	第55-56页
·类可疑度信息结合方法	第56-58页
·结合方法的基本思想	第56页
·基于分组的结合方法	第56-58页
·类可疑度值计算示例	第58页
·实验评估	第58-65页
·实验组织	第59页
·实验结果	第59-64页
·实验讨论	第64-65页
·本章小结	第65-67页
第四章 结合函数调用路径信息的频谱错误定位方法	第67-83页
·引言	第67-69页
·结合函数调用路径信息的框架	第69-70页
·具有权重的函数调用图的构建	第70-72页
·函数调用边权重计算方法	第70-72页
·函数调用权重计算示例	第72页
·基于函数调用路径的搜索算法	第72-75页
·实验评估	第75-82页
·实验组织	第75-76页
·错误定位效果分析	第76-79页
·可疑语句关联分析	第79-80页
·真实代码片段示例	第80-82页
·本章小结	第82-83页
第五章 结合切片信息的错误定位方法度量公式分析	第83-101页
·引言	第83-85页
·SENDYS算法的修正和改进	第85-87页
·修正的SENDYS算法：M_1	第85-86页
·改进的SENDYS算法：M_2	第86-87页
·研究问题	第87页
·理论分析	第87-99页
·扩展的基于集合理论分析框架	第87-88页
·M_1方法和M_2方法的性质分析	第88-91页
·M_0、M_1和M_2定位效果比较	第91-93页
·M_2中不同度量公式效果分析	第93-98页
·讨论	第98-99页
·本章小结	第99-101页
第六章 基于覆盖的失效邻接矩阵测试预言问题研究	第101-117页
·引言	第101-103页
·研究问题	第103页
·应用蜕变测试技术的关键问题	第103-104页
·如何识别程序执行失效	第103-104页
·如何获取失效邻接矩阵	第104页
·应用蜕变测试技术的方法实现	第104-106页
·应用蜕变测试技术的总体框架	第104-105页
·应用蜕变测试技术的算法流程	第105-106页
·实验评估	第106-114页
·蜕变关系定义	第106-107页
·实验评估标准	第107-109页
·变异版本生成	第109-110页
·实验结果分析	第110-114页
·本章小结	第114-117页
第七章 总结与展望	第117-119页
参考文献	第119-127页
致谢	第127-128页
攻读博士期间发表及录用的学术论文	第128页
攻读博士期间参与的项目	第128-129页