Skip to Main content Skip to Navigation
Conference papers

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 (UMR 6174), 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00913694
Contributor : Fabrice Bouquet <>
Submitted on : Wednesday, December 4, 2013 - 11:41:21 AM
Last modification on : Thursday, November 12, 2020 - 9:42:03 AM

Links full text

Identifiers

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. pp.134--151, ⟨10.1007/978-3-642-39013-5_10⟩. ⟨hal-00913694⟩

Share

Metrics

Record views

486