Systematically Covering Input Structure

Havrikov, Nikolas and Zeller, Andreas
(2019) Systematically Covering Input Structure.
In: ASE 2019.
Conference: ASE - Automated Software Engineering Conference

[img]
Preview
Text
ase19-paper381-published.pdf

Download (232kB) | Preview

Abstract

Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input features - say, all URL variants for a URL parser. Our k-path algorithm for grammar production systematically covers syntactic elements as well as their combinations. In our evaluation, we show that this results in a significantly higher code coverage than state of the art.

Actions

Actions (login required)

View Item View Item