1. The Formal Description of the Protocol and the Design and Implementation of Automatically Generating Protocol Test Suite
- Author
-
Chunmei Hai, Rengaowa Sa, Chenguang Zhang, Yulan Zhao, and Xiaoqing Guo
- Subjects
Document Structure Description ,XML Encryption ,Theoretical computer science ,Java ,computer.internet_protocol ,SOAP ,Computer science ,Efficient XML Interchange ,XML Signature ,Well-formed document ,computer.software_genre ,Simple API for XML ,XML Schema Editor ,Streaming XML ,Fast Infoset ,XML schema ,SGML ,computer.programming_language ,Programming language ,XML validation ,computer.file_format ,XML framework ,XML Schema (W3C) ,XML database ,Regular Language description for XML ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Document Object Model ,computer ,XML - Abstract
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.
- Published
- 2010