Design And Implement Of Conformance Testing System For DHCP Based On Equational Optimized UIO Algorithm

With the development of computer networks and its applications, the widespreaduse of the IP address makes its allocation problem become an important issue. TheDHCP protocol which is the mechanism of IP address allocation has been widely used.The protocol conformance testing is used to verify what degree of the new DHCPsystems is in accord with the protocol specification, so that we can evaluate whether thevarious DHCP systems can communicate safely and effectively. Therefore, DHCPprotocol conformance testing is very necessary.On the basis of FSM, this thesis proposes an equational optimized UIO test seque-nce generation algorithm which is suitable for DHCP protocol, which is based on an in-depth analysis of the existing protocol conformance testing technology. Meanwhile，wedesign and implement an extendable DHCP protocol conformance test system.Firstly, the thesis proposes an equational optimized UIO algorithm so that we canresolve the problems of the current mainstream FSM-based test sequence generationalgorithm.For examples，the test sequence is not enough refining；the time complexityis too large and the coverage is not enough. The equational optimized UIO algorithmuses binary tree form in order to construct the finite state agency as a tree structure andutilizes multiple dichotomous rules to decompose the tree. Finally, the algorithm usesUIO sequence generation way to generate test sequences. This algorithm has lowercomplexity and enhance the test sequence length and fault coverage, so that it has abetter performance than UIO algorithmSecondly, the thesis designed and implemented a scalable protocol conformancetesting system. The system uses a hierarchical structure, including the user API,testsuite, open API interface, system services components as well as the operating systemabstract service components. The system has the scalability, easy programming, flexibleand customizable features. Based on this system, programmers can expand the newprotocol test components and develop the system easily.Finally, the thesis builds a test environment,and is the use of equipartitionoptimized UIO algorithm to generate test sets.Meanwhile we observe the test results.The test results show that: the test system functions are correct; user interface is friendly;there are certain advantages in the design of test sequences compared with traditional UIO method...