Work

Goal-Oriented Test Data Generation for Programs with Pointer Variables

Year: 2006

Type: conference-paper

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. This paper proposes to extend an existing goal-oriented test data generation technique to deal with multi-level pointer variables. The approach exploits the results of an intraprocedural flow-sensitive points-to analysis to automatically generate goal-oriented test data at the unit testing level. Implementation is in progress and a few examples are presented.

Source: IEEE Annual International Computer Software and Applications Conference (COMPSAC)

DOI: 10.1109/compsac.2005.81

Authors: A. Gotlieb, T. Denmat, B. Botella

Institutions: Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires, Centre Inria de l'Université de Rennes, Thales (France)

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2121478122

FWCI: 1.066

Cites: 25

Cited by: 10

Related to: 10