基于Delta-Debugging算法的多线程程序缺陷定位方法研究

声明

第1章 绪论

1.1研究背景

1.2研究现状

1.2.1并发缺陷的自动化定位

1.2.2研究现状分析与总结

1.3本文工作及组织结构

1.3.1本文主要工作

1.3.2本文组织结构

第2章 相关工作

2.1软件缺陷自动化定位

2.2多线程程序缺陷的分类和特点

2.3多线程程序缺陷的自动化暴露和检测

2.3.1多线程程序缺陷的自动化暴露

2.3.2 多线程程序缺陷的自动化检测

第3章 基于Delta-Debugging算法的多线程程序缺陷定位方法

3.1方法的基本思想和整体流程

3.2用内存读写模式对测试执行信息进行优化

3.2.1 测试执行序列抽象过程

3.2.2 内存读写模式差异集获取过程

3.3对Delta-Debugging算法的扩展及应用

3.3.1 Delta-Debugging算法的三个假设

3.3.2 结合内存读写模式的DD+算法扩展

3.4确定测试执行结果的优化线程调度方案

3.5基于示例程序概述本文方法

3.5.1示例程序的多线程缺陷分析

3.5.2测试执行序列分析

3.5.3利用内存读写模式的抽象表示

3.5.4应用DD+算法

第4章 实验验证

4.1评测数据集和实验环境

4.2实验结果评估和分析

4.2.1 DDM在减少内存读写模式个数方面的有效性研究

4.2.2 DDM中采用的内存读写模式抽象方式的有效性研究

4.2.3 DDM的扩展性研究

4.2.4 DDM的准确性研究

4.2.5 DDM对提升现有缺陷自动化定位方法结果的研究

第5章 总结与展望

5.1本文工作总结

5.2下一步工作展望

参考文献

发表论文和参加科研情况说明

致谢