SUSHI a test generator for programs with complex structured inputs

Random and search-based test generators yield realistic test cases based on program APIs, but often miss structural test objectives that depend on non-trivial data structure instances; Whereas symbolic execution can precisely characterise those dependencies but does not compute method sequences to i...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) s. 21 - 24
Hlavní autori: Braione, Pietro, Denaro, Giovanni, Mattavelli, Andrea, Pezzè, Mauro
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: New York, NY, USA ACM 27.05.2018
Edícia:ACM Conferences
Predmet:
Automatic test case generation
Data structures
Generators
Law
Search based software engineering
Search problems
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
Software engineering
Symbolic execution
Test pattern generators
symbolic execution
automatic test case generation
search-based software engineering
ISBN:145035663X, 9781450356633
ISSN:2574-1934
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Random and search-based test generators yield realistic test cases based on program APIs, but often miss structural test objectives that depend on non-trivial data structure instances; Whereas symbolic execution can precisely characterise those dependencies but does not compute method sequences to instantiate them. We present SUSHI, a high-coverage test case generator for programs with complex structured inputs. SUSHI leverages symbolic execution to generate path conditions that precisely describe the relationship between program paths and input data structures, and converts the path conditions into the fitness functions of search-based test generation problems. A solution for the search problem is a legal method sequence that instantiates the structured inputs to exercise the program paths identified by the path condition. Our experiments indicate that SUSHI can distinctively complement current automatic test generation tools.
ISBN:145035663X
9781450356633
ISSN:2574-1934
DOI:10.1145/3183440.3183472