摘要
文章在FSM模型下基于UIO序列的协议测试生成算法的基础上,介绍了UIO(S)序列和IO(S,K)序列的生成算法.并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.最后,给出了完整的测试序列生成方法.
A protocol testing sequence generation procedure based on the model of FSM is given in this paper.Furthermore It analyzes the algorithms for generate the UIO(S) and the IO(S,K) sequences in details.For those conditions that the UIO(S) and the IO(S,K) lose their usefulness in the IUT, a testing method is given.In the rest part of this paper,It discusses the generation procedure for the whole testing sequences．
出处
《计算机工程与应用》
CSCD
北大核心
2000年第12期153-155,175,共4页
Computer Engineering and Applications
基金
国家863计划项目的资助!项目编号:863-300-02-08-99.
关键词
UIO序列
网络通信协议
协议测试生成算法
Conformance Testing, Finite－States Machine, UIO(S) sequence, IO(S,K) sequence
