Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC

摘要

We present in this paper a study on the evaluation of the coverage of temporal properties by test suites using models described in UML4MBT/OCL4MBT (a subset of UML/OCL) during the ANR TASCCC project. We base our approach on temporal properties described in a language, introduced in a previous work, inspired from property patterns introduced by M. Dwyer et al. and to which is associated an automata-based semantics. From this representation, we describe specific coverage criteria, inspired from classical coverage criteria, that aim at highlighting relevant test case over temporal properties.%Nous présentons dans cet article une étude sur l'évaluation de la couverture de propriétés temporelles par des suites de tests sur des modèles en UML4MBT et 0CL4MBT (des sous-ensembles de UML/OCL) mise en place dans le projet ANR TASCCC. Nous fondons notre approche sur des propriétés temporelles exprimées à l'aide d'un langage ad hoc et inspiré des patrons de propriétés de M. Dwyer et al. Les propriétés dans ce langage possèdent une sémantique à base d'automates. C'est à partir de cette représentation que nous fondons notre évaluation de la couverture de la propriété en introduisant des critères de couverture spécifiques aux automates de propriété.