Automatic test generation from communicating extended finite state machine (CEFSM)-based models

We present a methodology based on communicating extended finite state machines (CEFSM) to generate tests automatically from system specifications. Unlike other model-based methods, it does not require the creation of any new models. Rather, it uses the existing available system models including both data and behavioral information. Our CEFSM-based test generation uses FSMs (finite state machines) to model behavior and events, their extension with variables to model data, and their interaction channels to model communication. Our method generates tests based on a combination of behavior, data, and communication specifications. Another important difference is that our method addresses branching coverage not only for data-related decision coverage, but also behavioral transition coverage. Sophisticated "priority" and "dominator" analysis is applied to generate efficient test cases to increase, as much as possible with as few tests as possible, the branching coverage of the system being tested