| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
https://hal.inria.fr/inria-00456503
Contributor : Didier Vojtisek <>
Submitted on : Monday, February 15, 2010 - 11:51:11 AM
Last modification on : Friday, July 10, 2020 - 4:12:03 PM
Document(s) archivé(s) le : Friday, June 18, 2010 - 6:36:30 PM
Contributor : Didier Vojtisek <>
Submitted on : Monday, February 15, 2010 - 11:51:11 AM
Last modification on : Friday, July 10, 2020 - 4:12:03 PM
Document(s) archivé(s) le : Friday, June 18, 2010 - 6:36:30 PM
File
Mottu08b.pdf
Files produced by the author(s)