Skip to Main content Skip to Navigation
Conference papers

Model-Based Testing using Symbolic Animation and Machine Learning

Pierre-Christophe Bué 1 Frédéric Dadeau 2 Pierre-Cyrille Héam 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 : Abstract—We present in this paper a technique based on symbolic animation of models that aims at producing modelbased tests. In order to guide the animation of the model, we rely on the use of a deterministic finite automaton (DFA) of the model that is built using a well-known learning machine algorithm from Angluin, considering a complex model as a black-box component that can be animated. Since the DFA obtained in this way may be an over-approximation and, thus, admit traces that were not admitted on the original model, this abstraction is refined using counter-examples made of unfeasible traces. The computation of counter-examples is perfomed using a systematic coverage of the DFA states and transitions, producing test sequences that are replayed on the model, providing either test cases for offline testing, or counterexamples that aim at refining the abstraction.
Document type :
Conference papers
Complete list of metadatas
Contributor : Frédéric Dadeau <>
Submitted on : Thursday, November 4, 2010 - 7:07:04 PM
Last modification on : Tuesday, October 27, 2020 - 2:34:28 PM



Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam. Model-Based Testing using Symbolic Animation and Machine Learning. 2nd Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA'2010, Apr 2010, Paris, France. ⟨10.1109/ICSTW.2010.43⟩. ⟨inria-00532977⟩



Record views