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 Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Résumé

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 et versions

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

Identifiants

Citer

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⟩
222 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More