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

An Technique for Minimal-Length Conformance Test Generation Based on Basis Paths Set Algorithm

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

Conformance test has been an active field on Protocol engineering,but the generation of test sequence is the pivotal tache.Based on basis paths set algorithm,this research provids a new algorithm to compute disjoint paths,and an important property of test segments,namely overlayping,has been taken into account to get the min-cost transitions which connect the converging edges and disjoint paths,and result in reduce length of test sequence.