La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

IGL301 - Spécification et vérification des exgiences 1 Analyse structurée Analyse structurée (ref : Bray chapitre 4.3, 13.1, 14.3)

Présentations similaires


Présentation au sujet: "IGL301 - Spécification et vérification des exgiences 1 Analyse structurée Analyse structurée (ref : Bray chapitre 4.3, 13.1, 14.3)"— Transcription de la présentation:

1 IGL301 - Spécification et vérification des exgiences 1 Analyse structurée Analyse structurée (ref : Bray chapitre 4.3, 13.1, 14.3)

2 IGL301 - Spécification et vérification des exgiences 2 Étapes de lanalyse structurée Définir lobjectif du système Faire le diagramme de contexte Faire le modèle conceptuel de données Faire le modèle des fonctions (diagramme de flux de données) Faire le dictionnaire de données

3 IGL301 - Spécification et vérification des exgiences 3 Ingénierie des exigences et analyse structurée lanalyse structurée comprend à la fois lanalyse du problème et sa spécification souhaitable dajouter des sections –caractéristiques du problème –exigence (requirements)

4 IGL301 - Spécification et vérification des exgiences 4 Diagramme de contexte Montre les entités externes (acteurs) et leurs interactions (données échangées) avec le système à modéliser Entités externes –utilisateur –autre système –appareil

5 IGL301 - Spécification et vérification des exgiences 5 Exemple de diagramme de contexte lift button signal sensor signal motor signal door signal floor button signal lift control system winding motor indicator sensor lift button door floor button indicator signal

6 IGL301 - Spécification et vérification des exgiences 6 Modèle conceptuel de données (MCD) Décrit les entités et leurs relations Plusieurs notations disponibles –diagramme de classes –diagramme entité-relation de Chen plusieurs variantes

7 IGL301 - Spécification et vérification des exgiences 7 Exemple de MCD lift shaft building indicator set door floor lift button floor button sensor indicator

8 IGL301 - Spécification et vérification des exgiences 8 Exemple de MCD

9 IGL301 - Spécification et vérification des exgiences 9 Notation MCD

10 IGL301 - Spécification et vérification des exgiences 10 Modèle des fonctions Utilise des diagrammes de flux de données –plusieurs variantes de notation (Gane & Sarson, Yourdon, SSADM) Décomposition hiérarchique des fonctions Illustre pour chaque fonction –les entrées et les sorties et leurs origines et destinations (entité externe, dépôt de données)

11 IGL301 - Spécification et vérification des exgiences 11 Exemple de DFD

12 IGL301 - Spécification et vérification des exgiences 12 Dictionnaire de données décrit –flux –entité externe –dépôt –fonctions (pseudo-code) notation : voir page 326, 328 tableaux 14.1, 14.2

13 IGL301 - Spécification et vérification des exgiences 13 DD - Exemple Data Dictionary (not complete !) lift button press :=hi | lo; floor button press :=hi | lo; request :=lift request | floor request; lift request :=lift id + floor id floor request :=floor id + direction; lift detail:=lift status + lift position; lift status:=idle | approaching floor | stopping; lift position:=floor id; floor id:=0.. MAX FLOOR; door command:=hi | lo; motor command:=slow + fast + direction; slow:=hi | lo;


Télécharger ppt "IGL301 - Spécification et vérification des exgiences 1 Analyse structurée Analyse structurée (ref : Bray chapitre 4.3, 13.1, 14.3)"

Présentations similaires


Annonces Google