Test de Transformation de Modèles : Expression d'Oracles

Jean-Marie Mottu 1 Benoit Baudry 1 Yves Le Traon 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : La définition de fonctions d'oracle pour le test de transformation de modèles est compliquée par la complexité des modèles produits par la transformation. En effet, valider l'exactitude d'un modèle de sortie nécessite la vérification d'un grand nombre de ses propriétés structurelles et sémantiques. Dans cet article, nous proposons six fonctions d'oracle que nous évaluons selon deux qualités: le risque d'erreur introduit par l'oracle et la réutilisation de l'oracle.
Type de document :
Communication dans un congrès
4ièmes Journées sur l'Ingénierie Dirigée par les Modèles, 2008, Mulhouse, France, France. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00456503
Contributeur : Didier Vojtisek <>
Soumis le : lundi 15 février 2010 - 11:51:11
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : vendredi 18 juin 2010 - 18:36:30

Fichier

Mottu08b.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00456503, version 1

Citation

Jean-Marie Mottu, Benoit Baudry, Yves Le Traon. Test de Transformation de Modèles : Expression d'Oracles. 4ièmes Journées sur l'Ingénierie Dirigée par les Modèles, 2008, Mulhouse, France, France. 2008. 〈inria-00456503〉

Partager

Métriques

Consultations de la notice

277

Téléchargements de fichiers

118