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

É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

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

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

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

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

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

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

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

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

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

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

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