可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通过生成细粒度的同步交织序列,解决了可达性测试因生成的测试用例集不够充分而不能有效探测并发程序中同步错误等问题。但现有的基于拆分的可达性测试方法仍然无法生成不同锁对象上同步事件之间的充分交织,不能有效探测并发程序中因使用错误的锁对象保护共享变量而导致的同步错误。为此,本文提出一种基于锁对象的拆分方法。该方法首先通过静态分析技术分析相关代码,找出没有被相同锁对象保护的共享变量,然后选取相同的锁对象对这些共享变量的访问代码进行拆分,生成不同管程对象上的同步事件的交织序列,从而暴露出并发程序中因使用错误的锁对象保护共享变量而导致的同步错误。为了提高拆分效率,本文提出了拆分点识别及排序算法,通过比较拆分点上下文中访问没有被相同锁对象保护的共享变量的次数确定拆分点的优先顺序。同时根据相关方法访问共享变量的次数确定相关方法拆分的有限顺序。在上述工作的基础上,本文设计并实现了基于锁对象拆分策略的可达性测试工具LockSplitRichTest探测并发错误,并选取了 9个具有代表性的并发程序开展实验研究,通过实验与原可达性测试工具(RichTest)、基于拆分策略的可达性测试工具SplitRichTest以及基于错误模式的并发错误预测工具(Pecan)进行比较,验证了基于锁对象的拆分方法的有效性。实验结果表明,LockSplitRichTest可有效提高探测并发程序同步错误探测能力。RichTest的同步错误探测率为46.27%,SplitRichTest的同步错误探测率为78.61%,LockSplitRichTest的同步错误探测率为95.52%,PECAN的同步错误探测率为47.26%。最后通过Apache中pool实例验证了 LockSplitRichTest工具的实用性。