Step 7: According to the behaviors, item by item, execute the state machine by hand, make sure
all the requirement conditions are traversed and the state machine changes states, takes actions,
modifies variables correctly. Make sure that nothing is missing or redundant.
Step 8: Draw out the state charts for each object, label the states, guard conditions, entry/exit
codes and transitions correctly, record the corresponding requirement for tracing.