协议一致性测试生成的路径叠加方法.PDFVIP

2011 年 第 20 卷 第 7 期 计 算 机 系 统 应 用 协议一致性测试生成的路径叠加方法① 汪志宾，周 颢，赵保华 ( 中国科学技术大学 计算机科学与技术学院，合肥 230027) 摘 要：基于 UIO 序列提出了一种新的协议一致性测试生成方法——路径叠加方法。其核心思想是寻找有限状 态机中无重复转换的路径作为路径叠加转换序列，在其后连接该序列尾状态的 UIO 序列，从而验证该序列中所 有转换。理论与实验结果表明，由路径叠加算法生成的测试序列长度要比其他基于 UIO 序列的算法生成的测试 序列明显缩短。特别的，利用路径叠加转换序列来替代 OUIO 方法中对子序列直接叠加而生成的完全叠加转换 序列，在检错性不降低的前提下，大大降低了叠加计算的复杂度。 关键词：UIO 序列； 路径叠加转换序列；协议一致性测试；有限状态机 Path Overlapped Method for Protocol Conformance Test Generation WANG Zhi-Bin, ZHOU Hao, ZHAO Bao-Hua (Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China) Abstract: 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. Key words: UIO sequence; path overlapped transition sequence; protocol conformance testing; FSM 协议一致性测试作为衡量协议实现与协议描述之 近 30%, 比SUIO 方法缩短近40%, 是效率最高的一种 间是否保持一致的一种尺度而得到越来越广泛的使 方法。但是, 在对 OUIO 方法进行实际应用时, 发现 用. 在协议一致性测试中, 关键问题是如何生成高效 OUIO 方法存在两个方面的不足: 1)当 FSM 中状态的 的测试序列[1] 。针对这一问题, 目前已被广泛采用的是 最短UIO 序列比较长时,