Title :
Testing Software Design Modeled by Finite-State Machines
Author_Institution :
Bell Laboratories
fDate :
5/1/1978 12:00:00 AM
Abstract :
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.
Keywords :
Control structure; finite-state machines; reliability; software testing; test covers; validity; Automata; Automatic control; Automatic testing; Mathematical model; Process control; Software design; Software systems; Software testing; Switches; System testing; Control structure; finite-state machines; reliability; software testing; test covers; validity;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.231496
