Test Sequence Generating Strategies
Fault Model Oriented Strategies
Output & Transition Fault
FSM Equivalence Oriented Strategies
Test if all states and transitions are correctly
implemented, thus test sequences consist of
a-part:to verify all states, and
b-part:to verify all transitions