检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机工程与应用》2005年第17期46-49,共4页Computer Engineering and Applications
基 金:广西自然科学基金项目(桂科基0141046)支持
摘 要:测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。Generating test sequence is a focus point in protocol conformance testing.Better test sequence should be larger in error coverage and shorter in its length.A test sequence is composed by three test subsequences.The 3rd subsequence is an important part,which is called State Identify Sequence.In this paper,some generation methods based on UIOS for finite state machine are reviewed,and an improved generation algorithm of UIO is proposed,which will produce much shorter UIOS than the old one.
关 键 词:一致性测试 UIO序列 测试序列生成 有限状态机
分 类 号:TP301.6[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222