Skip to Main content Skip to Navigation

Goal-oriented test data generation for programs with pointer variables

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 identify 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. This paper extends an existing goal-oriented test data generation technique to deal with multi-level pointer variables. These pointers are responsible for the existence of difficult conditional aliasing problems that usually provoke the failure of the test data generation process. The key point of our approach is the definition of a new static single assignment form based on the results of an intraprocedural flow-sensitive points-to analysis. This form allows us to propose an overall approach for generating goal-oriented test data in the presence of pointer variables based on the Constraint Logic Programming framework. The approach has been implemented and tested over a few examples extracted from the literature.
Document type :
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 8:36:56 PM
Last modification on : Monday, April 4, 2022 - 2:44:03 PM
Long-term archiving on: : Sunday, April 4, 2010 - 9:18:51 PM


  • HAL Id : inria-00070479, version 1


Arnaud Gotlieb, Tristan Denmat, Bernard Botella. Goal-oriented test data generation for programs with pointer variables. [Research Report] RR-5528, INRIA. 2005, pp.21. ⟨inria-00070479⟩



Record views


Files downloads