随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。但是由于并发行为的复杂性以及不确定性,使得并发程序的开发、测试和维护比传统的顺序程序困难的多。可达性测试是一种结合了确定性测试和非确定性测试的新的并发程序测试方法。若一个并发程序在某个特定输入数据集下可行的同步序列是有限的,则采用可达性测试方法可以实现对所有可行的同步序列的完全覆盖。可达性测试过程分为两个阶段:第一步,对非确定性测试得到的同步序列中存在的竞争条件进行识别;第二步,改变竞争条件,生成该同步序列的竞争变体,然后通过执行基于前缀的测试产生新的同步序列。这两个阶段不断迭代,直到没有新的序列生成为止。对基于异步消息传递的并发程序,现有的可达性测试方法没有考虑程序中存在的条件同步现象,导致测试过程中产生了不可行的同步序列。改进的可达性测试方法采用基于竞争依赖的路径约束(RDBC),通过改进了S/V图的生成树的路径约束条件,对条件同步情况进行了正确处理。在RDBC的基础上,实现了可达性测试的竞争变体生成算法。改进方法采用的是动态测试策略,无需建立静态模型,也不必记录任何已执行的同步序列的信息,并且改正了原有方法在存在条件同步时生成重复序列的缺点。实验表明该改进方法是正确有效的。