• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Génie
  • Génie – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Génie
  • Génie – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

Contrarius : Générateur d'Aspects servant à valider le respect de contrats OCL

Thumbnail
View/Open
durocher_pascal_MScA_2007.pdf (48.66Mb)
Publication date
2007
Author(s)
Durocher, Pascal
Show full document record
Abstract
Dans le domaine du génie logiciel, le principe de la programmation par contrat (PpC) a été nommé pour la première fois et popularisé par Bertrand Meyer. Il a proposé d'ajouter un contrat précis à un module afin de le documenter correctement. Ce contrat ajoute des précisions qu'une simple signature de méthode ou qu'un commentaire ne peuvent apporter. L'UML est un langage de modélisation de systèmes orientés-objet. L'UML étant principalement un langage de modélisation graphique, il est difficile (parfois impossible) de préciser certains détails d'un système. Le langage de spécification formelle OCL, qui est intimement lié à l'UML, permet d'ajouter ces précisions. La programmation orientée-aspect (POA) est un paradigme relativement nouveau (environ 10 ans) qui a pour prétention d'encapsuler les propriétés d'un système informatique qui ne peuvent pas être encapsulées correctement par la programmation orientée-objet (POO). Grâce à la POA, il est possible, entre autres, d'intercepter des messages envoyés entre objets et d'appliquer un traitement avant ou après cette émission. Ce mémoire présente le projet Contrarius . Ce projet incorpore le concept de la PpC au langage Java, en faisant usage du langage OCL afin d'exprimer les contrats et du langage AspectJ (un langage orienté-aspect) pour effectuer la vérification du respect des contrats lors de l'exécution d'un programme. Nous expliquons ce qu'est la PpC et le besoin qu'elle comble, ce que sont les langages de spécifications formelles, le langage OCL, le paradigme de la POA, le langage AspectJ, l'architecture de Contrarius et présentons une courte analyse des projets similaires.
URI
http://savoirs.usherbrooke.ca/handle/11143/1425
Collection
  • Génie – Mémoires [2084]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback