论文研究BUIO生成及测试序列生成算法研究.pdf

在通信协议的一致性测试中，生成较短的测试序列是一个重要问题。提出一种利用UIO生成BUIO（BackwardUIO）的方法，部分UIO直接转换成BUIO，可以降低BUIO的生成费用。对基于UIO和BUIO的启发式测试序列生成方法进行了分析，完善了该方法的生成算法，保证测试序列的自动生成。以ECMA-203协议为例，应用这种算法得到了测试用例，与基于UIO序列和中国邮路算法生成的测试序列进行了比较。