Model-Based Testing for Embedded Systems

Automatic Model-Based Test Generation 87

Beyond simple states, UML state machines can contain orthogonal regions, pseudostates,

and composite states. Accordingly, the All-States criterion can be modified to entail the

following:

1. All reachable configurations,

2. All pseudostates, or

3. All composite states.

Likewise, other criteria such as the All-Transitions criterion can be modified such that all

triggering events of all transitions or all pairs of configurations and outgoing transitions

are covered [69]. Since there are potentially exponentially more configurations than simple

states, constructing a complete test suite for all reachable configurations is often infeasible.

Conditions in UML state machine transitions are usually formed from atomic conditions ...