A Uniform Random Test Data Generator for Path Testing

Arnaud Gotlieb 1 Matthieu Petit 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that execute a single control flow path within a program. The main challenge of PRT lies in its ability to build efficiently such a test suite in order to minimize the number of rejects (test data that execute another control flow path). We address this problem with an original divide-and-conquer approach based on constraint reasoning over finite domains, a well-recognized Constraint Programming technique. Our approach first derives path conditions by using backward symbolic execution and computes a tight over-approximation of their associated subdomain by using constraint propagation and constraint refutation. Second, a uniform random test data generator is extracted from this approximated subdomain. We implemented this approach and got experimental results that show the practical benefits of PRT based on constraint reasoning. On average, we got a two-order magnitude CPU time improvement over standard Random Testing on a set of paths extracted from classical benchmark programs.
Type de document :
Article dans une revue
Journal of Systems and Software, Elsevier, 2010, 83 (12), pp.2618-2626. 〈10.1016/j.jss.2010.08.021〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00540283
Contributeur : Arnaud Gotlieb <>
Soumis le : vendredi 26 novembre 2010 - 12:16:52
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : dimanche 27 février 2011 - 02:50:05

Fichier

Gotlieb_Petit.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Arnaud Gotlieb, Matthieu Petit. A Uniform Random Test Data Generator for Path Testing. Journal of Systems and Software, Elsevier, 2010, 83 (12), pp.2618-2626. 〈10.1016/j.jss.2010.08.021〉. 〈inria-00540283〉

Partager

Métriques

Consultations de la notice

380

Téléchargements de fichiers

203