Building a Test-ready Abstraction of a Behavioral Model using CLP - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Résumé

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.

Dates et versions

inria-00532608 , version 1 (04-11-2010)

Identifiants

Citer

Pierre-Christophe Bué, Frédéric Dadeau, Adrien de Kermadec, Fabrice Bouquet. Building a Test-ready Abstraction of a Behavioral Model using CLP. 4th International Conference on Tests and Proofs - TAP 2010, Jul 2010, Malaga, Spain. pp.167-182, ⟨10.1007/978-3-642-13977-2_14⟩. ⟨inria-00532608⟩
108 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More