Analyse de la propagation basée sur les graphes logiciels et les données synthétiques
Auteur / Autrice : | Vincenzo Musco |
Direction : | Philippe Preux |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance le 03/11/2016 |
Etablissement(s) : | Lille 3 |
Ecole(s) doctorale(s) : | École doctorale Sciences pour l'ingénieur (Lille) |
Partenaire(s) de recherche : | Laboratoire : Centre de Recherche en Informatique, Signal et Automatique de Lille |
Jury : | Président / Présidente : Pascale Kuntz-Cosperec |
Examinateurs / Examinatrices : Philippe Preux, Pascale Kuntz-Cosperec, Jean-Rémy Falleri, Pascal Poizat, Martin Monperrus | |
Rapporteurs / Rapporteuses : Jean-Rémy Falleri, Pascal Poizat |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Les programmes sont partout dans notre vie quotidienne : les ordinateurs et les téléphones, mais aussi les frigo, les avions et ainsi de suite. L'acteur principal dans la création de ces programmes est humain les êtres. Aussi minutie qu'ils peuvent être, les humains sont connus pour faire des erreurs involontaires sans leur conscience. Ainsi, une fois une phase déjà difficile d'écriture d'un programme, ils doivent faire face à la phase de maintenance sur laquelle ils doivent faire face aux erreurs qu'ils ont eu précédemment réalisé. Toute la durée de leur tâche de développement, les développeurs doivent faire face continuellement leurs erreurs (ou leurs collègues). Cette observation clé soulève la nécessité d'aider les développeurs dans leurs tâches de développement / maintenance.