Based On Fault Model Protocol Conformance Testing Method And System For Linux

With rapid development of the Internet, IPv6 appears because IPv4 has many shortages. The comprehensions of protocol specification of different factories are different, and communication devices of implementation are also different. So it is very important for the conformance testing of the implementation for the IPv6 products. OSPFv3 protocol is a Intra Domain Routing Protocol.It is necessary to test OSPFv3 protocol.We focus on OSPFv3 protocol conformance testing, and discuss the method of routing protocol conformance testing. Basing on analysis of the routing protocol's features, we use remote test method and get the OSPFv3 test suite by combining automatic with manual test generation. We model the part of protocol with EFSM and follow the standard of fault type for fault model to utilize the method of combination of data flow and control flow to get test cases. The test cases generated manually have randomness and nondetermination, so these test cases are incomplete. In order to improve this situation, we propose a method to generate test cases automatically, which can generate test cases accurately, and so enhance efficiency. For the rest part of OSPFv3 protocol that can't be modeled by formal method, test cases are generated manually by the way of protocol analysising. XML is the language to describe data. We use XML to describe test suite because XML can define element and mark by itself, and its rules are simple and it is easy to learn. Test suite based on XML can be run by testing system directly after it is parsed. In this paper, we create the XML marks to describe OSPFv3 test suite.In this paper, we introduce OSPFv3 protocol conformance testing system for Linux.Finally, we make Zebra as implementation under test and test it in our testing system and present the test report.