Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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

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.

Dates and versions

hal-00913694 , version 1 (04-12-2013)

Identifiers

Cite

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⟩
220 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More