State coverage: a structural test adequacy criterion for behavior checking
K Koster, DC Kao - Proceedings of the the 6th joint meeting of the …, 2007 - dl.acm.org
K Koster, DC Kao
Proceedings of the the 6th joint meeting of the European software …, 2007•dl.acm.orgWe propose a new language-independent, structural test adequacy criterion called state
coverage. State coverage measures whether unit-level tests check the outputs and
sideeffects of a program. State coverage differs in several respects from existing test
adequacy criteria, such as code coverage and mutation adequacy. Unlike other coverage-
based criteria, state coverage measures the extent of checks of program behavior. And
unlike existing fault-based criteria such as mutation adequacy, state coverage has been …
coverage. State coverage measures whether unit-level tests check the outputs and
sideeffects of a program. State coverage differs in several respects from existing test
adequacy criteria, such as code coverage and mutation adequacy. Unlike other coverage-
based criteria, state coverage measures the extent of checks of program behavior. And
unlike existing fault-based criteria such as mutation adequacy, state coverage has been …
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and sideeffects of a program.
State coverage differs in several respects from existing test adequacy criteria, such as code coverage and mutation adequacy. Unlike other coverage-based criteria, state coverage measures the extent of checks of program behavior. And unlike existing fault-based criteria such as mutation adequacy, state coverage has been designed to be readily automated and to present users with easily understood test inadequacy reports.
An experiment showed strong positive correlations between the number of behavior checks and both state coverage and mutation adequacy.