Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing

Fabrice Ambert 1 Fabrice Bouquet 1, 2 Jonathan Lasalle 1 Bruno Legeard 1 Fabien Peureux 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, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Model-Based Testing (MBT) uses a model of the System Under Test as reference to automatically derive test cases. Since it is often not reasonable to cover all the behaviours formalized in the model, coverage criteria are applied to select a relevant subset of model behaviours. In this paper, we propose a dedicated test coverage criterion, based on Def-Use criteria on signal exchange, to implement MBT approach from Systems Modeling Language (SysML) test models to validate mechatronic systems. This novel criterion is introduced and the relevance of the approach from SysML models is discussed regarding results obtained with a dedicated MBT toolchain implementing this criterion.
Type de document :
Communication dans un congrès
ECMFA'13, 9-th European Conference on Modelling Foundations and Applications, Jul 2013, Montpellier, France. Springer, 7949, pp.134--151, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39013-5_10〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00913694
Contributeur : Fabrice Bouquet <>
Soumis le : mercredi 4 décembre 2013 - 11:41:21
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26

Identifiants

Citation

Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux. Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. ECMFA'13, 9-th European Conference on Modelling Foundations and Applications, Jul 2013, Montpellier, France. Springer, 7949, pp.134--151, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39013-5_10〉. 〈hal-00913694〉

Partager

Métriques

Consultations de la notice

325