考虑到在一个复杂的通信网络中，多种不同设备的互操作性，我们必须对网络中的每一个组成部件，根据它们的规范进行一致性测试。随着通信协议的复杂性不断的增长，根据协议规范对协议进行一致性测试已经逐渐成为软件产品开发周期中的一个部分。同时网络的飞速发展引发了Internet结构的改变，路由协议对网络正确稳定运行起着重要作用，因而针对路由协议的测试也成为通信协议测试的研究重点。本论文在研究路由协议的相关文档和规范基础上，深入研究当前一致性测试技术的不同理论方法，使用不同的测试方法对路由协议进行了测试实践，过程中注重不同测试方法过程中的形式化技术的应用，同时，探讨了多种不同的测试方法之间的比较，提出了更适应于路由协议测试的一致性测试生成的建议。 1)介绍和比较了目前常用的测试序列生成技术的特点，描述了一种基于UIO序列和中国乡村邮递员问题的测试序列生成方法。 2)使用基于FSM的测试生成方法对边缘网关协议(BGP)进行了测试实践。并以BGP协议的互连行为状态机为例实践了基于UIO序列和中国乡村邮路算法生成测试序列的方法。该方法易于自动化实现，能够生成更短的测试序列。 3)在基于测试目的的协议一致性测试实践中，结合协议测试的特点，选取BGP4协议进行了协议形式化描述的工作。 4)对比了不同的协议测试方法在路由协议测试中的应用优势，并提出了更全面的路由协议测试的一致性测试构思。