Skip to Main content Skip to Navigation
New interface
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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Thursday, November 4, 2010 - 7:07:04 PM
Last modification on : Friday, January 21, 2022 - 3:08:58 AM



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