Test de Transformation de Modèles : Expression d'Oracles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

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

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.
Fichier principal
Vignette du fichier
Mottu08b.pdf (134.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00456503 , version 1 (15-02-2010)

Identifiants

  • HAL Id : inria-00456503 , version 1

Citer

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. ⟨inria-00456503⟩
124 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More