Skip to Main content Skip to Navigation
Conference papers

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Thursday, November 4, 2010 - 10:57:04 AM
Last modification on : Friday, January 21, 2022 - 3:08:58 AM

Links full text



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⟩



Record views