The Implement Of Protocol Test Executing System And The Conformance Test Of IPv6 Neighbor Discovery Protocol

The protocol testing theory and technology have become more and more important with the rapidly development of the computer network especially the open heterogenous network. It has been a hotspot research field of international computer network. Research on formal test execution methods is an important phase in the activity of formal protocol conformance testing.My research work includes the following two parts. In the first part, we propose a formal test execution approach based on test notation language TTCN's operational semantics and conform to the ISO' criterion and method. Using Object-Orient programming technology, the protocol test executing system is implemented in Windows environment. This formal approach is very suitable for the construction of general protocol testing system, and can be an effective way for automatic test suit verification. In the second part, we test the conformance of the IPv6 Neighbor Discovery Protocol. Neighbor Discovery for IPv6 is a main part of IPv6 protocols. This paper introduces the Neighbor Discovery Protocol simply and presents a formal method of the protocol conformance testing which based on FSM and MSC. A formal Neighbor Discovery Protocol test suit is specified, and the implementation of the test cases based on TTCN is given out. Also we test the conformance of the IPv6 ND protocol implementation on Windows2000 and give out the test report.