Testing Software Design Modeled by Finite-State Machines
- 1 May 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-4 (3) , 178-187
- https://doi.org/10.1109/tse.1978.231496
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
This publication has 7 references indexed in Scilit:
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- An Approach to Program TestingACM Computing Surveys, 1975
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- Toward a theory of test data selectionPublished by Association for Computing Machinery (ACM) ,1975
- Failure diagnosis of automataCybernetics and Systems Analysis, 1975
- State-Transition Programming Techniques and Their Use in Producing Teleprocessing Device-Control ProgramsIEEE Transactions on Communications, 1972
- Fault detecting experiments for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1964