By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Chunmei Hai ; Coll. of Comput. Sci., Neimongol Univ., Hohhot, China ; Yulan Zhao ; Xiaoqing Guo ; Chenguang Zhang
more authors

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 in:

Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on

Date of Conference:

10-12 Dec. 2010