Checked coverage: an indicator for oracle quality
David Schüler, Andreas Zeller · Software Testing Verification and Reliability · 2013
SUMMARY A known problem of traditional coverage metrics is that they do not assessoracle quality—that is, whether the computation result is actually checked against expectations. In this paper, we introduce the concept ofchecked coverage—the dynamic slice of covered statements that actually influence an oracle. Our experiments on seven open‐source projects show that checked coverage is a sure indicator for oracle quality and even more sensitive than mutation testing. Copyright © 2013 John Wiley & Sons, Ltd.