La specialisation de programmes pour l'aide a la maintenance du logiciel

par SANDRINE BLAZY

Thèse de doctorat en Sciences appliquées

Sous la direction de PHILIPPE FACON.

Soutenue en 1993

à CNAM .

    mots clés mots clés


  • Résumé

    L'objectif de cette these est d'etudier les modeles d'execution de la maintenance du logiciel, de concevoir une methode et un outil d'aide a la comprehension de programmes utilisant en particulier la simplification par specialisation, et de valider les resultats au travers d'exemples issus de reelles applications scientifiques ecrites en fortran. Nous avons utilise l'evaluation partielle (ou specialisation de programmes en fonction de proprietes de leurs donnees d'entree) pour des programmes difficiles a maintenir car trop generaux. A partir d'un programme fortran initial et de valeurs particulieres de certaines de ces donnees d'entree, l'outil fournit -entierement automatiquement- un programme simplifie qui se comporte comme le programme initial pour les valeurs particulieres. Ces programmes sont obtenus en propageant les valeurs constantes et en simplifiant le code. Cette technique aide le mainteneur a comprendre le comportement d'un programme dans un contexte particulier. Concernant son apport scientifique, la technique employee n'est pas nouvelle, mais la maniere dont nous l'avons utilisee (pour l'aide a la comprehension), specifie (en semantique naturelle), prouvee (par induction) et implantee (dans l'environnement centaur) est a notre connaissance originale


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 150 p.
  • Annexes : 114

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 183
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : Th A 183 double
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.