Automatic testing of neighbor discovery protocol based on FSM and TTCN

Protocol conformance testing is an important method to ensure the quality of network communication software. In this paper, we present a formal method to test neighbor discovery protocol, which is one of the basic IPv6 protocols. The formal model EFSM is extended with simple timed operations to specify protocol behaviors. We propose a practical adjusted test generation method applied to such a model. We also implement a test suite in TTCN and perform automatic testing to IPv6 routers in our test system PITS. Test results provide helpful reference to the development of IPv6 router.