According to Theorem 5.3, most software systems go wrong not because they are incorrect on normally required functions, but because there are wrong or not prepared for implied or nonspecified exceptions.

Analyze the following properties of the FSM as given in Ex.5.6:

a) The entire behavior space of the FSM;

b) The required behavior space of the FSM;

c) The unspecified behavior space of the FSM;

d) The ratio between the specified behavior space and the entire behavior space, i.e., ( / ) 100%.