作者：马秀飞; 高翔; 梅杓春uiofsm测试序列tcp
摘要：在通信协议一致性测试中，生成测试序列是非常重要的。基于FSM（Finite State machine）的测试序列生成的形式化方法有很多种，其中基于UIO序列（Unique input／output sequences）的U方法是最常用的。本文主要介绍了两种基于UIO序列的测试序列生成算法，并以TCP协议的FSM图为例，分别应用这两种算法生成了测试序列．进而从错误覆盖度、测试序列的长度、算法复杂度等方面对这两种算法进行了比较研究．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
