L'evaluation partielle pour le genie logiciel a objets

• Auteur / Autrice : ULRIK SCHULTZ
• Direction : Charles Consel
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2000
• Etablissement(s) : Rennes 1

Résumé

Les langages a objets facilitent la transformation d'une caracterisation abstraite d'un probleme en une implementation generique construite a partir composants reutilisables. Cependant, un programme a objets peut etre trop general lorsqu'il est utilise pour une situation specifique ; cette generalite est souvent la cause d'une execution inefficace. Pour accroitre les performances, ce programme peut etre adapte afin de ne conserver que les fonctionnalites requises pour une situation specifique. L'evaluation partielle est une technique de specialisation de programmes automatique qui adapte un programme a un contexte d'execution donne. Dans le processus de developpement de logiciels a objets, un programme est developpe en transformant la caracterisation d'un probleme en une implementation generique. L'evaluation partielle represente une etape supplementaire dans la processus de developpement de logiciels a objets : elle transforme une implementation generale en implementation dediee. Notre these etudie l'integration de l'evaluation partielle dans le processus de developpement de logiciels a objets en tant qu'outil de genie logiciel qui configure un programme generique pour le faire fonctionner dans un contexte specifique. Les contributions de ce travail sont les suivantes : - nous identifions des surcouts lies a la programmation a objets pouvant etre elimines grace a l'evaluation partielle ; - nous demontrons comment l'evaluation partielle transforme des logiciels generiques en implementations optimisees et dediees ; - nous ameliorons la previsibilite de l'evaluation partielle au moyen d'un couplage serre entre cette derniere et le processus de developpement de logiciels ; - nous definissons de maniere formelle l'evaluation partielle a objets ; - nous avons concu et developpe un evaluateur partiel complet pour java ; - nous decrivons des experimentations qui illustrent les gains de performances generes par l'evaluation partielle.