This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Testing Software Design Modeled by Finite-State Machines
May 1978 (vol. 4 no. 3)
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.
Index Terms:
validity, Control structure, finite-state machines, reliability, software testing, test covers
Citation:
T.S. Chow, "Testing Software Design Modeled by Finite-State Machines," IEEE Transactions on Software Engineering, vol. 4, no. 3, pp. 178-187, May 1978, doi:10.1109/TSE.1978.231496
Usage of this product signifies your acceptance of the Terms of Use.