随着互联网的迅速发展，高效稳定的路由协议成为保障网络性能的重要因素，协议测试理论和测试方法的研究也显得日益重要。协议一致性测试和互操作性测试是协议实现能够在实际环境中正确互连的重要保障。我们的工作主要针对互操作性测试展开，包括以下三部分：第一：针对路由协议的互操作性测试进行理论研究，主要包括：总结互操作性测试和一致性测试的相互关系，指出对协议实现进行互操作性测试的几点必要性。运用形式化的方法对被测协议进行建模，采用自动与手动相结合的方法生成协议的互操作性测试套。第二：分析BGP4+协议一致性测试和互操作性测试的测试重点，采用形式化方法对BGP4+协议进行建模，并生成BGP4+互操作性测试套。第三：针对BGP4+协议进行互操作性测试的实验工作，主要包括：在Linux下用C语言设计、开发互操作性测试工具，基于Socket直接发送用于测试的网络数据包，使该工具能有效的协助互操作性测试的开展。同时对BGP4+协议的不同实现(包括路由器Cisco 1721、模拟路由软件Zebra-0.95和Bird-1.0.11)进行了大量的互操作性测试实验，并且给出了测试报告。