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.
%0 Journal Article
%1 chow_78_testing
%A Chow, T. S.
%B Transactions on Software Engineering
%D 1978
%J Transactions on Software Engineering
%K tests fsm 1978 seminal \_pdf
%N 3
%P 178--187
%R http://dx.doi.org/http://dx.doi.org/10.1109/TSE.1978.231496
%T Testing Software Design Modeled by Finite-State Machines
%U http://dx.doi.org/http://dx.doi.org/10.1109/TSE.1978.231496
%V SE-4
%X 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.
@article{chow_78_testing,
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.},
added-at = {2009-03-10T04:34:34.000+0100},
author = {Chow, T. S.},
biburl = {https://www.bibsonomy.org/bibtex/2e57c82edffd31a609b51fe109d93d85e/leonardo},
booktitle = {Transactions on Software Engineering},
citeulike-article-id = {2085878},
doi = {http://dx.doi.org/http://dx.doi.org/10.1109/TSE.1978.231496},
interhash = {0e1d7aabbd648226f887eb91206d2472},
intrahash = {e57c82edffd31a609b51fe109d93d85e},
journal = {Transactions on Software Engineering},
keywords = {tests fsm 1978 seminal \_pdf},
number = 3,
pages = {178--187},
posted-at = {2007-12-10 14:31:35},
priority = {4},
timestamp = {2009-03-10T04:34:34.000+0100},
title = {Testing Software Design Modeled by Finite-State Machines},
url = {http://dx.doi.org/http://dx.doi.org/10.1109/TSE.1978.231496},
volume = {SE-4},
year = 1978
}