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

As the core protocol of next generation Internet, IPv6 is going into the stage of being applied practically step by step. Neighbor Discovery for IPv6 is a main part of IPv6 protocol. Whether implementations of the Neighbor Discovery are conformance to the protocol will affect the communication quality of computer networks. To ensure that implementations produced different vendors have compatibility, protocol implementations must be tested for conformance to their specifications.This thesis focuses on the comformance test of Neighbor Discovery for IPv6 and presents some research and analysis of Neighbor Discovery protocol in detail. Based on the features of the protocol, the contents to be tested of the conformance testing are determined. This thesis also presents a formal method of the protocol conformance testing which based on Finite State Machine. The protocol model conformance testing system is realized the architecture of the testing system is given. We test the conformance of the IPv6 Neighbor Discovery protocol host model implementation and give out the test report.According to the analysis results, conformance of protocol model based on Finite State Machine to their specifications is validated and some inconformity in the current implementations under test is founded.