Title :
TTCN-3 Abstract Test Suite Generator of BGP-4 Protocol
Author :
Zhao Yulan ; Liu Bo
Author_Institution :
Coll. of Comput. Sci., Neimongol Univ., Hohhot, China
Abstract :
The paper further studies on E-LOTOS. In the paper, we design various graphics styles of GE-LOTOS, which makes to express the E-LOTOS text meaning accurately. And the paper realizes conversion software from the textual E-LOTOS to GELOTOS, and realizes to generate test cases using GE-LOTOS. The paper gives the GE-LOTOS presentation and the TTCN-3 abstract test suite of the BGP-4´s finite state machine.
Keywords :
abstract data types; BGP-4 protocol; E-LOTOS text meaning; GE-LOTOS; TTCN-3 abstract test suite generator; conversion software; finite state machine; graphics style; test case generation; textual E-LOTOS; Automata; Computer graphics; Computer science; Educational institutions; Logic design; Logic testing; Object oriented modeling; Protocols; Software testing; Space technology;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5363934
