Test generation for EFSM models of complex army protocols with inconsistencies

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