The Conformance Test Study Of Neighbor Discovery Protocol For Ipv6 Based On Finite State Machine

As the next generation Internet Protocol, IPv6 has its own obvious superiorities, such as the abundant of the address capacity, the strengthened address structure, the function of the auto-configuration(namely Plug and Play)and the stronger security, etc. While neighbor discovery protocol is the major component of IPv6. It has solved the interoperation problem among all nodes on the same link.With the constant development of IPv6 technology, more and more companies have issued their IPv6 production. But IPv6 protocol is described by the natural language, and provided in the form of text in RFC. Thus every company has its own comprehension for it, and some even have their wrong understand. As a result the inconsistent problem of these productions is very serious. So more and more researchers are devoted to developing the perfect IPv6 protocol conformance systems to judge all kinds of productions' conformance, and ensure them communicate each other. In fact, the rapid development of the network has already made the protocol conformance test become one of the hot topics in the network technology field. On one hand, from the standardized angle, in order to verify the consistency of the IUT(Implementation Under Test) or the SUT(System Under Test), we must carry on the conformance test of the protocol. Otherwise, we can't realize the real standardization of the protocol; On the other hand, from the view of the protocol engineering, the conformance test is a key section too. Through formal specification technology, the protocol conformance test and other parts of protocol engineering can be combined together organically.Firstly, this thesis introduces the relevant concepts of the protocol conformance test, Secondly it explains IPv6 neighbor discovery protocol and the methods of the protocol conformance test in detail. On the foundation of analyzing Neighbor Discovery protocol in detail, it presents some formal description methods of the protocol and builds the host model of neighbor discovery protocol based on Finite State Machine. It researches the system architecture and the test execution of the consistency test of neighbor discovery protocol and builds correspondence test environment. Finally, It tests the host model implementation of the IPv6 Neighbor Discovery protocol by using a custom test suite and give outs the test report and analyzing this test result. The host state model of neighbor discovery protocol which to be studied in this paper is the protocol state model of a entity, in the future, we will research thoroughly the protocol system model of multiply entity. By analyzing test result, on external behavior, the consistency of model based on Finite State Machine to their protocol specifications is validated, some inconsistent problem in the model implementations under test is founded. It is a foundation for testing method improvement late and making the conformance of the protocol implementation and the protocol standard.