| 摘要 | 第3-4页 |
| ABSTRACT | 第4页 |
| 第1章 绪论 | 第7-13页 |
| 1.1 研究背景 | 第7-8页 |
| 1.2 研究现状 | 第8-11页 |
| 1.2.1 并发缺陷的自动化定位 | 第8-9页 |
| 1.2.2 研究现状分析与总结 | 第9-11页 |
| 1.3 本文工作及组织结构 | 第11-13页 |
| 1.3.1 本文主要工作 | 第11页 |
| 1.3.2 本文组织结构 | 第11-13页 |
| 第2章 相关工作 | 第13-21页 |
| 2.1 软件缺陷自动化定位 | 第13-14页 |
| 2.2 多线程程序缺陷的分类和特点 | 第14-17页 |
| 2.3 多线程程序缺陷的自动化暴露和检测 | 第17-21页 |
| 2.3.1 多线程程序缺陷的自动化暴露 | 第17-19页 |
| 2.3.2 多线程程序缺陷的自动化检测 | 第19-21页 |
| 第3章 基于Delta-Debugging算法的多线程程序缺陷定位方法 | 第21-35页 |
| 3.1 方法的基本思想和整体流程 | 第21-23页 |
| 3.2 用内存读写模式对测试执行信息进行优化 | 第23-25页 |
| 3.2.1 测试执行序列抽象过程 | 第23-24页 |
| 3.2.2 内存读写模式差异集获取过程 | 第24-25页 |
| 3.3 对Delta-Debugging算法的扩展及应用 | 第25-27页 |
| 3.3.1 Delta-Debugging算法的三个假设 | 第25-26页 |
| 3.3.2 结合内存读写模式的DD~+算法扩展 | 第26-27页 |
| 3.4 确定测试执行结果的优化线程调度方案 | 第27-29页 |
| 3.5 基于示例程序概述本文方法 | 第29-35页 |
| 3.5.1 示例程序的多线程缺陷分析 | 第29-31页 |
| 3.5.2 测试执行序列分析 | 第31-33页 |
| 3.5.3 利用内存读写模式的抽象表示 | 第33-34页 |
| 3.5.4 应用DD~+算法 | 第34-35页 |
| 第4章 实验验证 | 第35-45页 |
| 4.1 评测数据集和实验环境 | 第35-36页 |
| 4.2 实验结果评估和分析 | 第36-45页 |
| 4.2.1 DDM在减少内存读写模式个数方面的有效性研究 | 第36-37页 |
| 4.2.2 DDM中采用的内存读写模式抽象方式的有效性研究 | 第37-38页 |
| 4.2.3 DDM的扩展性研究 | 第38-40页 |
| 4.2.4 DDM的准确性研究 | 第40-43页 |
| 4.2.5 DDM对提升现有缺陷自动化定位方法结果的研究 | 第43-45页 |
| 第5章 总结与展望 | 第45-47页 |
| 5.1 本文工作总结 | 第45页 |
| 5.2 下一步工作展望 | 第45-47页 |
| 参考文献 | 第47-53页 |
| 发表论文和参加科研情况说明 | 第53-55页 |
| 致谢 | 第55页 |
