The Implement Of Protocol Conformance Test System And The Test To ND Protocol Based On Cefsm

Recently, with rapid growth of computers, the network based on IPv4 has exposed many shortages, such as short of IP address, the inefficient of route selection, lack of security ensure and so on. IPv4 can't satisfy the demand of user and result in the appearance of IPv6. The virtues of IPv6 make it become the core of the next generation network. The usage of IPv6 has been popularized in standardization, product development, network deployment and other applications. In our county, IPv6 has used very widely. But due to the different comprehension of protocol realization, the protocol conformance problem of communication equipment will become too bad. So it is very important to implement conformance test for the IPv6 protocol realizations. The neighbor discovery (ND) protocol is the important part of IPv6 protocol family. If you want to test the IPv6 protocol family implement of equipments, you may test ND protocol.The paper focus on ND protocol conformance test, discuss the method of using the formal model CEFSM to get the ND suite, design and implement a protocol conformance test system. Using the system to execute the suite and implement the conformance testing of ND protocol.My work includes the following three parts: 1) After analyzing kinds of described language of test case, the test system use XML to describe and save test suite owing to simple and multi-platform characters of XML; 2) The test system TestIpv6 is encoded by VC under Windows 2000 and includes test edit and exec functions. its execute subsystem is independent of protocol;3)The ND protocol is modeled by CEFSMs. The method of computing a partial product of each CEFSM avoids usual state explosion problem.