Modelling Dynamic Memory Management in Constraint-Based Testing

Abstract : Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. When programs contain dynamic memory allocation and loops, constraint reasoning becomes challenging as new variables and new constraints should be created during the test data generation process. In this paper, we address this problem by proposing a new constraint model of C programs based on operators that model dynamic memory management. These operators apply powerful deduction rules on abstract states of the memory enhancing the constraint reasoning process. This allows to automatically generate test data respecting complex coverage objectives. We illustrate our approach on a well-known difficult example program that contains dynamic memory allocation/deallocation, structures and loops. We describe our implementation and provide preliminary experimental results on this example that show the highly deductive potential of the approach.
Type de document :
Article dans une revue
Journal of Systems and Software, Elsevier, 2009, 82 (11), pp.1755-1766. 〈10.1016/j.jss.2009.06.029〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00540270
Contributeur : Arnaud Gotlieb <>
Soumis le : vendredi 26 novembre 2010 - 12:02:34
Dernière modification le : mardi 16 janvier 2018 - 15:54:15
Document(s) archivé(s) le : dimanche 27 février 2011 - 02:48:21

Fichier

Charreteur_Gotlieb_Botella_JSS...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Florence Charreteur, Bernard Botella, Arnaud Gotlieb. Modelling Dynamic Memory Management in Constraint-Based Testing. Journal of Systems and Software, Elsevier, 2009, 82 (11), pp.1755-1766. 〈10.1016/j.jss.2009.06.029〉. 〈inria-00540270〉

Partager

Métriques

Consultations de la notice

273

Téléchargements de fichiers

135