asrsp——一种新的并发程序测试准则

可达性测试是目前较为成熟的一种并发程序测试方法，该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明，对于一般规模的并发程序，这一测试序列集仍然太大，以至穷尽测试无法完成。因此，目前亟需能投入实际应用的并发程序测试准则和相应的测试序列生成算法。本文提出了一种实用性较高的并发程序测试准则：全发送接收语句对（asrsp），并针对该准则提出了一种新的并发程序测试方法：全发送接收语句对可达性测试（asr—sp-rt）。该方法利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对，并在每次生成新