随着计算机网络的快速发展,网络协议日趋复杂和多样。通常网络协议的规范都是通过自然语言描述的,但由于自然语言的二义性,协议的实现可能不完全符合协议规范,所以对协议一致性测试技术的研究具有较大的应用价值。协议一致性测试是用来检验协议实现是否符合协议规范,其关键技术主要有形式化描述、测试序列生成等。其中,生成测试序列的时空效率以及最终总序列的长度将会影响整个一致性测试过程的实际效率。本论文在对一致性测试技术深入分析的基础上,重点研究了基于有限状态机的测试序列生成方法,尤其是基于UIO的测试序列生成方法,对其容易产生的序列长度较长、爆炸问题等情况进行了分析与优化。’本文首先介绍了一致性测试的基本原理、流程与方法,详细阐述了几种基于FSM的测试序列生成方法,分析对比了各个方法的优缺点。其次，本文介绍了几种经典的基于UIO序列生成的优化方法,在已有优化算法基础上提出了UIOv测试序列生成方法的改进算法,并给出了相应的实验分析,其结果表明,该算法能够在错误覆盖率保持不变的情况下有效缩短总测试序列的长度。然后,本文在现有的UIO序列生成方法基础上提出了一种改进的启发式测试序列生成算法,给出了算法的相关定义及详细流程,并且通过已有算法和本文算法在不同应用场景下的测试,分析了本文算法的效率；通过实验结果分析可知,该方法在估价函数的引导下能快速地找出有限状态机中各状态的UIO序列,并且对于复杂的协议能够避免爆炸问题的产生,有效地提高时空效率。最后,基于本课题的应用背景,根据需求分析给出了测试序列自动生成系统的概要设计及详细设计,编码实现了该系统中各模块的全部功能,并通过实例应用证明了该系统的可执行性。