Mémoires de Fin d’Etudes
Etablissement
Université de Batna 2 - Mustafa Ben Boulaid
Affiliation
Département de Mathématique
Auteur
WAHAB, Rouagat
Directeur de thèse
Dr. Alloua CHAOUI (Maitre de conférence)
Co-directeur
Dr. Tewfik ZIADI (Maitre de conférence)
Filière
Informatique
Diplôme
Doctorat
Titre
Combiner l’analyse dynamique et statique pour l’inférence des modèles comportementaux
Mots clés
modèles comportementaux,reverse engineering, analyse dynamique, analyse statique
Résumé
Ce sujet de thèse se positionne dans la suite des travaux que nous avons réalisé durant la préparation de magistère. En effet, on a proposé une approche permettant le reverse engineering des diagrammes de séquence d’UML en utilisant l’analyse dynamique des traces d’exécution. L’approche qui a été proposée durant le magistère présente plusieurs limites liées en particulier à l’utilisation des heuristiques de fusion des traces qui ne sont pas formalisés et qui ne s’appuient pas sur un modèle formelle claire. Nous proposons dans cette thèse de doctorat de revisiter ce problème de reverse engineering des modèles comportementaux en prenant en compte trois points principaux: 1. Etudier la possibilité d’intégrer la théorie de graphes pour formaliser la fusion des traces d’exécution. 2. Utiliser l’analyse statique comme un moyen pour améliorer la qualité des modèles comportementaux 3. Jusqu’à maintenant nous nous sommes intéressés seulement à la reverse engineering des diagrammes de séquence. L’objectif de la thèse de doctorat est d’explorer comment on peut obtenir les autres types de modèles comportementalisme comme les diagrammes Etat/transition et les diagrammes activités.
Statut
Signalé