有限状态机大量应用于通信协议建模中,基于有限状态机的通信协议一致性测试包含着重要的一方面就是测试序列的生成,而有限状态机的特征序列是测试序列生成的基础。作为应用最为广泛的特征序列之一的U IO序列(U n ique Inpu t/O u tpu t sequence)是文章的研究重点,在一种常用的最短U IO序列生成算法的基础上改进了该算法,实验表明,提高了最短U IO序列生成效率,减少了时间和空间复杂度。 Finite state machines are widely used in communication protocol modeling. Based on the finite state machine communication protocol conformance testing contains an important part is the generation of test sequences, and the finite state machine feature sequence is the basis of the test sequence generation. As one of the most widely used feature sequences U n ique Inpu t / O u tpu t sequence is the focus of the article, based on a commonly used shortest U IO sequence generation algorithm to improve the algorithm Experiments show that the efficiency of generating the shortest U IO sequence is improved and the time and space complexity are reduced.