CISPA
Browse
B1-30.pdf (43.89 kB)

Generating Tests that Cover Input Structure.

Download (43.89 kB)
journal contribution
posted on 2024-05-03, 12:45 authored by Nataniel Pereira Borges Jr, Nikolas Havrikov, Andreas ZellerAndreas Zeller
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.

History

Editor

Koziolek A ; Schaefer I ; Seidl C

Primary Research Area

  • Threat Detection and Defenses

Journal

Software Engineering

Volume

P-310

Page Range

85-86

Publisher

Gesellschaft für Informatik e.V.

Sub Type

  • Article

BibTeX

@article{Borges Jr:Havrikov:Zeller:2021, title = "Generating Tests that Cover Input Structure.", author = "Borges Jr, Nataniel Pereira" AND "Havrikov, Nikolas" AND "Zeller, Andreas", editor = "Koziolek, Anne" AND "Schaefer, Ina" AND "Seidl, Christoph", year = 2021, month = 1, journal = "Software Engineering", pages = "85--86", publisher = "Gesellschaft für Informatik e.V." }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC