With the rapid development of next generation Internet, the efficient and steady routing protocols have turned out to be a key factor to ensure the high performance of networks, and the research on theories and methods about protocol testing appears to be more important than before. Both the conformance testing and interoperability testing determine whether a protocol will perform correctly in a real network environment.Our research focuses on interoperability testing, and consists of the following three parts:Firstly, we do some theoretic research on interoperability testing of routing protocol, which mainly includes: summarizing the relationship between interoperability testing and conformance testing; explaining several necessities of interoperability testing ability of protocol implementation; modeling routing protocol under test by a formal method; generating interoperability test suites by a method combining manual and automatic modes.Secondly, we analyze the different emphases on conformance testing and interoperability testing for BGP4+, and construct the formal model and generate interoperability test suites for BGP4+.Thirdly, we do a lot of experiments on interoperability testing of BGP4+, which mainly includes: designing and developing tools supporting interoperability testing on Linux platform using C. It directly sends network packages used as testing data, which facilitates test work greatly. Moreover, we carry out a great deal of experiments on different implementations of BGP4+(such as Cisco 1721 Router, routing software Zebra-0.95 and Bird-1.0.11), and provide a final testing report. |