基于关联性分析的缺陷定位技术研究
| 摘要 | 第1-13页 |
| Abstract | 第13-16页 |
| 第一章 绪论 | 第16-28页 |
| ·研究背景 | 第16-19页 |
| ·日益严重的软件缺陷问题 | 第16页 |
| ·应对方法与重大挑战 | 第16-19页 |
| ·主要研究内容及贡献 | 第19-25页 |
| ·研究内容 | 第19-23页 |
| ·主要贡献 | 第23-25页 |
| ·论文组织结构 | 第25-28页 |
| 第二章 相关研究 | 第28-40页 |
| ·发展脉络 | 第28-29页 |
| ·基本概念与原理 | 第29-30页 |
| ·缺陷定位技术国内外研究现状 | 第30-39页 |
| ·基于切片的缺陷定位技术 | 第31页 |
| ·基于统计的缺陷定位技术 | 第31-33页 |
| ·基于程序状态的缺陷定位技术 | 第33-34页 |
| ·交互式缺陷定位技术 | 第34-35页 |
| ·面向缺陷定位的测试用例集生成与优化技术 | 第35-37页 |
| ·其它缺陷定位技术 | 第37页 |
| ·现状总结 | 第37-39页 |
| ·本章小结 | 第39-40页 |
| 第三章 基于反馈的测试用例生成 | 第40-58页 |
| ·引言 | 第40-41页 |
| ·基于频谱的缺陷定位技术 | 第41-43页 |
| ·交互缺乏的问题分析与解决方法 | 第43-46页 |
| ·问题分析 | 第43-44页 |
| ·解决方法 | 第44-46页 |
| ·基于反馈的测试用例生成方法 | 第46-49页 |
| ·方法体系结构 | 第46-47页 |
| ·演示范例 | 第47-49页 |
| ·基于反馈的测试用例生成的实验 | 第49-55页 |
| ·实验设计 | 第49-50页 |
| ·评价指标 | 第50-51页 |
| ·结果与分析 | 第51-54页 |
| ·有效性威胁 | 第54-55页 |
| ·本章小结 | 第55-58页 |
| 第四章 面向缺陷定位的测试用例集有效性分析 | 第58-80页 |
| ·引言 | 第58-59页 |
| ·SFL技术与启发范例 | 第59-62页 |
| ·SFL技术 | 第59-60页 |
| ·启发范例 | 第60-62页 |
| ·测试用例集有效性分析的实验设计 | 第62-64页 |
| ·基准程序集 | 第63页 |
| ·可疑值度量公式 | 第63-64页 |
| ·实验过程 | 第64页 |
| ·评价指标 | 第64页 |
| ·实验结果与分析 | 第64-77页 |
| ·定量结果 | 第64-67页 |
| ·理论分析 | 第67-71页 |
| ·应用与验证 | 第71-76页 |
| ·有效性威胁 | 第76-77页 |
| ·本章小结 | 第77-80页 |
| 第五章 基于强语义关联性分析的缺陷定位技术 | 第80-98页 |
| ·引言 | 第80-82页 |
| ·近似动态逆向切片 | 第82-85页 |
| ·基于强语义关联性分析的缺陷定位方法 | 第85-90页 |
| ·方法体系结构 | 第85-87页 |
| ·优缺点分析 | 第87-88页 |
| ·具体实现 | 第88-90页 |
| ·基于强语义关联性分析的缺陷定位有效性实验 | 第90-95页 |
| ·实验设计 | 第90-91页 |
| ·评价指标 | 第91-92页 |
| ·结果与分析 | 第92-94页 |
| ·有效性威胁 | 第94-95页 |
| ·本章小结 | 第95-98页 |
| 第六章 基于无测试预言的缺陷定位技术 | 第98-128页 |
| ·引言 | 第98-100页 |
| ·蜕变测试 | 第100-101页 |
| ·方法 | 第101-104页 |
| ·蜕变逆向切片mbslice | 第102页 |
| ·基于mbslice的BSSFL | 第102-104页 |
| ·实验准备 | 第104-114页 |
| ·基准程序集 | 第104页 |
| ·蜕变关系 | 第104-111页 |
| ·测试用例集与缺陷版本生成 | 第111-113页 |
| ·可疑值度量公式与评价指标 | 第113-114页 |
| ·实验 | 第114-125页 |
| ·EXAM分布 | 第115-116页 |
| ·统计比较 | 第116-123页 |
| ·有效性分布 | 第123-124页 |
| ·实验总结 | 第124页 |
| ·有效性威胁 | 第124-125页 |
| ·本章小结 | 第125-128页 |
| 第七章 面向缺陷定位的信息类型有效性分析 | 第128-144页 |
| ·引言 | 第128-130页 |
| ·基于不同信息类型的SFL技术 | 第130-132页 |
| ·基于BC的SFL技术 | 第130页 |
| ·基于FC的SFL技术 | 第130-131页 |
| ·基于BS的SFL技术 | 第131页 |
| ·基于FC&BS的SFL技术 | 第131-132页 |
| ·实验设计 | 第132-134页 |
| ·基准程序集 | 第132-133页 |
| ·可疑值度量公式 | 第133-134页 |
| ·评价指标 | 第134页 |
| ·实验结果与分析 | 第134-142页 |
| ·EXAM分布 | 第134-136页 |
| ·RImp分布 | 第136-139页 |
| ·统计比较 | 第139-140页 |
| ·讨论 | 第140-141页 |
| ·实验总结 | 第141页 |
| ·有效性威胁 | 第141-142页 |
| ·本章小结 | 第142-144页 |
| 第八章 结论与展望 | 第144-148页 |
| ·工作总结 | 第144-145页 |
| ·研究展望 | 第145-148页 |
| 致谢 | 第148-150页 |
| 参考文献 | 第150-164页 |
| 作者在学期间取得的学术成果 | 第164-166页 |
| 作者在学期间参与的科研项目 | 第166页 |
