Approach 2: For Testing an Extended Finite-state Machine
Step 1.Remove all predicates to obtain an abstract finite-state machine
Step 2.Generate test sequence for the abstract finite-state machine
Step 3.Assign input parameters to make the test sequence executable
Step 4.Consider the extended finite-state machine as a program. Use software testing technique to generate the test sequence