Constraint-Based Test Input Generation for Java Bytecode - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Constraint-Based Test Input Generation for Java Bytecode

Résumé

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.
Fichier principal
Vignette du fichier
ISSRE_10_CharreteurGotlieb.pdf (121.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00699236 , version 1 (21-05-2012)

Identifiants

  • HAL Id : hal-00699236 , version 1

Citer

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. ⟨hal-00699236⟩
211 Consultations
481 Téléchargements

Partager

Gmail Facebook X LinkedIn More