Localisation de fonctionnalités dans du code avionique

La localisation de l'emplacement où diverses fonctionnalités d'un logiciel sont implémentées au sein du code source peut être utile à la compréhension du programme et pour diverses activités de réingénierie. Dans l'industrie avionique, la réingénierie est un sujet d'actualité puisque plusieurs systèmes logiciels doivent être modernisés. Or, cette réingénierie doit conserver la richesse algorithmique des logiciels existants. Les travaux présentés dans ce mémoire visent donc à appuyer les efforts de réingénierie en avionique via l'utilisation d'une méthodologie de localisation de fonctionnalités à partir de l'analyse statique du code source.

Dans ce mémoire, nous définissons une telle méthodologie, puis l'appliquons sur un système de gestion de vol provenant de l'industrie avionique. Les résultats obtenus sont ensuite interprétés afin de déterminer la distribution des fonctionnalités au sein du code source d'un logiciel.

Bien qu'axé principalement sur les applications de la méthodologie dans le domaine de l'avionique, ce mémoire s'adresse à toute personne ayant une connaissance de base en informatique et un intérêt envers la réingénierie du logiciel.