摘要
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。
In the field of communication protocol conformance test,how to generate test sequences which satisfy the requirements is one of hot research.Due to the generated test sequences aren＇t simple and efficient enough,after introducing FSM which is the main formal model of communication protocol,this paper first studys test sequence generation algorithm based on UIO,and then improves the original algorithm.Test sequences generated by the improved algorithm have higher fault coverage,and the length of test sequences has been shortened.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第6期60-62,共3页
Computer Engineering and Applications
基金
国家科技支撑计划项目(No.2008BAH21B03)
浙江省重大专项(No.2007C11068
No.2007C11088)~~
关键词
协议一致性测试
有限状态机
UIO序列
protocol conformance test
Finife State Machine（FSM）
Unique Input/Output sequence
