The Study On A Robust Finite State Machines Testing Model Based On Consistency In BGP-4

With the rapid development of the internet and distributed systems，the protocolsservice for them become increasingly complex. It means that the developments of themare more difficult in technology, longer cycle and more potential bugs. Moreover, thebugs and defects of the design and implementation would give the stability, reliability,robustness, security, fault tolerance, compatibility and interoperability of great harm. Theresearch of the robustness testing of protocols is becoming a hot spot.The research of the robustness testing of BGP-4(Border Gateway Protocol version4)has important theoretical significance and practical application value. AS the only bordergateway route protocol, it plays an extremely important role. Any tiny bug would resultsa global communication crisis, so the requirements of BGP robustness in practice aredemanded. The study of conformance testing is quite mature, but the research ofrobustness testing is still not enough.First gives a brief introduction of BGP and the theory of robustness testing, and thenaccording to the experience of working on BGP testing for nearly one year and the relateddocumentation, analysis the robustness design and vulnerability of BGP. After injectingthe conflict event into Finite State Machines (FSM) model, proposes for a new RobustFSM model. Later the paper gives a detail structure of BGP RFSM. At last, designs andpractices BGP-4protocol robustness testing, and gives the test results and analysis. Theexperiment proves the method based on RFSM model could improve the robustness ofBGP-4.Above all，the paper makes a preliminary exploration on the robustness testing ofBGP-4, and obtains certain research results. However, the mechanism of the robustingtesting is extremely complex, and the the experimental conditions less sufficient softwareand hardware, our work is only a start of the related research, which means need morepassion and unremitting work of it.