Test de Transformation de Modèles : Expression d'Oracles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : inria-00456503 , version 1

Cite

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 View
75 Download

Share

Gmail Facebook X LinkedIn More