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

Internet Protocol Version 6,the next generation of Internet Protocol,has its own obvious advantages: nearly unlimited address capacity,enhanced address mode,auto-configuration(" Plug and Play ")function,and enhanced security operation.The Neighbor Discovery Protocol,a key component of version 6 of the Internet Protocol,addresses the problem of communication between all nodes connected on the same link.With the rapid development of Internet protocol version 6 technology,many companies have launched their own communication devices to support Internet protocol version 6.However,since version 6 of the Internet Protocol is described by Nature Language and is given in English text in the RFC,the developers of various Protocol implementations will have different or even wrong understandings of the text descriptions,which leads to Inconsistency problem in the Protocol implementation they designed.As a result,many developers are working on developing Conformance Test for version 6 of the Internet Protocol,to Test whether different developers' Protocol implementation are consistent with Standard Text,ensuring that different Protocol implementations can communicate with each other.In fact,the rapid development of the Internet has long made the Protocol Conformance Test one of the hottest topics in Internet technology.On the one hand,from the perspective of standardization,the importance of Conformance Test lies in: in order to be consistent with the relevant Protocol standard(Protocol Specification),the Protocol Conformance Test should be performed.On the other hand,from the perspective of Protocol Engineering,Conformance Test is also an important part of the process.Through Formal description techniques,Conformance Test can be organically combined with other problems in Protocol Engineering.This paper first introduces the history of the Internet Protocol version 6,the Internet Protocol version 6,the Internet control message Protocol version 6,the concept of Neighbor Discovery Protocol and message format and Protocol Conformance Test of related concepts,then introduced the NDP Internet Protocol version 6(Neighbor Discovery Protocol)Test methods(the Test Method),on the basis of analysis of NDP,The protocol's Formal description Method was adopted to establish the NDP Host Model based on the FSM(Finite State Machine).The study focuses on its Conformance test System Structure and test execution,and establishes the corresponding Testing Environment.Then,Test suite was used to Test the implementation of NDP host model of Internet protocol version 6,and Test Report was given.Finally,Test Result was analyzed.The Host State Model of the NDP studied in this paper is a State Model for a Protocol entity,and more Protocol entity System will be further studied in the future.At the end of this paper,the Test Result was analyzed to verify the consistency of the FSM-based Model with the Protocol Specification in the External Behavior,and found some inconsistencies in the Model Under Test,laying a foundation for improving the Test Method in the future and the agreement between the Protocol implementation and the Protocol Specification.