中文摘要：

基于UIO序列提出了一种新的协议一致性测试生成方法——路径叠加方法。其核心思想是寻找有限状态机中无重复转换的路径作为路径叠加转换序列,在其后连接该序列尾状态的UIO序列,从而验证该序列中所有转换。理论与实验结果表明,由路径叠加算法生成的测试序列长度要比其他基于UIO序列的算法生成的测试序列明显缩短。特别的,利用路径叠加转换序列来替代OUIO方法中对子序列直接叠加而生成的完全叠加转换序列,在检错性不降低的前提下,大大降低了叠加计算的复杂度。

英文摘要：

A new formal method named path overlapped method is proposed for protocol conformance test generation based on UIO sequences.The main idea is to find a path without repeating transition in FSM as a POTS（path overlapped transition sequence）,which is a sequence of distinct transitions such that if it is followed by a UIO sequence for the end state of the last transition in the sequence then all the transitions in the sequence are verified.According to the theoretical and experimental results,the test sequences generated by the path overlapped method are substantially shorter than those generated by other methods employing UIO sequences.Particularly,because of employing path overlapped transition sequence as a substitute for FOTS（fully overlapped transition sequence） in OUIO,generation time of overlapped sequence is greatly decreased.