Generating Parameterized Unit Tests - ISSTA 2011
by Gordon Fraser, Andreas Zeller

July 2011.

Download as PDF file.


State-of-the art techniques for automated test generation focus on generating executions that cover program behavior. As they do not generate oracles, it is up to the developer to figure out what a test does and how to check the correctness of the observed behavior. In this paper, we present an approach to generate parameterized unit tests - unit tests containing symbolic pre- and postconditions characterizing test input and test result. Starting from concrete inputs and results, we use test generation and mutation to systematically generalize pre- and postconditions while simplifying the computation steps. Evaluated on five open source libraries, the generated parameterized unit tests are (a) more expressive, characterizing general rather than concrete behavior; (b) need fewer computation steps, making them easier to understand; and (c) achieve a higher coverage than regular unit tests.

BibTeX Entry

    title = "Generating Parameterized Unit Tests",
    author = "Gordon Fraser and Andreas Zeller",
    year = "2011",
    month = jul,
    location = "Toronto, ON, Canada",

Show all publications of the Software Engineering Chair.