32
Encadré par : Mr Naoufel KRAIM Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR D’INFORMATIQUE INSTITUT SUPERIEUR D’INFORMATIQUE D’EL MANAR D’EL MANAR ***** ***** Département Informatique Département Informatique

Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Embed Size (px)

Citation preview

Page 1: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Encadré par :

Mr Naoufel KRAIM Mr Naoufel KRAIM

Réalisé par:

Monia HABASSI

Maroua BEN HAMZA

Nadia BEN AYED

Rabeb AMARI

23 Novembre 2010

ExposéSujet:

INSTITUT SUPERIEUR D’INFORMATIQUE INSTITUT SUPERIEUR D’INFORMATIQUE D’EL MANAR D’EL MANAR

**********Département InformatiqueDépartement Informatique

Page 2: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

2

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 3: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

3

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 4: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

4

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

SEL : Spécification des exigences logicielles La SEL comporte l’ensemble des exigences logicielles pour une portion ou pour tout le système.

La présente spécification est adoptée pour un projet utilisant une modélisation de cas d’utilisation.

Cet artéfact est un paquetage qui comprend les cas d’utilisation du modèle des cas d’utilisation et les spécifications supplémentaires applicables ainsi que les autres informations pertinentes .

Plusieurs aménagement d’une SEL sont possibles. La norme IEEE830-1998 est la référence pour de plus amples explications ainsi que pour d’autres options d’organisation du document.

Page 5: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

5

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 6: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

6

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Document de spécification d’exigences (1/2)

Décrit clairement les exigences essentielles (fonctions, performance, contraintes de conception, attributs de qualité) du logiciel et de ses interfaces externes et les limites du système

Chaque exigence décrite doit être réalisable et vérifiable objectivement (par inspection, démonstration, analyse, ou test)

Base pour entente contractuelle entre fournisseurs et clients

Élaborée à partir des notes d’élicitation

Page 7: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

7

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Document de spécification d’exigences (2/2)

Les termes utilisés dans ce document sont conformes aux définitions de la norme IEEE 610.12-19905.

Les termes clés sont définis ci-dessous.

contrat : un document juridique exécutoire, sur lequel s’entendent le client et le fournisseur

client : personne ou groupe qui paie le produit et qui (habituellement) en précise les exigences.

le client et le fournisseur peuvent faire partie de la même entreprise.

fournisseur : personne ou groupe qui fournit le produit au client. Le client et le fournisseur peuvent faire partie de la même entreprise.

utilisateur : personne qui utilise le produit ou qui est en interaction avec lui.

Page 8: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

8

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perpectives

Conclusion

Plan

Page 9: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

9

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Exemple de spécification (Bray, 2004) (1/2)

12 cm

Quand le levier d'échange(de commutateur) est déplacé en bas, alors, dans 0.1 secondes, la lampe illumine

Quand le levier d'échange(de commutateur) est donné de l'avancement, alors, dans 0.2 secondes, la lampe sort

Page 10: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

10

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Exemple de spécification (Bray, 2004) (2/2)

Extrait de la spécification des exigences

Il existe plusieurs conceptions alternatives qui pourraient satisfaire ces exigences.

R1:le système fournira l'illumination d'au moins 500 candelaR2: le système ira dans un cube avec la largeur maximale de 15 cmR3: l'illumination peut être allumée et de par un opérateur humainR4: le système répondra à l'apport(la saisie) d'opérateur dans 0.5 secondesR5: le système aura une alimentation électrique incorporée qui devrait être capable de maintenir(d'entretenir) l'illumination continue pendant au moins 4 heuresEtc ......

Page 11: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

11

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 12: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830 12

Norme IEEE 830-1998

830: « IEEE Recommended Practice for Software Requirements Specifications »

Approches recommandées pour la spécification d’exigences pour logiciels

la norme IEEE 830 spécifie une façon standard de présenter les exigences afin de limiter la difficulté à exprimer des besoins flous.

Page 13: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

13

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 14: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

14

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Norme IEEE 83-1998:Objectifs

Aider les clients à décrire le plus clairement

possible ce qu’ils veulent

Aider les fournisseurs à comprendre ce que le

client veut

Aider à définir une table des matières

normalisée pour la spécification des exigences

logicielles (SRS en anglais)

Aider à définir le contenu de chaque chapitre

Aider à préparer des listes de vérification

Page 15: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

15

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 16: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

16

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Norme IEEE 830-1998:Bénéfices attendus

Établir un accord entre client et fournisseur sur ce qu’il faut faire.

