计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (6): 116-118.
高占春,胡晓玲,蒋砚军,李清伟
GAO Zhanchun,HU Xiaoling,JIANG Yanjun,LI Qingwei
摘要: 在通信协议的一致性测试中,生成较短的测试序列是一个重要问题。提出一种利用UIO生成 BUIO(Backward UIO)的方法,部分UIO直接转换成BUIO,可以降低BUIO的生成费用。对基于UIO和BUIO的启发式测试序列生成方法进行了分析,完善了该方法的生成算法,保证测试序列的自动生成。以ECMA-203协议为例,应用这种算法得到了测试用例,与基于UIO序列和中国邮路算法生成的测试序列进行了比较。