一种新的通信协议最短UIO序列生成算法  

New Shortest Unique Input/Output Sequences Generation Algorithm of Communication Protocol

作　　者：赖祥[1] 蒋嵘 黄松[3] 欧有远[1] 

机构地区：[1]解放军理工大学指挥自动化学院研究生1队,江苏南京210007 [2]后勤指挥学院司令部工作系,北京100858 [3]解放军理工大学指挥自动化学院指挥自动化系

出　　处：《军事通信技术》2009年第2期62-66,共5页Journal of Military Communications Technology

摘　　要：有限状态机大量应用于通信协议建模中,基于有限状态机的通信协议一致性测试包含着重要的一方面就是测试序列的生成,而有限状态机的特征序列是测试序列生成的基础。作为应用最为广泛的特征序列之一的U IO序列(U n ique Inpu t/O u tpu t sequence)是文章的研究重点,在一种常用的最短U IO序列生成算法的基础上改进了该算法,实验表明,提高了最短U IO序列生成效率,减少了时间和空间复杂度。Finite State Machine(FSM) is mostly used in modeling communication protocol,and one of the most important aspects in FSM-based communication protocol conformance test sequences is test sequences generation,while characteristic sequence is the basis of test sequences generation.The UIO sequence as one of the most widely characteristic sequence was mainly researched.Firstly a common shortest UIO generation algorithm was introduced,and then the way to improve it was presented.Experiments indicate that shortest...

关 键 词：最短输入输出序列 有限状态机 一致性测试 通信协议 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]