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