基于UIO序列的测试方法及UIO生成算法研究

摘要：

测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好.测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列.

关键词：一致性测试、UIO序列、测试序列生成、有限状态机

所属期刊栏目：41

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

资助基金：广西自然科学基金桂科基0141046

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

页数：共4页

页码：46-49