A Random Testing Approach Using Pushdown Automata

Pierre-Cyrille Heam 1, 2 Catherine Masson 2
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Developing efficient and automatic testing techniques is one of the major challenges facing the software validation community. Recent work by Denise and al. (in MBT'08 proceedings) shows how to draw traces uniformly at random in large systems modeled by finite automata for testing purposes. Since finite automata are strong abstractions of systems, many generated test cases following this approach may be un-concretizable, i.e., do not correspond to any concrete execution of the system under test. In this paper, we propose to tackle this problem by extending the approach to pushdown systems that can encode either a stack data structure or the call stack. The method is based on context-free grammar algorithms, and relies on combinatorial techniques to guarantee the uniformity of generated traces.
Type de document :
Communication dans un congrès
Martin Gogolla and Burkhart Wolff. 5th International Conference on Tests and Proofs - TAP 2011, Jun 2011, Zurich, Switzerland. Springer, 6706, pp.119-133, 2011, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/k2m77g7055876421/〉. 〈10.1007/978-3-642-21768-5_10〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00641750
Contributeur : Pierre-Cyrille Heam <>
Soumis le : mercredi 16 novembre 2011 - 15:30:23
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

Citation

Pierre-Cyrille Heam, Catherine Masson. A Random Testing Approach Using Pushdown Automata. Martin Gogolla and Burkhart Wolff. 5th International Conference on Tests and Proofs - TAP 2011, Jun 2011, Zurich, Switzerland. Springer, 6706, pp.119-133, 2011, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/k2m77g7055876421/〉. 〈10.1007/978-3-642-21768-5_10〉. 〈hal-00641750〉

Partager

Métriques

Consultations de la notice

245