DocumentCode
519632
Title
The design and implementation of protocol test cases automatically generating system based on TTCN-3
Author
Zhao Yulan ; Jia Yazhe ; Zhang Hongyu
Author_Institution
Coll. of Comput. Sci., Neimongol Univ., Hohhot, China
Volume
2
fYear
2010
fDate
21-24 May 2010
Abstract
A method on automatic generation of test cases and the implementation of the test cases generating system were discussed in the paper. E-LOTOS is used to describe protocol in this system, and U method has been used to generate the test cases described by TTCN-3. The system has been applied to the conformance test of BGP-4 protocol, and it can produce the test cases of the FSM of the BGP-4 automatically. Therefore it can enhance the efficiency and expand the coverage rate.
Keywords
automatic test pattern generation; conformance testing; protocols; BGP-4 protocol; E-LOTOS; TTCN-3; U method; automatic test case generation; conformance test; protocol test cases automatically generating system; Algebra; Automatic testing; Carbon capture and storage; Computer networks; Computer science; Educational institutions; ISO; Protocols; System testing; Technology management; BGP-4; E-LOTOS; TTCN-3; UIO; test cases;
fLanguage
English
Publisher
ieee
Conference_Titel
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-5821-9
Type
conf
DOI
10.1109/ICFCC.2010.5497424
Filename
5497424
Link To Document