基于基本路径集算法生成最小长度测试序列的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章基于基本路径集的生成算法,获得不相交路径,并利用测试子序列的一个重要特征—“重叠”来获得连接正收敛边和不相交路径的最小费用迁移路径,从而减少了测试序列的长度。

一种提高一致性测试错误检测能力的方法

在协议工程中，一致性测试已成为非常活跃的领域，而测试序列的产生是一致 性测试非常关键的环节。文章在“Old”方法的基础上，通过补充协议规范的定义，获得了 一种提高一致性测试检测能力的“New”方法。两种方法相结合，可以获得具有几乎完美的 错误检测能力的测试序列。