IGL301 - Spécification et vérification des exgiences 1 Chapitre 1 Introduction (ref : Bray chapitre 1)

Présentation au sujet: "IGL301 - Spécification et vérification des exgiences 1 Chapitre 1 Introduction (ref : Bray chapitre 1)"— Transcription de la présentation:

1 IGL301 - Spécification et vérification des exgiences 1 Chapitre 1 Introduction (ref : Bray chapitre 1)

2 IGL301 - Spécification et vérification des exgiences 2 De limportance de lingénierie des exigences (IE) augmente avec la taille du problème à résoudre fondation pour la suite du développement –plus une erreur est introduite tît et détectée tard, plus elle coûte cher à corriger outil de communication –entre développeur et utilisateur –entre développeur une des premières cause déchec de projet logiciel

3 IGL301 - Spécification et vérification des exgiences 3 La nature de lingénierie des exigences Définir clairement le problème à résoudre Identifier la meilleure solution Critères pour lévaluation des solutions résident dans la définition du problème

4 IGL301 - Spécification et vérification des exgiences 4 Diffilculté de réaliser lingénierie des exigences Acquérir la connaissance du domaine dapplication –sources de connaissance utilisateur documentation du domaine système existant Structurer les exigences pour quelles soient –claires –vérifiables

5 IGL301 - Spécification et vérification des exgiences 5 2 étapes de lIE Analyse –Identification et description du problème Spécification –Description dune solution au problème Conception –Description de limplémentation dune solution –ne fait pas partie de lingénierie des exigences Attention –les frontières entre ces étapes ne sont pas très bien délimitées dans la plupart des projets et des méthodes

6 IGL301 - Spécification et vérification des exgiences 6 Classification des problèmes selon le domaine ou lindustrie –commercial, scientifique, ingénierie, etc selon le mode dinteraction –interactif, temps réel, embarqué, batch, concurrents, distribués complexité des traitements –données –interaction avec lenvironnement –algorithmes complexes et importants

7 IGL301 - Spécification et vérification des exgiences 7 Choix dune méthode dingénierie des exigences dépend de la nature du problème limité par les caractéristiques de léquipe de développement –formation –normes et uniformisation des projets

8 IGL301 - Spécification et vérification des exgiences 8 Définition du terme exigence Une propriété que le système doit satisfaire –ex: Un ascenceur ne peut changer changer de direction que lorsquil est stationné à un étage –ex: Un appel téléphonique doit pouvoir être servi en moins de 12 ms Un service que le système doit offrir –ex: À chaque étage, le systeme doit afficher la position de chaque ascenseur

9 IGL301 - Spécification et vérification des exgiences 9 Types dexigences fonctionnelles de performance de conception commerciale dopération et dinstallation

10 IGL301 - Spécification et vérification des exgiences 10 Distinction entre propriété et service propriété –satisfaite par lensemble des services du système –elle se rapport en général à plusieurs services service –fonction que lutilisateur peut invoquer ou utiliser

11 IGL301 - Spécification et vérification des exgiences 11 Exemples de propriété on ne peut supprimer un livre prêté un membre ne peut avoir plus de 5 emprunts en même temps un livre réservé ne peut être prêté, sauf au premier membres de la liste des réservations

12 IGL301 - Spécification et vérification des exgiences 12 Exemples de services Un membre de la bibliothèque doit pouvoir –emprunter –renouveler –retourner des livres

13 IGL301 - Spécification et vérification des exgiences 13 Distinction entre exigence et fait fait –caractéristique du problème que lon ne peut changer ex: le délai maximal entre la commande darrêt et larrêt de lascenseur est de x secondes exigence –choix qui est fait par lutilisateur ex: maximiser le service aux rez-de-chaussé le matin

14 IGL301 - Spécification et vérification des exgiences 14 Exigences fonctionnelles Elles se rapportent aux fonctions offertes par le système Le niveau dabstraction varie beaucoup –ex: le système doit pouvoir gérer les prêts et les réservations –ex: un membre peut emprunter un livre si toutes les conditions suivantes sont satisfaites sa carte de membre est active il na pas atteint sa limite de prêt le livre nest pas réservé...

15 IGL301 - Spécification et vérification des exgiences 15 Exigences de performance temps réponse du système espace mémoire utilisé nb de transactions par minute fiabilité requise –ex: système téléphonique : le taux de panne est spécifié par le CRTC utilisabilité –ex: le système doit pouvoir être utilisé par un visiteur quelque soit sa langue

16 IGL301 - Spécification et vérification des exgiences 16 Exigences dinstallation et dopération se rapporte à linstallation et à lopération du système –ex: le système doit pouvoir être installé à distance sur le poste des utilisateurs –ex: le système doit pouvoir être contrôlé à distance par un technicien

17 IGL301 - Spécification et vérification des exgiences 17 Exigences de conception se rapporte à la manière de construire le système –système dexploitation –language de programme –base de données –normes

18 IGL301 - Spécification et vérification des exgiences 18 Exigence commerciale se rapporte au budget et au calendrier

19 IGL301 - Spécification et vérification des exgiences 19 Conscensus sur la nécessité deffectuer IB certaines méthodes en vogue accordent peu dimportance à la description explicite des exigences –eXtreme Programming –méthodes agiles en général principes de base des méthodes agiles –adaptation plutôt que prévision –orienté vers les personnes plutôt que les processus –emphase sur la programmation

20 IGL301 - Spécification et vérification des exgiences 20 Exercices Faire les exercices 1 et 2, page 20 et 21 de Bray Présentation des solutions par les équipes en classe le 11 février