Oracles et qualification du test de transformations de modèles - TEL - Thèses en ligne
Thèse Année : 2008

Oracles et qualification du test de transformations de modèles

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.
Fichier principal
Vignette du fichier
Mottu08c.pdf (1.26 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00514506 , version 1 (02-09-2010)

Identifiants

  • HAL Id : tel-00514506 , version 1

Citer

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

Partager

More