A FORMAL TEST METHOD FOR NEIGHBOR DISCOVERY PROTOCOL

Neighbor discovery for IPv6 is a main part of IPv6 protocol. The IPv6 is under fast development in China, and many kinds of IPv6 communication equipment have been brought out. Different venders have different products. In order to assure the new protocol implementation to be consistent with the standard and in turn to assure the interoperability between different IPv6 implementations, a protocol conformance test method is proposed and an IPv6 protocol conformance test system is developed. The architecture of the testing system is given. A general neighbor discovery protocol test suite is specified in a formal specification language, which is defined to specify IPv6 conformance test suites. Also a test case example is given and test results for an IPv6 ND protocol implementation on Unix are discussed.