基于概率推断的动态切片裁剪方法
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 绪论 | 第11-19页 |
| ·研究目的与内容 | 第12页 |
| ·国内外研究现状 | 第12-18页 |
| ·运用动态切片进行程序错误定位 | 第12-14页 |
| ·基于可信度的动态切片裁剪 | 第14-16页 |
| ·基于概率统计的自动化错误定位技术 | 第16-18页 |
| ·论文的主要内容与章节安排 | 第18-19页 |
| 第二章 相关概念、理论和技术 | 第19-30页 |
| ·相关概念及其涵义 | 第19-23页 |
| ·程序切片综述 | 第19页 |
| ·程序切片产生背景及其分类 | 第19-21页 |
| ·概率推断综述 | 第21-22页 |
| ·概率推断和程序错误的联系 | 第22-23页 |
| ·理论依据以及过往研究结果 | 第23-26页 |
| ·程序切片对于错误定位的应用研究结果 | 第23-24页 |
| ·对于发现程序错误的概率推断建模 | 第24-26页 |
| ·框架相关工具简介 | 第26-29页 |
| ·Java Slicer | 第26-27页 |
| ·Infer.NET | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 程序动态切片裁剪框架 | 第30-42页 |
| ·动态切片的获取以及程序运行时依赖关系信息收集 | 第31-35页 |
| ·动态切片的对象选取 | 第31-32页 |
| ·动态依赖关系计算 | 第32-33页 |
| ·动态切片计算 | 第33-34页 |
| ·整理动态信息并转化为平台无关交互媒介 | 第34-35页 |
| ·数据抽象建模与概率推断 | 第35-41页 |
| ·依赖关系的基本推断模型 | 第35-36页 |
| ·推断模型的映射方式以及初始化 | 第36-38页 |
| ·错误诱因图的构建 | 第38-40页 |
| ·概率推演算法选择 | 第40-41页 |
| ·演算结果处理与切片裁剪 | 第41页 |
| ·本章小结 | 第41-42页 |
| 第四章 实验评估 | 第42-61页 |
| ·实验环境 | 第42-47页 |
| ·实验工具 | 第42-43页 |
| ·实验对象 | 第43-47页 |
| ·实验指标 | 第47-48页 |
| ·错误概率排序的实验结果和分析 | 第48-57页 |
| ·错误组合数对于错误定位的影响 | 第51-53页 |
| ·错误类型和有效性的关联度 | 第53-55页 |
| ·单个错误情况 | 第55-56页 |
| ·多重错误情况 | 第56-57页 |
| ·错误排序聚类分析的动态切片裁剪效果 | 第57-60页 |
| ·数据特征和聚类算法 | 第58-60页 |
| ·不同设定下的聚类效果对比分析 | 第60页 |
| ·本章小结 | 第60-61页 |
| 第五章 结束语 | 第61-64页 |
| ·主要工作与创新点 | 第61页 |
| ·后续研究工作 | 第61-64页 |
| ·细分程序动态运行时的信息运用的颗粒度 | 第62页 |
| ·依赖关系建模使用的模型复杂度 | 第62-63页 |
| ·分析框架平台化 | 第63-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-69页 |
| 攻读硕士学位期间已发表或录用的论文 | 第69页 |
