GENERATION OF FEASIBLE TEST SEQUENCES FOR EFSM MODELS

摘要

A method that enables the generation of realizable test sequences from a class of EFSMs is presented. If the interdependencies among the variables used in the actions and the conditions of EFSMs are not considered during test generation, the test sequences may be unrealizable in a test laboratory. Algorithms for the detection and elimination of inconsistencies from the EFSM models are presented. Once inconsistencies are eliminated, realizable test sequences can be generated from the resulting consistent EFSM by using the methods available for FSM models.