Generating Tests that Cover Input Structure
| dc.contributor.author | Pereira Borges Jr., Nataniel | |
| dc.contributor.author | Havrikov, Nikolas | |
| dc.contributor.author | Zeller, Andreas | |
| dc.contributor.editor | Koziolek, Anne | |
| dc.contributor.editor | Schaefer, Ina | |
| dc.contributor.editor | Seidl, Christoph | |
| dc.date.accessioned | 2020-12-17T11:57:56Z | |
| dc.date.available | 2020-12-17T11:57:56Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | To systematically test a program, one needs good inputs—inputs that are valid such that they are not rejected by the program, and inputs that cover as much of the input space as possible in order to reach a maximum of functionality. We present recent techniques to systematically cover input structure. Our k-path algorithm for grammar production [HZ19] systematically covers syntactic elements of the input as well as their combinations. We show how to learn such input structures from graphical user interfaces, notably their interaction language [DBZ19]. Finally, we demonstrate that knowledge bases such as DBPedia can be a reliable source of semantically coherent inputs [Wa20]. All these techniques result in a significantly higher code coverage than state of the art. | en |
| dc.identifier.doi | 10.18420/SE2021_31 | |
| dc.identifier.isbn | 978-3-88579-704-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/34527 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2021 | |
| dc.relation.ispartofseries | ecture Notes in Informatics (LNI) - Proceedings, Volume P-310 | |
| dc.subject | grammar | |
| dc.subject | coverage | |
| dc.subject | automated testing | |
| dc.subject | input generation | |
| dc.subject | knowledge-base | |
| dc.subject | android | |
| dc.title | Generating Tests that Cover Input Structure | en |
| dc.type | Text/ConferencePaper | |
| gi.citation.endPage | 86 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 85 | |
| gi.conference.date | 22.-26. Februar 2021 | |
| gi.conference.location | Braunschweig/Virtuell |
Dateien
Originalbündel
1 - 1 von 1