Where are these methods used?
§ Conformance testing of communications protocols--this is where it all started.
§Testing of any system/subsystem modeled as a finite state machine, e.g.
elevator designs, automobile components (locks, transmission, stepper
motors, etc), nuclear plant protection systems, steam boiler control, etc.)
§ Finite state machines are widely used in modeling of all kinds of systems.
Generation of tests from FSM specifications assists in testing the
conformance of implementations to the corresponding FSM model.
Alert: It will be a mistake to assume that the test generation methods described
here are applicable only to protocol testing!