Model-Based Filtering of Combinatorial Test Suites

Taha Triki 1 Yves Ledru 2 Lydie Du Bousquet 2 Frédéric Dadeau 3, 4 Julien Botella
2 VASCO
LIG - Laboratoire d'Informatique de Grenoble
4 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters. In this paper, we first propose a model-based testing approach where Tobias test cases are first run on an executable UML/OCL specification. This animation of test cases on a model allows to filter out invalid test sequences produced by blind enumeration, typically the ones which violate the pre-conditions of operations, and to provide an oracle for the valid ones. We then introduce recent extensions of the Tobias tool which support an incremental unfolding and filtering process, and its associated toolset. This allows to address explosive test patterns featuring a large number of invalid test cases, and only a small number of valid ones. For instance, these new constructs could mandate test cases to satisfy a given predicate at some point or to follow a given behavior. The early detection of invalid test cases improves the calculation time of the whole generation and execution process, and helps fighting combinatorial explosion.
Type de document :
Communication dans un congrès
Juan de Lara, Andrea Zisman. FASE 2012 - Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. Springer, 7212, pp.439-454, 2012, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007%2F978-3-642-28872-2_30〉. 〈10.1007/978-3-642-28872-2_30〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00760013
Contributeur : Frédéric Dadeau <>
Soumis le : lundi 3 décembre 2012 - 12:14:03
Dernière modification le : jeudi 15 février 2018 - 08:48:14

Identifiants

Citation

Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites. Juan de Lara, Andrea Zisman. FASE 2012 - Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. Springer, 7212, pp.439-454, 2012, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007%2F978-3-642-28872-2_30〉. 〈10.1007/978-3-642-28872-2_30〉. 〈hal-00760013〉

Partager

Métriques

Consultations de la notice

426