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

Arbeitspapier

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.

Angaben zum Objekt

• Sprache: Englisch

Verweise und Beziehungen

• Erschienen in: Series: ERCIS Working Paper ; No. 25

Klassifikation und Themen

• Klassifikation: Management
• Thema: assertions ; conditions ; test-cases ; Java ; test-case generation

Beteiligte, Orts- und Zeitangaben

• Ereignis: Geistige Schöpfung
• (wer): Caballero, Rafael ; von Hof, Vincent ; Montenegro, Manuel ; Kuchen, Herbert
• Ereignis: Veröffentlichung
• (wer): Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
• (wo): Münster
• (wann): 2016

Weitere Informationen

• Handle: http://hdl.handle.net/10419/156083
• Letzte Aktualisierung: 10.03.2025, 11:42 MEZ