Langues : English français
Accueil > Manifestations > Thèses et HDR > Thèses > Olivier Finot

Olivier Finot

Directeur de thèse

Christian Attiogbé
Jean-Marie Mottu
Gerson Sunyé

Résumé

L’Ingénierie Dirigée par les Modèles place les modèles au cœur du cycle
de développement logiciel. Ces modèles évoluent par le biais de diverses transformations.
Dans cette thèse nous nous sommes intéressés à la validation de ces transformations de modèles par le test, et en particulier à l’oracle de ce test. Nous proposons deux approches pour assister le testeur dans la création de ces oracles. Tout d’abord, nous offrons une assistance passive en fournissant au testeur une nouvelle fonction d’oracle. Cette dernière lui permet de créer des oracles qui ne contrôlent qu’une partie des modèles obtenus. Nous avons défini la notion de verdict partiel, explicité les situations où un verdict partiel est plus avantageux et proposé un protocole global du test de transformations dans ce contexte. Nous avons mis en œuvre cette première proposition dans un outillage avec lequel nous l’avons expérimentée.
Ensuite, nous offrons au testeur une assistance active en étudiant la qualité d’un ensemble d’oracles. Nous considérons la qualité d’un ensemble d’oracles selon sa capacité à détecter des fautes dans la transformation sous test. Nous proposons une méthode qui corrige en partie les insuffisances de l’analyse de mutation, utilisée dans ce contexte ; nous mesurons la couverture
du méta-modèle de sortie par l’ensemble d’oracles considéré. Nous montrons que notre approche est indépendante du langage utilisé pour la mise en œuvre de la transformation sous test, et fournit au testeur des informations pour l’amélioration des oracles. Nous avons défini une démarche pour mesurer la couverture et qualifier des oracles. Nous avons développé un outil pour
expérimenter et valider notre proposition.
Mots-clés : Ingénierie Dirigée par les Modèles, Transformations de modèles, Oracle, Qualification

Composition du jury

  • Slimane HAMMOUDI, Maître de conférences, HDR, ESEO Angers, Rapporteur
  • Christian PERCEBOIS, Professeur des universités, Université Paul SABATIER, Toulouse, Rapporteur
  • Antoine BEUGNARD, Professeur, TELECOM Bretagne, Examinateur
  • Christian ATTIOGBE, Professeur des universités, Université de Nantes, Directeur de thèse
  • Jean-Marie MOTTU, Maître de conférences, Université de Nantes, Co-encadrant de thèse
  • Gerson SUNYE, Maître de conférences, Université de Nantes, Co-encadrant de thèse

Dernière modification : jeudi 6 février 2014