Réduire les coûts de développement du logiciel

Fournir une base pour l’évaluation des coûts et de l’échéancier

Fournir une base pour la V&V

Faciliter les transferts vers d’autres services, d’autres gens, etc.

Fournir une base pour les améliorations

Page 17: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

17

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 18: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

18

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Contraintes d’obtention de bons documents d’exigences

Buts du SEL

Environnement du SEL

Caractéristiques d’un bon SEL

Évolution du SEL

Prototypage

Page 19: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

19

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 20: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

20

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Structure d’un document d’exigences (SRS) (1/6)

Introduction

Description générale du produit logiciel

Exigences spécifiques - description détaillée

Informations additionnelles

Page 21: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

introduction Vue d'ensemble de tout le document des exigences

Objectif du document (but et public)

Portée du produit logiciel (identification, explication brève et description du contexte)

Définitions, acronymes et abréviations

Documents de référence (documents, normes et rapports)

Aperçu du document (rescription de l’organisation)

Structure d’un document d’exigences (SRS) (2/6)

21

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Page 22: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Description générale du produit logiciel

Perspective du produit (identification des interfaces logicielles et matérielles du produit)

Vue d'ensemble des fonctionnalités du produit

Caractéristiques des utilisateurs

Contraintes d'ordre général

Hypothèses et dépendances

Répartition des exigences

Structure d’un document d’exigences (SRS) (3/6)

22

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Page 23: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Exigences spécifiques-Description détaillée Modèle environnemental et interfaces externes (description

détaillée des fonctionnalités)

Les diagrammes des cas d'utilisation (les interactions significatives)

Les scénarios de transaction

Écrans d'interface utilisateur

Format des rapports

Description des fonctionnalités (Le modèle structural, Le modèle comportemental)

Structure d’un document d’exigences (SRS) (4/6)

23

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Page 24: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Exigences d'opérations et de performance

(nombre de terminaux, d’utilisateurs, transaction par secondes, quantité d’information)

Exigences logiques de bases de données

( fréquence d’utilisation, taux de croissance et contraintes d’intégrité pour chaque classe)

Contraintes de conception (Nomenclature des données et procédures de comptabilité)

Exigences non-fonctionnelles (fiabilité, disponibilité, sécurité et portabilité)

Structure d’un document d’exigences (SRS) (5/6)

24

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Page 25: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Informations additionnelles

Index

Annexes

Structure d’un document d’exigences (SRS) (6/6)

25

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Page 26: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

26

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspetives

Conclusion

Plan

Page 27: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830 27

Correspondance au niveau générique ( 1/2)

12207: « Software life cycle processes »

Aussi identifié IEEE/EIA 12207

Définit un cadre commun pour les processus de cycle de vie du logiciel

IEEE 830-1998 et IEEE/EIA 12207.1-1997 placent tous deux des exigences sur les documents décrivant les exigences logicielles

Page 28: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

28

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Correspondance au niveau générique (2/2)

Page 29: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

29

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Introduction

Document de spécification d’exigences

Exemple de spécification (Bray, 2004)

Norme IEEE 830Norme IEEE 830-1998: ObjectifsNorme IEEE 830: Bénéfices attendusContraintes d’obtention de bons documents d’exigencesStructure d’un document d’exigences (SRS)

Correspondance au niveau générique

Perspectives

Conclusion

Plan

Page 30: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

30

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Perspectives

Une spécification d’exigences de systèmes doit permettre de réaliser les objectifs de données de cycles de vie stipulés de la norme IEEE/EIA 12207.0-1996.

Page 31: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

31

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

Conclusion

Toute spécification d’exigences de système rédigée à l’aide du présent guide

Une spécification d’exigences de systèmes respecte les exigences de contenu précisées au tableau B.2

Une spécification d’exigences de systèmes est égalememt conforme aux exigences d’une spécification d’exigences de système énoncées dans le tableauIEEE/EIA 12207.1-1997.

Une spécification d’exigences de systèmes doit permettre de réaliser les objectifs de données de cycles de vie stipulés de la norme IEEE/EIA 12207.0-1996.

Page 32: Encadré par : Mr Naoufel KRAIM Réalisé par: Monia HABASSI Maroua BEN HAMZA Nadia BEN AYED Rabeb AMARI 23 Novembre 2010 Exposé Sujet: INSTITUT SUPERIEUR

Merci Pour Votre Merci Pour Votre AttentionAttention

Questions ?Questions ?

32

Exposé sur Les Spécifications textuelles en se basant sur la norme IEEE 830

!!!!!!??????