Thèse soutenue

Analyse de la propagation basée sur les graphes logiciels et les données synthétiques

FR  |  
EN
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

FR  |  
EN

Mots clés contrôlés

Mots clés libres

Résumé

FR  |  
EN

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.