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.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français
Liste complète des métadonnées

Littérature citée [96 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00514506
Contributeur : Loïc Lesage <>
Soumis le : jeudi 2 septembre 2010 - 16:21:56
Dernière modification le : mardi 4 décembre 2018 - 10:18:08
Document(s) archivé(s) le : vendredi 3 décembre 2010 - 02:48:07

Fichier

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

426

Téléchargements de fichiers

593