Jakobs, Marie-Christine (2021)
CoVeriTest: interleaving value and predicate analysis for test-case generation.
In: International Journal on Software Tools for Technology Transfer, 23 (6)
doi: 10.1007/s10009-020-00572-1
Artikel, Bibliographie
Dies ist die neueste Version dieses Eintrags.
Kurzbeschreibung (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.
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2021 |
| Autor(en): | Jakobs, Marie-Christine |
| Art des Eintrags: | Bibliographie |
| Titel: | CoVeriTest: interleaving value and predicate analysis for test-case generation |
| Sprache: | Englisch |
| Publikationsjahr: | Dezember 2021 |
| Ort: | Berlin ; Heidelberg |
| Verlag: | Springer |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | International Journal on Software Tools for Technology Transfer |
| Jahrgang/Volume einer Zeitschrift: | 23 |
| (Heft-)Nummer: | 6 |
| DOI: | 10.1007/s10009-020-00572-1 |
| Zugehörige Links: | |
| Kurzbeschreibung (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. |
| Freie Schlagworte: | Test-case generation, Software testing, Model checking, Cooperative verification, CPAchecker |
| Zusätzliche Informationen: | Special Issue: TestComp 2019 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme |
| Hinterlegungsdatum: | 02 Aug 2024 13:16 |
| Letzte Änderung: | 02 Aug 2024 13:16 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Verfügbare Versionen dieses Eintrags
-
CoVeriTest: interleaving value and predicate analysis for test-case generation. (deposited 30 Apr 2024 11:28)
- CoVeriTest: interleaving value and predicate analysis for test-case generation. (deposited 02 Aug 2024 13:16) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum