The Formal Description of the Protocol and the Design and Implementation of Automatically Generating Protocol Test Suite

By deeply studying the E-LOTOS standard and the XML language, this paper has analyzed the E-LOTOS text that is used to describe the protocol running mechanism, and has designed the structure of XML that is preserve the abstract test case, the file class supported by JAVA is used to parse the E-LOTOS text, and the adjacency FSM(finite state machine) is obtained meanwhile the FSM`s graph is drawn. Based on the FSM the abstract test case is generated by using the U method, and it converted into XML document relying on XML parser and DOM (document object model). Finally E-LOTOS description of BGP-4 protocol is used to generate the XML format abstract test cases.