Title :
Test generation for EFSM models of complex army protocols with inconsistencies
Author :
Uyar, M. Ümit ; Duale, Ali Y.
Author_Institution :
Dept. of Electr. Eng., City Univ. of New York, NY, USA
Abstract :
The generation of feasible test sequences for EFSM models of communication and computer systems remains an open research problem mainly because of the inconsistencies among the actions and conditions of these models. A method that enables the generation of only feasible test sequences from a class of EFSM models by eliminating inconsistencies in these models is presented. Once inconsistencies are eliminated, realizable test sequences can be generated from the resulting consistent EFSMs by using the FSM-based test generation methods. The presented algorithms are currently being used to generate tests for the protocols with multiple conflicting timers running concurrently such as the MIL-STD 188-220
Keywords :
conformance testing; finite state machines; graph theory; military computing; military standards; military systems; protocols; sequences; telecommunication standards; EFSM models; FSM-based test generation methods; MIL-STD 188-220; algorithms; communication systems; complex army protocols; computer systems; inconsistencies; multiple conflicting timers; protocols; realizable test sequences; research problem; test sequences generation; Automatic testing; Automation; Cities and towns; Collaboration; Educational institutions; Electronic mail; IP networks; Military computing; System testing; Wireless application protocol;
Conference_Titel :
MILCOM 2000. 21st Century Military Communications Conference Proceedings
Conference_Location :
Los Angeles, CA
Print_ISBN :
0-7803-6521-6
DOI :
10.1109/MILCOM.2000.904972
