Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/464789
Title: Goal-oriented test data generation for programs with pointer variables
Authors: Gotlieb, Arnaud;Denmat, Tristan;Botella, Bernard
subject: Science & Technology
Year: 2008
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.
Description: 

URI: http://localhost/handle/Hannan/381302
http://localhost/handle/Hannan/464789
Appears in Collections:2002-2008

Files in This Item:
File SizeFormat 
AL507346.pdf227.24 kBAdobe PDF
Title: Goal-oriented test data generation for programs with pointer variables
Authors: Gotlieb, Arnaud;Denmat, Tristan;Botella, Bernard
subject: Science & Technology
Year: 2008
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.
Description: 

URI: http://localhost/handle/Hannan/381302
http://localhost/handle/Hannan/464789
Appears in Collections:2002-2008

Files in This Item:
File SizeFormat 
AL507346.pdf227.24 kBAdobe PDF
Title: Goal-oriented test data generation for programs with pointer variables
Authors: Gotlieb, Arnaud;Denmat, Tristan;Botella, Bernard
subject: Science & Technology
Year: 2008
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.
Description: 

URI: http://localhost/handle/Hannan/381302
http://localhost/handle/Hannan/464789
Appears in Collections:2002-2008

Files in This Item:
File SizeFormat 
AL507346.pdf227.24 kBAdobe PDF