Goal-oriented test data generation for pointer programs

Arnaud Gotlieb 1 Tristan Denmat 1 Bernard Botella 2
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goal-oriented methods). In both cases, several approaches based on constraint solving exist, but in the presence of pointer variables only path-oriented methods have been proposed. Pointers are responsible for the existence of conditional aliasing problems that usually provoke the failure of the goal-oriented test data generation process. In this paper, we propose an overall constraint-based method that exploits the results of an intraprocedural points-to analysis and provides two specific constraint combinators for automatically generating goal-oriented test data. This approach correctly handles multi-levels stack-directed pointers that are mainly used in C programs. The method has been fully implemented in the test data generation tool INKA and first experiences in applying it to a variety of existing programs are presented.
Type de document :
Article dans une revue
Information and Software Technology, Elsevier, 2007, 49 (9-10), pp.1030-1044. 〈10.1016/j.infsof.2006.10.016〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00540297
Contributeur : Arnaud Gotlieb <>
Soumis le : vendredi 26 novembre 2010 - 12:34:48
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : dimanche 27 février 2011 - 02:52:45

Fichier

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

Identifiants

Collections

Citation

Arnaud Gotlieb, Tristan Denmat, Bernard Botella. Goal-oriented test data generation for pointer programs. Information and Software Technology, Elsevier, 2007, 49 (9-10), pp.1030-1044. 〈10.1016/j.infsof.2006.10.016〉. 〈inria-00540297〉

Partager

Métriques

Consultations de la notice

233

Téléchargements de fichiers

94