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;