随着互联网的迅速发展,高效稳定的路由协议成为保障网络性能的重要因素,协议测试理论和测试方法的研究也日益显得重要。协议一致性测试和互操作性测试是协议实现能够在实际环境中正确互连互通的重要保障。我们的工作主要针对互操作性测试展开,包括以下两个部分:第一:理论研究工作。总结分析了互操作性测试和一致性测试的相互关系,指出对协议实现进行互操作性测试的必要性。针对BGP4路由协议的特点,将测试分为基于有限状态机测试和达到稳定状态后路由选择策略的测试。有限状态机可以描述路由协议的基本行为,基于它我们给出自己的互操作性测试推导方法,生成了部分测试序列。对于路由选择策略的部分,详细研读了BGP4及BGP4+的最新说明,并参考一些互操作性测试相关资料来抽取测试例。第二:测试实践工作。根据自己推导的测试目的和选定的测试架构的需要,开发了互操作性测试工具,这样可以适应某些特殊的测试例。同时对BGP4+协议的不同的实现,根据具体的测试目的和测试设计,进行了一些互操作性测试实验,针对BGP4+的策略部分进行了互操作性测试设计与实施,并且给出了测试报告。