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 :
Reports
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070479
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 8:36:56 PM
Last modification on : Friday, November 16, 2018 - 1:23:33 AM
Long-term archiving on : Sunday, April 4, 2010 - 9:18:51 PM

Identifiers

  • HAL Id : inria-00070479, version 1

Citation

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⟩

Share

Metrics

Record views

221

Files downloads

328