两种基于UIO序列的测试序列生成算法及比较

摘要：

在通信协议一致性测试中,生成测试序列是非常重要的.基于FSM(Finite State machine)的测试序列生成的形式化方法有很多种,其中基于UIO序列(Unique input/output sequences)的U方法是最常用的.本文主要介绍了两种基于UIO序列的测试序列生成算法,并以TCP协议的FSM图为例,分别应用这两种算法生成了测试序列,进而从错误覆盖度、测试序列的长度、算法复杂度等方面对这两种算法进行了比较研究.

关键词：UIO、FSM、测试序列、TCP

所属期刊栏目：41

分类号：TP301.6(计算技术、计算机技术)

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：76-79,102