当今世界多核硬件的高速发展使得多线程程序逐渐被广泛使用,但是往往由于线程之间交错模式的不确定性,多线程程序易于遭遇多线程缺陷,因而保证多线程程序的正确性及其重要而又及其富有挑战性。定位到多线程程序中导致缺陷发生的代码位置,并且理清导致缺陷发生的根本原因,通常需要程序开发人员话花费较多的时间和精力。在这篇文章中,我们在Delta-Debugging算法的基础上,基于内存读写模式的抽象表达,提出了一种对多线程程序缺陷的自动化检测和缺陷原因分析方法DDM。我们的核心思想是找到导致缺陷发生的最小的内存读写模式集合,从而达到精准定位和准确分析的目标。首先,当给出一个被测的有缺陷的程序,我们记录程序运行过程中每一步的线程调度执行,然后从所有的执行步骤中抽离出所有可能的内存读写模式,首先找出内存读写模式集最接近的一对失败和成功执行序列,这两个集合之间的差异我们叫做差异集。接下来,进一步我们扩展Delta-Debugging算法,并将其应用到多线程程序的内存读写模式中,进行缺陷检测。我们利用Java Pathfinder对差异集中的内存读写模式进行打断再执行,从而验证它们是否会导致缺陷发生。由于多线程程序的内存读写模式彼此互相关联,有黏性,因而将Delta-Debugging算法应用到多线程程序有一定的难度。因此针对多线程程序的线程调度方案,我们提出了一个新的函数test(U,f)进行实现。最后,我们将这个想法用真实的程序进行实验验证和多维度研究。实验验证过程以SIR中的程序为例,将我们的方法应用于26个多线程缺陷上,通过与其他经典的方法进行对比,实验结果表明我们的方法可以有效地给出导致多线程缺陷的最小内存读写模式集合。此外,通过与经典方法的结合,我们的方法还可对已有方法的定位结果进行改进。