Analyse structurée (ref : Bray chapitre 4.3, 13.1, 14.3)

Présentation au sujet: "Analyse structurée (ref : Bray chapitre 4.3, 13.1, 14.3)"— Transcription de la présentation:

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

2 Étapes de l’analyse structurée
Définir l’objectif 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 IGL301 - Spécification et vérification des exgiences

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

4 IGL301 - Spécification et vérification des exgiences
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 IGL301 - Spécification et vérification des exgiences

5 Exemple de diagramme de contexte
lift button signal sensor motor door floor control system winding indicator 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 IGL301 - Spécification et vérification des exgiences

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

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

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

10 IGL301 - Spécification et vérification des exgiences
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) IGL301 - Spécification et vérification des exgiences

11 IGL301 - Spécification et vérification des exgiences
Exemple de DFD 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 IGL301 - Spécification et vérification des exgiences

13 IGL301 - Spécification et vérification des exgiences
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 := MAX FLOOR; door command := hi | lo; motor command := slow + fast + direction; slow := hi | lo; IGL301 - Spécification et vérification des exgiences