IGL301 - Spécification et vérification des exgiences 1 Analyse structurée Analyse structurée...
-
Upload
cornelie-wolff -
Category
Documents
-
view
106 -
download
2
Transcript of IGL301 - Spécification et vérification des exgiences 1 Analyse structurée Analyse structurée...
IGL301 - Spécification et vérification des exgiences
1
Analyse structurée
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
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
buttonsignal
sensorsignal
motorsignal
doorsignal
floor
button
signal
liftcontrolsystem
windingmotor
indicator
sensor
liftbutton
doorfloorbutton
indicatorsignal
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
Exemple de MCDliftshaft
building indicator
set
door
floor
lift
button
floor
button
sensor
indicator
IGL301 - Spécification et vérification des exgiences
8
Exemple de MCD
IGL301 - Spécification et vérification des exgiences
9
Notation MCD
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)
IGL301 - Spécification et vérification des exgiences
11
Exemple de DFDlift
button
floorbutton
monitorrequests
requestqueue
controlindicators
indicatorsensor
doorcontroller
windingmotor
monitorlifts
despatchlifts
liftdata
controllifts
sensorsignals
liftdetail
liftposition
liftdetail
liftstatuslift
detail
liftstatus
request
request
liftbuttonpress
request
requestcancel
doorcommand
motorcommand
floorbuttonpress
indicatorcommand
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
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;