Goal-Oriented Test Data Generation for Programs with Pointer Variables

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 goaloriented 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.

• Type: Conference
• Year: 2005
• Where: COMPSAC
• Authors: Arnaud Gotlieb, Tristan Denmat, Bernard Botella
• Keywords: COMPSAC 2005, Goal-oriented Test Data, Pointer Variables, Software Engineering, Test Data Generation