Research And Design Of TTCN-3 Based Conformance Testing Tool For ISATAP Protocol

IPv6 protocol will be the core of the next generation Internet. The length of IPv6 protocol address is 128 bits. It completely solves the problem of shortage of IPv4 addresses, and the address capacity, security, network management, mobility and quality of service has been significantly improved. However, the coexistence of IPv4 and IPv6 will be a long-term process. Currently, there are a large number of IPv4 network equipments and a variety of applications. In order to achieve a smooth transition from IPv4 to IPv6, many transition technologies have been adopted, including IPv6/IPv4 dual stack technology, tunneling, IPv4/IPv6 protocol conversion technology. Tunneling technology has the advantage that, all devices do not need to be upgraded to dual stack ones, and only devices at the edge of networks are required to have IPv4/IPv6 dual-stack protocol and support tunnel. In addition to the edge nodes, other nodes, which do not support dual protocol stack, can use the existing IPv4 network investment as much as possible. Therefore, the tunneling technology is welcomed a lot. And ISATAP technology is a major transition technology.With continuing development of transition technology, the transition protocol is subject to appropriate attention.The problem that various standards are inconsistent with the protocol standard specification becomes more severe. Therefore, it becomes an important issue to launch ISATAP protocol conformance testing so that the protocol implementations are consistent with standard specification, which can help to improve protocol implemetation. TTCN-3 (Testing and Test Control Notation 3rd version) is a new standard for protocol and software testing, which is published by ETSI (European Telecommunications Standards Institute). It has powerful functions and a wide range of applications. This paper describes the usage of TTCN-3 on ISATAP protocol, and it's an useful attempt for conformance testing.This thesis mainly focuses on designing and realizing conformance testing tool of ISATAP protocol, which is based on TTCN-3. By analyzing the characteristics of ISATAP protocol, I designed ISATAP conformance test suites using finite state machine model test generation technology and TTCN-3 testing language. Through analyzing the characteristics of current network protocols, such as TCP, UDP, and etc, compared with TTCN-3 data structure, a TTCN-3 adapter supporting ISATAP protocol conformance testing is designed and implemented based on socket and other technologies. The design method and its implementation of bit-stream data codec are introduced. Also, TTCN-3 abstract test suites, set up for testing environment, and test result are described in detail.