The Community for Technology Leaders
Green Image
Issue No. 03 - May (1978 vol. 4)
ISSN: 0098-5589
pp: 178-187
T.S. Chow , Bell Laboratories
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.
validity, Control structure, finite-state machines, reliability, software testing, test covers

T. Chow, "Testing Software Design Modeled by Finite-State Machines," in IEEE Transactions on Software Engineering, vol. 4, no. , pp. 178-187, 1978.
99 ms
(Ver 3.3 (11022016))