Evaluating Non-adequate Test-Case Reduction

被引:16
作者
Alipour, Mohammad Amin [1 ]
Shi, August [2 ]
Gopinath, Rahul [1 ]
Marinov, Darko [2 ]
Grocer, Alex [1 ]
机构
[1] Oregon State Univ, Sch Elect Engn & Comp Sci, Corvallis, OR 97331 USA
[2] Univ Illinois, Dept Comp Sci, Champaign, IL USA
来源
2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) | 2016年
基金
美国国家科学基金会;
关键词
test reduction; test adequacy; coverage; mutation testing;
D O I
10.1145/2970276.2970361
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Given two test cases, one larger and one smaller, the smaller test case is preferred for many purposes. A smaller test case usually runs faster, is easier to understand, and is more convenient for debugging. However, smaller test cases also tend to cover less code and detect fewer faults than larger test cases. Whereas traditional research focused on reducing test suites while preserving code coverage, recent work has introduced the idea of reducing individual test cases, rather than test suites, while still preserving code coverage. Other recent work has proposed non-adequately reducing test suites by not even preserving all the code coverage. This paper empirically evaluates a new combination of these two ideas, non-adequate reduction of test cases, which allows for a wide range of trade-offs between test case size and fault detection. Our study introduces and evaluates C%-coverage reduction (where a test case is reduced to retain at least C% of its original coverage) and N-mutant reduction (where a test case is reduced to kill at least N of the mutants it originally killed). We evaluate the reduction trade-offs with varying values of C% and N for four real-world C projects: Mozilla's SpiderMonkey JavaScript engine, the YAFFS2 flash file system, Grep, and Gzip. The results show that it is possible to greatly reduce the size of many test cases while still preserving much of their fault-detection capability.
引用
收藏
页码:16 / 26
页数:11
相关论文
共 27 条
[21]  
Ruderman Jesse, 2007, INTRO JSFUNFUZZ
[22]   Balancing Trade-Offs in Test-Suite Reduction [J].
Shi, August ;
Gyori, Alex ;
Gligoric, Milos ;
Zaytsev, Andrey ;
Marinov, Darko .
22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, :246-256
[23]  
Slutz D., 1998, Proceedings of the Twenty-Fourth International Conference on Very-Large Databases, P618
[24]   AUTOMATIC ISOLATION OF COMPILER ERRORS [J].
WHALLEY, DB .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (05) :1648-1659
[25]  
Yoo S, 2012, SOFTW TEST VERIF REL, V22, P67, DOI [10.1002/stvr.430, 10.1002/stv.430]
[26]  
Yoo S., 2007, P 2007 INT S SOFTW T, P140
[27]   Simplifying and isolating failure-inducing input [J].
Zeller, A ;
Hildebrandt, R .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (02) :183-200