Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Chapitre 3 qualites et tests du logiciel 2 1

Cours Qualités et tests du logiciel Chapitre Conception par contrat en OCL Mourad Kmimech mkmimech gmail com Introduction Contraintes UML sur les associations sans utiliser OCL Les contraintes prédéfinies souvent utilisées ordonné sous ensemble xor addOnly frozen Introduction Contraintes UML sur les associations sans utiliser OCL Introduction Contraintes UML sur les associations sans utiliser OCL Introduction Contraintes UML sur les associations sans utiliser OCL Introduction Contraintes UML sur les associations sans utiliser OCL Introduction Contraintes UML sur les associations sans utiliser OCL Contraintes UML sur les associations sans utiliser OCL UML propose des contraintes mais ces contraintes reste insuffisante Solution OCL Object Constraint Language Introduction Généralité sur OCL OCL Object Constraint Language en français un langage de contraintes Orienté Objet définit initialement en par IBM Firme international en Informatique côté hardware et Software a été adapté par OMG Object Management Group La dernière version d ? OCL connue sous le nom d ? OCL date depuis OMG joue un rôle liée à la normalisation de la technologie objet Cycle de vie Généralité sur OCL OCL est un langage de modélisation ou de spécification permettant de détecter le plus tôt possible des erreurs dans le cycle de vie du logiciel Cycle de vie du logiciel Analyse Cahier des charges Spécification Conception Langage de modélisation UML OCL implémentation Langage de programmation C Java Eiffel utilisation test Est-ce que le produit ou le programme fait le travail demandé Introduction Généralité sur OCL n Deux utilisations possibles du langage OCL n Pour la conception par contrats n Pour la manipulation des bases de données c'est-à-dire en tant que le langage de requêtes des BDR SGBDR n SQL Structured Query Language Introduction Pourquoi OCL n Exemple d'application n Application banquaire n Des comptes banquaires n Des clients n Des banques n Spécification n Un compte doit avoir un solde toujours positif n Un client peut posséder plusieurs comptes n Un client peut être client de plusieurs banques n Un client d'une banque possède au moins un compte dans cette banque n Une banque gère plusieurs comptes n Une banque possède plusieurs clients Introduction Pourquoi OCL Introduction Pourquoi OCL n Manque de précision n Le diagramme de classe ne permet pas d'exprimer tout ce qui est défini dans la spécification informelle n Exemple n Le solde d'un compte doit toujours être positif ajout d'une contrainte sur cet attribut n Le diagramme de classe permet-il de détailler toutes les contraintes sur les relations entre les classes Introduction Pourquoi OCL Diagrammes UML insuffisants n Pour spécifier complètement une application n Diagrammes UML seuls sont généralement insuffisants n Nécessité de rajouter des contraintes n Comment exprimer ces contraintes n Langue naturelle mais manque de précision compréhension pouvant être ambigüe n Langage formel avec sémantique précise par exemple OCL n OCL Object Constraint Language n Langage de contraintes orienté-objet n Langage formel mais simple à utiliser avec une syntaxe une grammaire une sémantique manipulable par un outil n S'applique entre autres sur les diagrammes UML Introduction Pourquoi OCL Diagramme d'instances