Checked coverage: an indicator for oracle quality
Checked coverage: an indicator for oracle quality
复制标题
检查覆盖率：预言机质量的指标
DOI：
10.1002/stvr.1497
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Andreas Zeller
中科院分区：
文献类型：
--
作者：
David Schuler;Andreas Zeller
传统的覆盖率度量的一个已知问题是，它们不评估Oracle质量，也就是说，计算结果是否实际上与预期进行了检查。在本文中，我们引入了检查覆盖的概念，即实际影响预言机的覆盖语句的动态切片。我们在七个开源项目上的实验表明，检查覆盖率是Oracle质量的可靠指标，甚至比突变测试更敏感。版权所有© 2013约翰威利父子有限公司.
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.
登录
查看更多内容
(Un-)覆盖等效突变体
DOI：
--
发表时间：
2010
期刊：
2010 Third International Conference on Software Testing, Verification and Validation
影响因子：
--
作者：
David Schuler;A. Zeller
通讯作者：
A. Zeller
DOI：
10.1109/icst.2011.32
发表时间：
2011-03
期刊：
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
影响因子：
--
作者：
David Schuler;A. Zeller
通讯作者：
David Schuler;A. Zeller
通过层次语法归纳进行压缩
DOI：
--
发表时间：
1994
期刊：
Data Compression Conference
影响因子：
--
作者：
C. Nevill;I. Witten;D. Maulsby
通讯作者：
D. Maulsby
DOI：
10.1145/356651.356652
发表时间：
1975-09
期刊：
ACM Comput. Surv.
影响因子：
--
作者：
J. Huang
通讯作者：
J. Huang
学生测试技能自动评估中的突变分析与代码覆盖率
DOI：
10.1145/1869542.1869567
发表时间：
2010
期刊：
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
影响因子：
--
作者：
K. Aaltonen;Petri Ihantola;O. Seppälä
通讯作者：
O. Seppälä