Constraint-Based Test Input Generation for Java Bytecode

Florence Charreteur 1 Arnaud Gotlieb 1
1 CELTIQUE - Software certification with semantic analysis
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : In this paper, we introduce a constraint-based reasoning approach to automatically generate test input for Java bytecode programs. Our goal-oriented method aims at building an input state of the Java Virtual Machine (JVM) that can drive program execution towards a given location within the bytecode. An innovative aspect of the method is the definition of a constraint model for each bytecode that allows backward exploration of the bytecode program, and permits to solve complex constraints over the memory shape (e.g., p == p.next enforces the creation of a cyclic data structure referenced by p). We implemented this constraint-based approach in a prototype tool called JAUT, that can generate input states for programs written in a subset of JVM including integers and references, dynamic-allocated structures, objects inheritance and polymorphism by virtual method call, conditional and backward jumps. Experimental results show that JAUT generate test input for executing locations not reached by other state-of-the-art code-based test input generators such as jCUTE, JTEST and Pex.
Document type :
Conference papers
Proc. of the 21st IEEE Int. Symp. on Softw. Reliability Engineering (ISSRE'10), Nov 2010, San Jose, CA, USA, United States. 2010
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-00699236
Contributor : Arnaud Gotlieb <>
Submitted on : Monday, May 21, 2012 - 11:13:30 AM
Last modification on : Wednesday, May 16, 2018 - 11:23:28 AM
Document(s) archivé(s) le : Wednesday, August 22, 2012 - 2:22:04 AM

File

ISSRE_10_CharreteurGotlieb.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00699236, version 1

Citation

Florence Charreteur, Arnaud Gotlieb. Constraint-Based Test Input Generation for Java Bytecode. Proc. of the 21st IEEE Int. Symp. on Softw. Reliability Engineering (ISSRE'10), Nov 2010, San Jose, CA, USA, United States. 2010. 〈hal-00699236〉

Share

Metrics

Record views

372

Files downloads

244