The Design And Implementation Of Automatically Generating Xml Test Suite From E-lotos

The protocol testing is one of the important research areas in the protocol engineering. The protocol conformance testing is one research field which is paid much attention internationally in recent years and has rapid developments. The conformance testing is the basis for protocol testing and the effective means to enhance and ensure the protocol implementation's quality. The protocol conformance testing verifies the consistency of the protocol implementation with the corresponding protocol standard, and it is roughly divided into three phases:The first phase is called the "test generation", The second phase is called the "test implementation", The third phase is called the "test execution". The design of the test suite approximately is 60% of the entire testing activities. It's quality directly determines the scientific nature and validity of the protocol testing.In this paper the standard formal description language E-LOTOS is used to describe the protocol and it is promulgated by ISO/IEC in 2001 year. It has unambiguous feature and is able to support ODP, adapts to the hierarchical description method to complex large-scale system. The extensible markup language XML is adopted to describe the test suite, it is simple, easy to master and use and accord with international standards, and it has advantages about the long-term preservation and reuse of the test suite. This paper includes the following aspects: Firstly, this paper has conducted deep research to the E-LOTOS standard and automatically generated the finite state machine from E-LOTOS text which describes the protocol. Secondly, this paper has conducted a detailed study on XML, designed the test suite hierarchy in the XML document, by using the Dijkstra algorithm and a heuristic algorithm for UIO sequence generation on the finite state machine this paper generated the XML format test suite, using JAVA language this paper designed and implemented the software tools which automatically generated the XML test suite based on E-LOTOS description of protocol. Finally, through the study of BGP-4 routing protocol automatically this paper generated the XML test suite from the E-LOTOS description of BGP-4 routing protocol.The last section of this paper through the whole comparison with the test set which is provided by IOL laboratory for BGP-4's FSM and comparative analysis to one random test case, it is achieved that on the same test purpose the test case generated from this software tool express the same meaning with the test case designed by IOL laboratory.