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, 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.
Type de document :
Communication dans un congrès
Fraser, Gordon and Gotlieb, Arnaud and Michel, Claude and Pretschner, Alexander. 2nd Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA'2010, Apr 2010, Paris, France. IEEE Press, 2010, Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on Software Testing, Verification, and Validation. 〈10.1109/ICSTW.2010.43〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00532977
Contributeur : Frédéric Dadeau <>
Soumis le : jeudi 4 novembre 2010 - 19:07:04
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

Citation

Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam. Model-Based Testing using Symbolic Animation and Machine Learning. Fraser, Gordon and Gotlieb, Arnaud and Michel, Claude and Pretschner, Alexander. 2nd Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA'2010, Apr 2010, Paris, France. IEEE Press, 2010, Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on Software Testing, Verification, and Validation. 〈10.1109/ICSTW.2010.43〉. 〈inria-00532977〉

Partager

Métriques

Consultations de la notice

215