Validation d’interprètes OCL - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance Accéder directement au contenu
Mémoires Année : 2012

Validation d’interprètes OCL

Résumé

The study of the conformity with the standard Ocl of tools Neptune and Topcased allowed to raise two main problems in the standard OCL: on one hand the processingof the values "null", OCL has to work in binary logic (Boolean algebra) as at present or does he have to evolve towards the ternary logic as the language SQL even quaternary or more with the vague logic? On the other hand the problem of the indéterminism of OCL through the requests using relations of order which are not specified as in the asSequence command order (). This study allowed to test tools Neptune and Topcased through campaigns of test by being inspired by the research of M.Gogolla [ GKB08a] and to correct Neptune. Some problems seemed concerning Topcased, in particular on the syntax of "iterate" and the typage of the values. The tests were realized thanks to the tool of test Salome TMF who was processed for that purpose.
L’étude de la conformité à la norme Ocl des outils Neptune et Topcased a permis de soulever deux problèmes principaux dans la norme OCL : d’une part le traitement des valeurs « null », est-ce que OCL doit fonctionner en logique binaire (algèbre de Boole) comme actuellement ou doit-il évoluer vers la logique ternaire comme le langage SQL voire même quaternaire ou plus avec la logique floue ? D’autre part le problème de l’indéterminisme d’OCL au travers des requêtes utilisant des relations d’ordre qui ne sont pas précisées comme dans la commande asSequence(). Cette étude a permis de tester les outils Neptune et Topcased au travers de campagnes de test en s’inspirant de la recherche de M.Gogolla [GKB08a] et de corriger Neptune. Quelques problèmes sont apparu concernant Topcased, notamment sur la syntaxe de « iterate » et le typage des valeurs. Les tests ont été réalisés grâce à l’outil de test Salome TMF qui a été programmé à cet effet.
Fichier principal
Vignette du fichier
2012.TH.18224.ballarin.myriam.pdf (4.65 Mo) Télécharger le fichier
Loading...

Dates et versions

dumas-01081621 , version 1 (10-11-2014)

Identifiants

  • HAL Id : dumas-01081621 , version 1

Citer

Myriam Ballarin. Validation d’interprètes OCL. Système d'exploitation [cs.OS]. 2012. ⟨dumas-01081621⟩
203 Consultations
534 Téléchargements

Partager

Gmail Facebook X LinkedIn More