thesis

Metropol : un outil de mesure statique sur les arbres centaur

Defense date:

Jan. 1, 1991

Edit

Institution:

Paris, CNAM

Disciplines:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Une etude approfondie de la bibliographie consacree aux mesures statiques du logiciel demontre la necessite d'un outil general, tant pour les mesures que pour les langages traites. Avec l'ambition de repondre a ce double objectif, l'outil metropol a ete realise autour de l'editeur syntaxique centaur. Les algorithmes de mesure sont appliques aux arbres syntaxiques, et sont definis dans un metalangage specialise, qui se prete aux syntheses d'attributs, grace a un puissant mecanisme de filtrage associatif. Nous commentons des exemples d'implementation pour des langages reels, qui utilisent un gestionnaire de graphes generique, assorti d'algorithmes de dessin originaux. Une description detaillee des strategies de complication du filtrage, ainsi que des interfaces utilisateur, termine le corps de ce memoire. Les outils realises grace a cette technologie sont actuellement commercialises. On a entrepris de les etendre a la mesure dynamique, de les integrer dans l'atelier de developpement concerto, et des resultats partiels sont mis en pratique pour le developpement d'autres applications informatiques