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
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;
Conference_Titel :
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5821-9
DOI :
10.1109/ICFCC.2010.5497424
