Oracles et qualification du test de transformations de modèles

Jean-Marie Mottu 1, 2
2 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é : Dans l'Ingénierie Dirigée par les Modèles, les modèles sont des éléments productifs pour le développement logiciel. Ils sont exploités par les transformations de modèles qui automatisent les étapes du développement. Dans nos travaux de thèse, nous contribuons au test de transformations de modèles en étudiant cette problématique et en proposant des techniques de test adaptées aux caractéristiques et à l'emploi des transformations. 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 proposons des fonctions d'oracles et évaluons leur adéquation avec la complexité et la réutilisation d'une transformation. Enfin, nous exploitons nos travaux dans l'étude d'une méthode de développement de composants de confiance de transformation et nous proposons des outils permettant la mise en oeuvre et l'expérimentation de nos travaux et d'autres recherches sur le test de transformations de modèles.
Document type :
Theses
Complete list of metadatas

Cited literature [96 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00514506
Contributor : Loïc Lesage <>
Submitted on : Thursday, September 2, 2010 - 4:21:56 PM
Last modification on : Tuesday, December 4, 2018 - 10:18:08 AM
Long-term archiving on : Friday, December 3, 2010 - 2:48:07 AM

Identifiers

  • HAL Id : tel-00514506, version 1

Citation

Jean-Marie Mottu. Oracles et qualification du test de transformations de modèles. Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français. ⟨tel-00514506⟩

Share

Metrics

Record views

439

Files downloads

597