Specify test patterns and expected responses for the FSM shown in Fig. 8.4. These patterns must be specified as a sequence of pairs (test pattern, expected response). Events shown in Fig. 8.4 can be used as test patterns. We assume that the FSM will be in the default state after power on.

Provide a complete test for all transitions! Note that the special chain-like structure of the FSM simplifies testing.

g/w f/v h/x ily jo o o j/z E Fig. 8.4 Finite state machine to be tested k