Code Coverage Aware Test Generation Using Constraint Solver
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F20%3A00346427" target="_blank" >RIV/68407700:21230/20:00346427 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/978-3-030-67220-1_5" target="_blank" >https://doi.org/10.1007/978-3-030-67220-1_5</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-67220-1_5" target="_blank" >10.1007/978-3-030-67220-1_5</a>
Alternative languages
Result language
angličtina
Original language name
Code Coverage Aware Test Generation Using Constraint Solver
Original language description
Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite’s quality. Recently, code coverage analysis is used as a white-box testing technique for test optimization. Most of the research activities focus on using code coverage for test prioritization and selection within automated testing strategies. Less effort has been paid in the literature to use code coverage for test generation. This paper introduces a new Code Coverage-based Test Case Generation (CCTG) concept that changes the current practices by utilizing the code coverage analysis in the test generation process. CCTG uses the code coverage data to calculate the input parameters’ impact for a constraint solver to automate the generation of effective test suites. We applied this approach to a few real-world case studies. The results showed that the new test generation approach could generate effective test cases and detect new faults.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
ISBN
978-3-030-67219-5
ISSN
0302-9743
e-ISSN
1611-3349
Number of pages
9
Pages from-to
58-66
Publisher name
Springer Nature Switzerland AG
Place of publication
Basel
Event location
Amsterdam
Event date
Sep 14, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—