Raisonnement à contraintes pour le test de bytecode Java

Florence Charreteur 1 Arnaud Gotlieb 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Le test logiciel permet d'augmenter la confiance que l'on porte à un programme ou un système. Dans ce contexte, il s'agit d'exécuter le programme avec un certain nombre d'entrées dans le but de couvrir des objectifs de test, comme celui qui consiste à atteindre toutes les instructions du programme au moins une fois durant la phase de test. Idéalement, on souhaite générer ces entrées de manière automatique mais ce problème est indécidable dans le cas général. Dans notre travail, nous avons développé une méthode (incomplète) pour ce problème qui s'appuie sur une vision relationnelle du programme. Cet article présente des opérateurs à contraintes servant à modéliser les instructions du bytecode Java sous la forme d'une relation entre deux états de la mémoire : l'état de la mémoire avant l'instruction et l'état de la mémoire après l'instruction. Les opérateurs expriment des liens entre des états du tas, celui-ci est vu comme une fonction définie sur une partie des entiers naturels. Les algorithmes de filtrage de ces opérateurs permettent des déductions fortes que nous illustrons sur un exemple complexe. Ce modèle est, à notre connaissance, le premier modèle à contraintes proposé pour tester le bytecode Java.
Type de document :
Communication dans un congrès
Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.11-20, 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00290579
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : mercredi 25 juin 2008 - 17:10:48
Dernière modification le : mercredi 21 février 2018 - 01:51:18
Document(s) archivé(s) le : vendredi 28 mai 2010 - 20:18:00

Fichier

pages-011-20-article27.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00290579, version 1

Collections

Citation

Florence Charreteur, Arnaud Gotlieb. Raisonnement à contraintes pour le test de bytecode Java. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.11-20, 2008. 〈inria-00290579〉

Partager

Métriques

Consultations de la notice

203

Téléchargements de fichiers

62