loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1
Goal-Oriented Test Data Generation for Programs with Pointer Variables
Edinburgh, Scotland
July 26-July 28
ISBN: 0-7695-2413-3
Arnaud Gotlieb, IRISA/INRIA
Tristan Denmat, IRISA/INRIA
Bernard Botella, THALES AEROSPACE
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.
Citation:
Arnaud Gotlieb, Tristan Denmat, Bernard Botella, "Goal-Oriented Test Data Generation for Programs with Pointer Variables," compsac, vol. 1, pp.449-454, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1, 2005
Usage of this product signifies your acceptance of the Terms of Use.