Monographie

Réification des contrats d'évolution des logiciels : Mémoire de fin d'étude - Systèmes informatiques et modélisation

Type de contenu

Titre(s)

Réification des contrats d'évolution des logiciels : Mémoire de fin d'étude - Systèmes informatiques et modélisation

Auteur(s)

Autre(s) responsabilité(s)

Editeur, producteur

Description matérielle

Note(s)

Note de thèses et écrits académiques

Résumé ou extrait

Ce projet consiste à concevoir un outil qui permettra de valider des contraintes (exprimées en langage OCL, Object Constraint Language). Ces contraintes portent sur la structure d'un composant logiciel. Elles constituent le contrat d'évolution de ce composant logiciel. Les fonctionnalités de cet outil seront, entre autres, le contrôle lexical et syntaxique des contraintes et l'évaluation de ces contraintes. Une évaluation consiste à vérifier le respect ou non d'une contrainte par le composant concerné lors d'une évolution. Le but final est de contrôler qu'un composant qui vient d'évoluer vérifie toujours son contrat d'évolution. Après un temps d'adaptation consacré à la bonne compréhension du sujet, notre travail s'est orienté sur la recherche et la compréhension d'outils déjà existants. Une fois l'interface graphique finalisée, un travail de programmation a été effectué pour l'optimisation de notre outil. Au final, l'outil réalisé utilise en partie des applications déjà existantes (compilateur OCL Compiler).

Sujet(s)

Lien copié.

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)