Symbiotic  8: Parallel and Targeted Test Generation

D 2021

Symbiotic 8: Parallel and Targeted Test Generation

CHALUPA, Marek, Jakub NOVÁK a Jan STREJČEK

Základní údaje

Originální název

Symbiotic 8: Parallel and Targeted Test Generation

Autoři

CHALUPA, Marek (203 Česká republika, garant, domácí), Jakub NOVÁK (703 Slovensko, domácí) a Jan STREJČEK (203 Česká republika, domácí)

Vydání

Cham (Switzerland), Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, od s. 368-372, 5 s. 2021

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Švýcarsko

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/21:00121274

Organizační jednotka

Fakulta informatiky

ISBN

978-3-030-71499-4

ISSN

DOI

http://dx.doi.org/10.1007/978-3-030-71500-7_20

UT WoS

000720079700020

Klíčová slova anglicky

test generation; test coverage; Symbiotic

Štítky

bug-detection, formela-ver, program analysis, Symbiotic

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 23. 5. 2022 14:27, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

The setup of Symbiotic 8 for Test-Comp 2021 brings radical changes in the test generation for coverage-branches property. Similarly as in Symbiotic 7, we generate tests by running our fork of symbolic executor Klee on the analyzed program. Symbiotic 8, however, runs several instances of Klee in parallel. We run one instance of Klee on the original program and, simultaneously, we create one (intentionally unsound) program slice for every program-terminating instruction in the program and run Klee on these slices. Apart from this principal change, we also improved other components of the tool, mainly the program slicer. Further, our fork of Klee now supports symbolic pointer arithmetics and comparison of symbolic addresses.

Návaznosti

MUNI/A/1108/2020, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X. (Akronym: SV-FI MAV X.)

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X.

MUNI/A/1549/2020, interní kód MU

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21 (Akronym: SKOMU)

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21

Citovat

CHALUPA, Marek, Jakub NOVÁK a Jan STREJČEK. Symbiotic 8: Parallel and Targeted Test Generation. In Esther Guerra and Mariëlle Stoelinga. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Cham (Switzerland): Springer, 2021, s. 368-372. ISBN 978-3-030-71499-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-71500-7_20.

@inproceedings{1753777,
   author = {Chalupa, Marek and Novák, Jakub and Strejček, Jan},
   address = {Cham (Switzerland)},
   booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
   doi = {http://dx.doi.org/10.1007/978-3-030-71500-7_20},
   editor = {Esther Guerra and Mariëlle Stoelinga},
   keywords = {test generation; test coverage; Symbiotic},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Cham (Switzerland)},
   isbn = {978-3-030-71499-4},
   pages = {368-372},
   publisher = {Springer},
   title = {Symbiotic 8: Parallel and Targeted Test Generation},
   url = {https://link.springer.com/chapter/10.1007%2F978-3-030-71500-7_20},
   year = {2021}
}

TY  - JOUR
ID  - 1753777
AU  - Chalupa, Marek - Novák, Jakub - Strejček, Jan
PY  - 2021
TI  - Symbiotic 8: Parallel and Targeted Test Generation
PB  - Springer
CY  - Cham (Switzerland)
SN  - 9783030714994
KW  - test generation
KW  - test coverage
KW  - Symbiotic
UR  - https://link.springer.com/chapter/10.1007%2F978-3-030-71500-7_20
N2  - The setup of Symbiotic 8 for Test-Comp 2021 brings radical changes in the test generation for coverage-branches property. Similarly as in Symbiotic 7, we generate tests by running our fork of symbolic executor Klee on the analyzed program. Symbiotic 8, however, runs several instances of Klee in parallel. We run one instance of Klee on the original program and, simultaneously, we create one (intentionally unsound) program slice for every program-terminating instruction in the program and run Klee on these slices. Apart from this principal change, we also improved other components of the tool, mainly the program slicer. Further, our fork of Klee now supports symbolic pointer arithmetics and comparison of symbolic addresses.
ER  -

CHALUPA, Marek, Jakub NOVÁK a Jan STREJČEK. Symbiotic 8: Parallel and Targeted Test Generation. In Esther Guerra and Mari\"elle Stoelinga. \textit{Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}. Cham (Switzerland): Springer, 2021, s.~368-372. ISBN~978-3-030-71499-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-71500-7\_{}20.

Podrobný výpis o publikaci