Design And Implementation For DHCPv6 Interoperability Test Based On TTCN-3

DHCPv6 (Dynamic Host Configuration Protocol) is used to transfer configuration information for Internet nodes in TCP/IP. DHCP assigns IP addresses for network nodes, and provides other configuration information, so as to realize Plus-and-Play in Internet end equipment, to reduce the working intensity for network administrators, and to improve the efficiency of the network resources. The result of interoperability test between implementations of DHCPv6 will influence the performance of IPv6 network. At present, there is no much work on interoperability test system concerning DHCPv6.TTCN-3 is a new test language introduced by ETSI. It can be applied to many kinds of test ranging from conformance test to interoperability test. TTCN-3 is widely applicable and readable. The test system based on TTCN-3 is portable, compatible, and independent of test platform.This thesis conducts the interoperability test based on good understanding of TTCN-3 and DHCPv6 protocol. Our major research includes three parts: first, we analyze the behavior of DHCPv6 clients, pick up the behavior features, and model the clients' behavior by means of Petri net. By using the algorithm to construct reachable tree on Petri net model, we can achieve the test sequence; second, test sequence is translated into test cases of TTCN-3, which is in turn edited, compiled and then mapped to advanced programming language; at last, in order to run the test case, we implement the TRI functions, encoding and decoding functions included in SA for DHCPv6 protocol. By running the test sequence, we come to the test verdict.