如今,多核处理器发展迅猛,促使多线程的应用越来越广泛。多线程程序虽然提高了运行速度和资源利用率,但是程序中极易含有并发错误。现有的针对多线程程序的研究或工具主要集中在并发错误的检测上。然而,无论是工具检测出的错误还是错误报告中用户提交的错误,被发现后都需要程序员参与调试。调试是软件开发过程中不可或缺的一个重要环节。对于单线程程序而言,程序员可以通过设置断点或者输出日志等方式进行调试。而对多线程程序而言,这些方式都不再适用,由于线程的调度由调度器决定,存在着调度的不确定性,故而不同的线程调度可能产生不同的结果,这给多线程程序的调试带来了很大困难。因此,程序员对于可靠的多线程程序的调试技术的需求越来越迫切。为调试多线程程序,最重要的在于控制程序执行时多线程的调度,即在程序中插入控制代码。最初,程序员会在源代码中添加Thread.sleep(),这仍然是目前使用最为广泛的控制调度的方式之一。有时候,程序员也会通过在源代码中添加Object.wait()/notify()这样的代码以达到控制线程调度的目的。然而,这两种方式都存在弊端,容易造成错误的误报或者漏报。近些年,研究者提出了如ConAn、MultithreadedTC、IMunit等这类测试框架,但它们并不易于程序员使用,并且随着多线程程序的错误越来越复杂,现有的技术已经不能满足程序员的调试需求。本研究对实际项目中发生的多线程错误进行了分析,总结出四种程序员可能面临的多线程程序调试场景:基于行的一般性线程切换、控制逻辑运算符间的线程切换、控制函数调用链间的线程切换、以及控制循环相关的线程切换。为了帮助程序员对这四类多线程程序进行调试,本文定义了顺序点这一概念,以及需要满足的调度约束,提出了基于顺序点的调试技术,并设计了针对多线程程序调试场景的领域特定语言。本研究采用了字节码层面而非源代码层面的代码插桩技术,从而达到让线程按照期望的顺序调度的目的,并且对线程的调度控制更加灵活和精准。基于上述方法,本研究最终实现了一个Eclipse上的调试插件,利用自定义的类加载器筛选出需要插桩的Java类,调用ASM提供的接口在字节码层面插入不同类型的代码,并通过Java调试接口监视和控制线程的调度。该调试工具能帮助程序员进行多线程程序的调试,验证了方法的可行性。此外,本研究将之与现有工具IMunit进行了对比实验。实验结果表明,基于顺序点的调试技术有效地减少了程序员的工作量,并能拓展三类调试场景,因此该方法具有更好的实用性。