arrow
返回

Whole Test Suite Generation

delete2013-02-01
delete418
delete
OA
AI
G
Gordon Fraser *
A
Andrea Arcuri
DOI:10.1109/TSE.2012.14delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Not all bugs lead to program crashes, and not always is there a formal specification to check the correctness of a software test's outcome. A common scenario in software testing is therefore that test data are generated, and a tester manually adds test oracles. As this is a difficult task, it is important to produce small yet representative test sets, and this representativeness is typically measured using code coverage. There is, however, a fundamental problem with the common approach of targeting one coverage goal at a time: Coverage goals are not independent, not equally difficult, and sometimes infeasible-the result of test generation is therefore dependent on the order of coverage goals and how many of them are feasible. To overcome this problem, we propose a novel paradigm in which whole test suites are evolved with the aim of covering all coverage goals at the same time while keeping the total size as small as possible. This approach has several advantages, as for example, its effectiveness is not affected by the number of infeasible targets in the code. We have implemented this novel approach in the EVOSUITE tool, and compared it to the common approach of addressing one goal at a time. Evaluated on open source libraries and an industrial case study for a total of 1,741 classes, we show that EVOSUITE achieved up to 188 times the branch coverage of a traditional approach targeting single branches, with up to 62 percent smaller test suites.
Keyword:
Search-based software engineering
length
branch coverage
genetic algorithm
infeasible goal
collateral coverage

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.8K
被引数:
1.1W

机构

U
University of Sheffield
学者数:
3.0W
论文数: 2.9W
被引数: 3.9W
引用论文

引用论文

err分享
err收藏
err分享
err收藏
Dissecting neural mechanisms of prosocial behaviors
err2021-06-01
err0
errOAAI
errJessica J Walsh; Daniel J Christoffel; Xiaoting Wu; Matthew B Pomrenze; Robert C Malenka
err分享
err收藏
err分享
err收藏
On the Escape Transition of a Tethered Gaussian Chain; Exact Results in Two Conjugate Ensembles
err2006-04-18
err0
errOAAI
errAlexander M. Skvortsov; Leonid I. Klushin; Frans A. M. Leermakers
err分享
err收藏
学者 查看更多内容