A program transformation for converting Java assertions into control-flow statements

Rafael Caballero, Vincent von Hof, Manuel Montenegro and Herbert Kuchen

No 25, ERCIS Working Papers from University of Münster, European Research Center for Information Systems (ERCIS)

Abstract: We present a technique for checking the validity of Java assertions using an arbitrary automated test-case generator. Our framework transforms the program by introducing code that detects whether the assertion conditions are met by every direct and indirect method call within a certain depth level. Then, any automated test-case generator can be used to look for input examples that falsify the conditions. The program transformation ensures that the value obtained for these inputs represents a path of method calls that ends with a violation of some assertion. We show experiments with two different automatic test-case generators that demonstrate not just the applicability of our proposal but also that we can get a better coverage than the same test-case generators without our transformation.

Keywords: assertions; conditions; test-cases; Java; test-case generation (search for similar items in EconPapers)
Date: 2016
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.econstor.eu/bitstream/10419/156083/1/881585211.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:zbw:ercisw:25

Access Statistics for this paper

More papers in ERCIS Working Papers from University of Münster, European Research Center for Information Systems (ERCIS) Contact information at EDIRC.
Bibliographic data for series maintained by ZBW - Leibniz Information Centre for Economics ().