SUSHI and TARDIS are two automatic test generators for Java programs. They generate test suites, aiming to satisfy the branch coverage adequacy criterion. Both tools exploit symbolic execution to analyze the control flow paths of the program under test and generate path conditions, i.e., constraints on the program inputs that determine the execution of a path, focusing in particular on control flow paths that lead to uncovered branches. Then, SUSHI and TARDIS exploit these path conditions with a search-based algorithm to generate unit tests (in JUnit) that execute those program paths. In this paper we report the results of SUSHI and TARDIS at the seventh edition of the unit testing tool competition at the 2019 edition of the International Workshop on Search-Based Software testing.

Braione, P., Denaro, G. (2019). SUSHI and TARDIS at the SBST2019 Tool Competition. In Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019 (pp.25-28). 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Institute of Electrical and Electronics Engineers Inc. [10.1109/SBST.2019.00016].

SUSHI and TARDIS at the SBST2019 Tool Competition

Braione P.;Denaro G.
2019

Abstract

SUSHI and TARDIS are two automatic test generators for Java programs. They generate test suites, aiming to satisfy the branch coverage adequacy criterion. Both tools exploit symbolic execution to analyze the control flow paths of the program under test and generate path conditions, i.e., constraints on the program inputs that determine the execution of a path, focusing in particular on control flow paths that lead to uncovered branches. Then, SUSHI and TARDIS exploit these path conditions with a search-based algorithm to generate unit tests (in JUnit) that execute those program paths. In this paper we report the results of SUSHI and TARDIS at the seventh edition of the unit testing tool competition at the 2019 edition of the International Workshop on Search-Based Software testing.
paper
search based software testing; symbolic execution
English
12th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2019
2019
Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019
978-1-7281-2233-5
2019
25
28
8812231
none
Braione, P., Denaro, G. (2019). SUSHI and TARDIS at the SBST2019 Tool Competition. In Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019 (pp.25-28). 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Institute of Electrical and Electronics Engineers Inc. [10.1109/SBST.2019.00016].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/272345
Citazioni
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
Social impact