Back to Search
Start Over
Testing Software Design Modeled by Finite-State Machines.
- Source :
-
IEEE Transactions on Software Engineering . May78, Vol. 4 Issue 3, p178-187. 10p. 11 Diagrams. - Publication Year :
- 1978
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 4
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 14370386