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 29/4-5 - 2010  - pp.537-569  - doi:10.3166/tsi.29.537-569
TITRE
Construction de tests qualifiés de transformations de modèles

TITLE
Qualified test building for model transformation testing

RÉSUMÉ
Dans l'ingénierie dirigée par les modèles, les modèles sont exploités par les transformations de modèles qui automatisent les étapes du développement. Dans nos recherches, nous contribuons au test de transformations de modèles en proposant des techniques de test adaptées aux caractéristiques et à l'emploi des transformations. Dans cet article de synthèse, nous présentons nos contributions pour la construction de tests qualifiés. Nous proposons plusieurs fonctions d'oracles et qualifions leur emploi selon leur adéquation avec la complexité et la réutilisation d'une transformation. Pour qualifier les tests construits, nous étudions et modélisons les fautes spécifiques aux transformations de modèles. Avec ces fautes spécifiques nous adaptons l'analyse de mutation pour qualifier les modèles de test selon leur pouvoir de détection d'erreurs propres aux transformations. Nous exploitons également ces fautes spécifiques et l'analyse de mutation pour qualifier les oracles des tests. Finalement les informations fournies par l'analyse de mutation permettent la construction de nouveaux tests qui augmentent la qualité de l'ensemble des tests construits.


ABSTRACT
In Model Driven Engineering, models are processed by model transformations that automate development steps leading to a complete executable system. In our research, we make contributions to model transformation testing. In this paper we propose to build qualified tests for model transformations. First, we propose a set of functions to express test oracles for detecting faults in a transformation. We evaluate them regarding the characteristics and reuse of model transformations. Second, we study and model model transformation specific faults. Finally, we adapt mutation analysis to model transformations in order to qualify fault detecting effectiveness of a set of test models. We use mutation analysis to qualify test models and we extend its use to the qualification of test oracles.


AUTEUR(S)
Jean-Marie MOTTU, Benoit BAUDRY, Yves LE TRAON

MOTS-CLÉS
ingénierie dirigée par les modèles, transformation de modèles, test, modèle de test, Oracle, qualification, contrats.

KEYWORDS
model-driven engineering, model transformation, test, test model, Oracle, Qualification, contracts.

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  (744 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier