TU Darmstadt / ULB / TUprints

CoVeriTest: interleaving value and predicate analysis for test-case generation

Jakobs, Marie-Christine (2024)
CoVeriTest: interleaving value and predicate analysis for test-case generation.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (6)
doi: 10.26083/tuprints-00023915
Article, Secondary publication, Publisher's Version

[img] Text
s10009-020-00572-1.pdf
Copyright Information: CC BY 4.0 International - Creative Commons, Attribution.

Download (320kB)
Item Type: Article
Type of entry: Secondary publication
Title: CoVeriTest: interleaving value and predicate analysis for test-case generation
Language: English
Date: 30 April 2024
Place of Publication: Darmstadt
Year of primary publication: December 2021
Place of primary publication: Berlin ; Heidelberg
Publisher: Springer
Journal or Publication Title: International Journal on Software Tools for Technology Transfer
Volume of the journal: 23
Issue Number: 6
DOI: 10.26083/tuprints-00023915
Corresponding Links:
Origin: Secondary publication DeepGreen
Abstract:

Verification techniques are well-suited for automatic test-case generation. They basically need to check the reachability of every test goal and generate test cases for all reachable goals. This is also the basic idea of our CoVeriTest submission. However, the set of test goals is not fixed in CoVeriTest , instead we can configure the set of test goals. For Test-Comp’19, we support the set of all __VERIFIER_error() calls as well as the set of all branches. Thus, we can deal with the two test specifications considered in Test-Comp’19. Since the tasks in Test-Comp are diverse and verification techniques have different strengths and weaknesses, we also do not stick to a single verification technique, but use a hybrid approach that combines multiple techniques. More concrete, CoVeriTest interleaves different verification techniques and allows to configure the cooperation (i.e., information exchange and time limits). To choose from a large set of verification techniques, CoVeriTest is integrated into the analysis framework CPAchecker. For the competition, we interleave CPAchecker’s value and predicate analysis and let both analyses resume their analysis performed in the previous iteration.

Uncontrolled Keywords: Test-case generation, Software testing, Model checking, Cooperative verification, CPAchecker
Status: Publisher's Version
URN: urn:nbn:de:tuda-tuprints-239150
Additional Information:

Special Issue: TestComp 2019

Classification DDC: 000 Generalities, computers, information > 004 Computer science
Divisions: 20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Date Deposited: 30 Apr 2024 11:28
Last Modified: 05 Sep 2024 07:30
SWORD Depositor: Deep Green
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/23915
PPN: 521105013
Export:
Actions (login required)
View Item View Item