Testing Software Design Modeled by Finite-State Machines.

We propose a method of testing the correctness of control structures that can be modeled by a finite-state machine. Test results derived from the design are evaluated against the specification. No "executable" prototype is required. The method is based on a result in automata theory and can be applied to software testing. Its error- detecting capability is compared with that of other approaches. Application experience is summarized. [ABSTRACT FROM AUTHOR]