Constraint-Based Test Input Generation for Java Bytecode

Florence Charreteur 1 Arnaud Gotlieb 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Type de document :
Communication dans un congrès
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

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00699236
Contributeur : Arnaud Gotlieb <>
Soumis le : lundi 21 mai 2012 - 11:13:30
Dernière modification le : mardi 16 janvier 2018 - 15:54:15
Document(s) archivé(s) le : mercredi 22 août 2012 - 02:22:04

Fichier

ISSRE_10_CharreteurGotlieb.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

283

Téléchargements de fichiers

212