ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 33/3 - 2014  - pp.231-256  - doi:10.3166/tsi.33.231-256
TITRE
Évaluation de la couverture d’une suite de tests dans le cadre du projet TASCCC

TITLE
Evaluating test suite coverage in the TASCCC project

RÉSUMÉ
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 OCL4MBT (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é.


ABSTRACT
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.


AUTEUR(S)
Kalou CABRERA CASTILLOS

MOTS-CLÉS
test à partir de modèles, patrons de propriétés, critères de couverture, mesure de couverture.

KEYWORDS
model-based testing, property patterns, coverage criteria, coverage evaluation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (711 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier