Deljarry, Florian
(2020).
« Une implémentation de la programmation par contrat en Nit, un langage à objet » Mémoire.
Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.
Fichier(s) associé(s) à ce document :
Résumé
Le paradigme de programmation par contrat, ou plus connu sous le nom de design by contrat™ en anglais, se base sur le concept de contrat pour venir renforcer la fiabilité des systèmes logiciels. L’idée derrière cette méthodologie est de fournir au programmeur un moyen pour définir de façon programmative les obligations des différents éléments du langage telles que les méthodes, interfaces et classes afin de vérifier l’adéquation de l’implémentation envers sa spécification. Ce mémoire fournit une étude de diverses approches d’implémentation (ISE Eiffel, dmd, Code Contracts, Cofoja, AspectJML et OpenJML). Nous abordons ainsi les différentes constituantes de ces implémentations tant sur le plan syntaxique et sémantique que sur la mise en œuvre pour procéder à la vérification, afin d’offrir la prise en charge de la programmation par contrat dans un langage à objet. Nous abordons ensuite une proposition d’implémentation pour le langage à objet Nit. Contrairement aux approches existantes, notre proposition met en œuvre une représentation basée sur l’utilisation de plusieurs points d’entrée. Cette approche permet ainsi de faire coexister plusieurs versions d’une même méthode avec un niveau de vérification différent. Le principal avantage est la possibilité de pouvoir déterminer statiquement la vérification nécessaire pour chaque site d’appel, permettant ainsi de diminuer l’impact dynamique. L’ensemble de nos expérimentations réalisées sur un ensemble de programmes Nit, tendent à montrer que notre proposition offre un coût d’utilisation négligeable comparé à l’évaluation des conditions, environ 4%.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : programmation par contrat, compilation, langage à objet.
| Type: |
Mémoire accepté
|
| Informations complémentaires: |
Fichier numérique reçu et enrichi en format PDF / A. |
|
Directeur de thèse: |
Privat, Jean |
| Mots-clés ou Sujets: |
Programmation par contrat / Langages orientés objet / Compilation (Informatique) / Langage Nit |
| Unité d'appartenance: |
Faculté des sciences > Département d'informatique |
| Déposé par: |
Service des bibliothèques
|
| Date de dépôt: |
05 mai 2021 12:42 |
| Dernière modification: |
05 mai 2021 12:42 |
| Adresse URL : |
http://archipel.uqam.ca/id/eprint/14248 |
RECHERCHER
PARCOURIR
LIBRE ACCÈS
