Cooperative Test-Case Generation with Verifiers
Abstract
Software testing is widely applied in software quality assurance. Often, test suites fulfilling a certain coverage measure must be constructed. Manually constructing them is laborious. However, numerous automatic test-generation approaches exist. Due to various strengths and weaknesses of individual approaches, hybrid approaches, which combine different approaches, construct test suites that achieve higher coverage values than test suites generated by individual approaches.
We propose the hybrid test-generation approach CoVeriTest. CoVeriTest is flexible, cooperative, and based on verification technology. It iteratively executes a sequence of verifiers that may exchange analysis information between each other and output a test case whenever they reach a test goal. The verifiers, their individual time limits, and which analysis information is exchanged between them is configurable. We experimented with different CoVeriTest configurations. The best configuration participated in the 1st International Competition on Software Testing (Test-Comp’19) and won the third place. This proves the value of our CoVeriTest approach.
- Citation
- BibTeX
Beyer, D. & Jakobs, M.-C.,
(2020).
Cooperative Test-Case Generation with Verifiers.
In:
Felderer, M., Hasselbring, W., Rabiser, R. & Jung, R.
(Hrsg.),
Software Engineering 2020.
Bonn:
Gesellschaft für Informatik e.V..
(S. 107--108).
DOI: 10.18420/SE2020_31
@inproceedings{mci/Beyer2020,
author = {Beyer, Dirk AND Jakobs, Marie-Christine},
title = {Cooperative Test-Case Generation with Verifiers},
booktitle = {Software Engineering 2020},
year = {2020},
editor = {Felderer, Michael AND Hasselbring, Wilhelm AND Rabiser, Rick AND Jung, Reiner} ,
pages = { 107--108 } ,
doi = { 10.18420/SE2020_31 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Beyer, Dirk AND Jakobs, Marie-Christine},
title = {Cooperative Test-Case Generation with Verifiers},
booktitle = {Software Engineering 2020},
year = {2020},
editor = {Felderer, Michael AND Hasselbring, Wilhelm AND Rabiser, Rick AND Jung, Reiner} ,
pages = { 107--108 } ,
doi = { 10.18420/SE2020_31 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Dateien | Groesse | Format | Anzeige | |
---|---|---|---|---|
B10-01.pdf | 257.3Kb | View/ |
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/SE2020_31
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
DOI: 10.18420/SE2020_31
ISBN: 978-3-88579-694-7
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2020
Language:
(en)

Content Type: Text/Conference Paper