Building a Test-ready Abstraction of a Behavioral Model using CLP

Pierre-Christophe Bué 1 Frédéric Dadeau 2 Adrien De Kermadec 2 Fabrice Bouquet 1
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 : This paper proposes an approach for automatically generating model-based tests from a symbolic transition system built as an abstraction of a textual model description written using a pre/postcondition formalism. The abstraction gathers into equivalence classes states from which the same set of operation behaviors can be activated, computed using constraint solving techniques. This abstraction is then used to generate model-based tests using an online test generation technique in which the model animation is guided by the exploration of the abstraction. We apply this approach on the B abstract machines formalism, and compare with a commercial tool, named Leirios Test Generator. We show that our approach makes it possible to achieve a wider variety of test cases, by exploiting the knowledge of the model topology, resulting in an improved fault detection capability.
Type de document :
Communication dans un congrès
Fraser, Gordon and Gargantini, Angelo. 4th International Conference on Tests and Proofs - TAP 2010, Jul 2010, Malaga, Spain. Springer-Verlag, 6143, pp.167-182, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-13977-2_14〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00532608
Contributeur : Frédéric Dadeau <>
Soumis le : jeudi 4 novembre 2010 - 10:57:04
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

Citation

Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet. Building a Test-ready Abstraction of a Behavioral Model using CLP. Fraser, Gordon and Gargantini, Angelo. 4th International Conference on Tests and Proofs - TAP 2010, Jul 2010, Malaga, Spain. Springer-Verlag, 6143, pp.167-182, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-13977-2_14〉. 〈inria-00532608〉

Partager

Métriques

Consultations de la notice

259