gestion de projets logiciels chapitre 1: introduction prof. sahnoun zaidi université mentouri de...

61
Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

Upload: devereux-berger

Post on 03-Apr-2015

113 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

Gestion de Projets Logiciels

Chapitre 1: Introduction

Prof. SAHNOUN Zaidi

Université Mentouri de Constantine

Laboratoire Informatique Répartie

(LIRE)

Page 2: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

2

CRISE DU LOGICIELS

PROBLEMES: Développer des Logiciels Maintenir les Logiciels existants Répondre aux Besoins

Manifestations: Planning et Coûts estimés souvent erronés Productivité Qualité Clients non satisfais Logiciels existants difficiles à Maintenir

Page 3: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

3

Génie Logiciel

Fonder sur des Bases Théoriques Ensembles de Méthodes et Outils Valider par la pratique Pour développer des Logiciels

Définir des techniques de fabrications justifiées soit par la théorie soit par la pratique

Page 4: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

4

Définition du G.L

Etablissement et utilisation de principes en vue d’obtention des logiciels à Moindre Coûts, qui sont Fiables, et qui fonctionnent efficacement sur des machines réelles

Fritz Bauer

Page 5: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

5

Méthodes Plans et Estimation du Logiciel Analyse des Besoins Conception Code Test Maintenance

Page 6: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

6

Outils Supports Automatiques ou Semi automatiques

pour supporter les méthodes

Ex: Outils CASE

Page 7: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

Principales étapes d ’un processus de

développement

Page 8: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

8

Schématiquement ...

Analyse des besoins Spécifications

Conception

Test Validation

Maintenance

Implantationcodage

Analyse métiers

Page 9: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

9

Etapes du processus de développement

Spécification (Expression des besoins et Analyse)établissement du cahier des charges et des

contraintes du système Conception

Production d’un modèle du système final en cohérence avec les choix d’architecture

Implantation (Codage) Réalisation du système

Page 10: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

10

Etapes du processus de développement

Test (Validation)vérification de l’adéquation entre les propriétés du

système et la description des besoins Déploiement (Installation)

Livraison du système au client et vérification de son fonctionnement

Maintenance Réparation des fautes du système Enrichissement avec de nouvelles fonctionnalités

Page 11: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

11

Analyse des besoins : Etape cruciale

Client Vague idée des requis Requis instables !

Equipe de développement Commencer sans rentrer

dans les détails Erreurs potentiels de

spécification et par conséquent de développement

Se mettre d’accord au plus tôt

Page 12: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

12

Analyse des besoins

Travailler avec le client pour extraire (définir) les besoins globaux au niveau du produit

Construire un modèle d’analyse en définissant : les données, les fonctions, le comportement

Prototyper les aspects incertains (zones d’ombre) Développer une spécification qui guidera le design Réaliser des revues techniques formelles

Page 13: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

13

Processus d’analyse

Activité à modéliser

Définition des besoins

Prototypage

Modèle d’analyse

Revue

Page 14: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

14

Modèle d’analyse Modéliser le domaine d’information

définir et représenter les données et leurs relations Modéliser le domaine de la fonctionnalité

identifier les fonctions qui transforment les données Modéliser le comportement

indiquer les différents états du système spécifier les événements qui engendrent des

changements d’état Partitionner le modèle

Raffiner chacun des modèles

Page 15: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

15

Prototypage rapide

Définition Un prototype est un modèle opérationnel

fonctionnellement équivalent à un sous-ensemble du produit

Intérêt Donner rapidement au client une compréhension

et un aperçu sur le produit à développer Différents type de prototype

Maquette, Simulateur,Modèle opérationnel Un prototype est fait pour être changé

Page 16: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

16

Conception

Spécifications

Architecture

ConceptionProjection des spécifications

sur une architecture

Exemples d’architectures (cf. cours Architecture) Architecture en couchesClient / Serveur (très répandu)Client léger (via un browser)Peer to Peer (utilisation très limitée pour l’instant)

Page 17: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

17

Conception : choix techniques

Objectifs liés à la conception Réduction de coûts de développement et de maintenances

Réutilisation : objets, composants, frameworks, etc

Page 18: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

18

Implantation

Différents types de programmation Fonctionnelle Impérative Objet Logique / robot

Différents langages de programmation Lisp, Caml C, ADA, .. Java ou C++ Prolog / AOP

Page 19: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

19

Validation

Objectifs : Déterminisme et sûreté de fonctionnement

Preuves formelles, heuristiques. Exemple

L'explosion d'Ariane 5, le 4 juin 1996, qui a coûté un demi milliard de dollars

Cause : une faute logicielle d'une composante dont le fonctionnement n'était pas indispensable durant le vol.

Page 20: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

20

Validation

Test de vérification Vérification de la robustesse et de la cohérence

du système en particulier dans les cas d ’exceptions (générateurs de tests)

Différentes méthodes de validation Recette

Validation client : satisfaction des besoins clients

Page 21: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

21

Maintenance Une enquête effectuée aux USA en 1986 auprès de 55

entreprises a révélé que 53% du budget total d'un logiciel est affecté à la maintenance.

Coût de maintenance réparti comme suit : 34% maintenance évolutive : modification des spécifications

initiales ; 10% maintenance adaptative : nouvel environnement,

nouveaux utilisateurs ; 17% maintenance corrective : correction des bogues ; 16% maintenance perfective : améliorer les performance

sans changer les spécifications ; 6% assistance aux utilisateurs ; 6% contrôle qualité ; 7% organisation/suivi ; 4% divers.

Page 22: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

22

Maintenance (suite) La maintenance s'explique par :

l'augmentation de la complexité des logiciels la montée en puissance des performances du matériel.

Deux types de maintenance corrections demandes d ’évolution

Page 23: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

Modèles du Processus Logiciel

Page 24: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

24

Processus Logiciel

Ensemble d’activités et de résultats associés qui produisent un logiciel

Différents Processus décomposent ces activités de manières différentes

Complexités du Processus logiciel: Font intervenir plusieurs activités Choix d’un processus de développement dépend des

caractéristiques du produit et du contexte de développement

Page 25: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

25

Modèles du Processus Logiciel

Nécessité d’avoir des modèles de développements généraux qui décrivent les enchaînements et les interactions entre les activités: Modèles du Processus Logiciels

Modèle du Processus Logiciel: Méthodes, Outils, autres Modalités associés à chacune des activités

Page 26: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

26

Objectifs des MPL

Obtenir des Processus de Développement Rationnels, Reproductibles, et Contrôlables

Notion de Maturité du Processus de Développement a été définie par SEI (Software Engineering Institute)

Page 27: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

27

Les Processus sont classés selon 5 niveaux: Initial: processus chaotique Reproductible: processus artisanal Défini: processus bien suivi d’une manière

qualitative Géré: processus contrôlable et mesuré Optimisé

Page 28: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

28

1- Modèles Séquentiels

Etapes (ou Phases): une étape se termine par la production de documents qui sont vérifiés et validés avant de passer à l’étape suivante

Programmer et traquer les erreurs v

Page 29: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

29

FAISABILITE

ANALYSE DES BESOINS PLANIFICATION

CONCEPTION

PRELIMINAIRE

CONCEPTION DETAILLEE

CODAGE

INTEGRATION

INSTALLATION

EXPLOITATION MAINTENANCE

Page 30: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

30

Les flèches descendantes matérialisent l’enchaînement des étapes (version initiale pas de retour arrière)

Les flèches ascendantes expriment le fait qu’une étape ne remet en cause que l’étape précédente (Version actuelle)

Les versions actuelles font apparaître les validation et vérification dans chaque étape.

Page 31: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

31

AVANTAGES

Plus on avance dans les étapes, moins il devrait avoir de risque. On avance donc par pas.

L'avantage de ce modèle est que chaque phase est finie, elle est donc gérable tant au niveau du temps que des ressources.

Le code est créé assez tardivement, il y a donc une bonne compréhension du système.

Page 32: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

32

INCONVENIENTS

Au niveau des inconvénients, on peut noter que ce modèle ne représente pas la réalité.

Il est possible de revenir en arrière, car des erreurs ont été découvertes,

car on doit créer des tests ce qui implique du code. Il y a des risques de découvrir des erreurs qu'a la fin et qui nécessiteront de refaire toutes les étapes.

L'ajout de nouvelle exigence implique qu'il faille refaire toutes les étapes.

Plus un problème ou un changement doit être fait tard, plus il coûtera cher.

Page 33: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

33

Ce modèle est encore très utilisé, mais a été revu dans sa version initiale. Dans la nouvelle version, il est possible de revenir en arrière et des prototypes sont créé à chaque phase. Il est ainsi dans cette nouvelle version, plus près de la réalité.

Modèle approprié lorsque les besoins sont bien identifiés

Page 34: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

34

2- Modèles Evolutifs ou Graduels

Développer une implémentation initiale, l’exposer à l’utilisateur et raffiner à travers plusieurs versions

Les activités de spécification, développement et validation sont menées d’une manière concurrente

Deux approches

Page 35: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

35

Spécification

Développement

Validation

Version Initiale

Version Finale

Description Générale

Version Intermédiaire

Activités Concurrentes

Page 36: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

36

Besoins Généraux

Prototypage Exploratoire

(Evolutif)

Prototypage Jetable

Systèmes Délivrés

Prototype Exécutable

+

Spécification du Système

OBJECTIF: Livraison du Système aux Utilisateurs

OBJECTIF: Valider ou Obtenir les Besoins du Système

Page 37: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

37

2-1: Développement Exploratoires

Débuter par les parties du système qui sont comprises et évoluer en ajoutant les nouvelles caractéristiques

Objectif: développer le système d’une manière évolutive

Page 38: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

38

Utiliser le PrototypeConstruire un prototype du système

Livrer le Système

Développer une Spécification Abstraite

Prototypage Exploratoire(Evolutif)

Système Approprié?

NON

OUI

Page 39: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

39

2-2: Prototypes Jetables

Comprendre les besoins de l’utilisateur et mieux cerner les besoins du système.

Se concentrer sur l’expérimentation des besoins mal compris et mal définis par l’utilisateur

Objectif: Spécification du système

Page 40: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

40

Etablir une Spécification Abstraite

Développer Prototype

Evaluer le Prototype

Spécifier le Système

Délivrer le Système Valider le SystèmeDévelopper le Système

Réutiliser des Composants

Prototype Jetable

Page 41: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

41

Avantages, Inconvénients

Modèle efficace pour produire des systèmes qui répondent aux besoins immédiats.

Les spécifications peuvent être développées d’une manière incrémentale au fur et à mesure que l’utilisateur à une meilleure compréhension de son problème

Non visibilité car on produit des documents pour chaque version

Pauvre structuration Nécessité d’avoir des outils et des techniques

Page 42: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

42

Approche graduelle appropriée pour des systèmes de petites tailles (100,000 LOC) ou de tailles moyennes (jusqu’à 500,000 LOC)

Pour des systèmes plus larges, combiner les deux approches: Développer un prototype jetable pour résoudre les

incertitudes dans les spécifications Ré implémenter ce système en utilisant une

approche plus structurée Exemple: développer les parties bien comprises

par une approche séquentielle et développer les autres parties (interfaces avec les utilisateurs) par une approche exploratoire.

Page 43: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

43

2-3: Développement Incrémental(Mills 1980)

Spécification, Conception et Implémentation sont divisées et coupées en plusieurs séries d’incréments qui sont développer au fur et à mesure (spécification partie du contrat?)

Développer les besoins et délivrer le système d’une manière incrémentale

Donner des opportunités aux clients de reporter les détails de leurs besoins (avoir une certaine expérience avec le système)

Page 44: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

44

L’utilisateur identifie une descriptions des services à fournir par le système (en commençant par ceux qui sont les plus importants)

Un nombre d’incréments à développer sont définis. Chaque incrément doit répondre à un sous-ensemble de fonctionnalités du système.

Les services prioritaires sont développés en premier au client.

Page 45: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

45

1er Incrément: les services sont définis et l’incrément sera développé en utilisant un processus de développement approprié

Durant ce temps, l’analyse des besoins des autres incréments peut s’effectuer sans changer l’incrément en cours de développement

Une fois l’incrément en cours est complété et délivré, les utilisateurs peuvent l’utiliser pour expérimentation (clarifier les besoins des autres incréments)

Lorsque des incréments sont complétés, ils seront intégrer aux incréments existants (amélioration du système à chaque addition de nouveaux incréments)

Page 46: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

46

Avantages

On n’est pas obligé d’utiliser le même processus pour tous les incréments (utiliser le modèle séquentiel pour les spécifications bien définies et les approches évolutives pour les spécifications mal définies)

L’utilisateur n’attend pas jusqu’à la fin Utiliser l’incrément comme prototype Risque réduit Priorité aux services importants (plus testés)

Page 47: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

47

Modèle utilisé dans le clean room process Approche « Programmation Extrême »: les

incréments sont de fonctionnalités très réduites (Beck 1999)

Page 48: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

48

1ere Description des Besoins

Affecter les besoins aux Incréments

Architecture et Conception du

Système

Valider l’Incrément Développer l’Incrément du

Système

Intégrer l’Incrément Valider le Système

Non Complet

Complet

Système Final

Page 49: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

49

Page 50: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

50

2-4: Modèle en V

Le principe de ce modèle, est que chaque étape de décomposition du système possède une phase de test.

Chaque phase du projet à une phase de test qui lui est associé.

Beaucoup de tests sont ainsi créés, ce qui implique une réflexion.

Page 51: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

51

On sait progressivement si on s'approche de ce que le client désire.

Ce modèle est convenable pour les projets complexes.

C'est un modèle dérivé du modèle en cascade.

Page 52: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

52

Page 53: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

53

2-5 Modèle en spirale

Ce modèle est plus récent, il date du milieu des années 80.

L'emphase de ce modèle et mise sur la réduction des risques.

Ce modèle est adapté pour les gros projets complexes.

Les risques sont sans cesse évalués à chaque cycle.

Page 54: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

54

Un cycle est décomposé en étapes.Analyse préliminaire pour le premier

cycle, pour les autres cycles, on détermine les objectifs, contrainte à partir du résultat du cycle antérieur.

Analyse des risques, création de prototype

Développement et test Planification du cycle suivant

Page 55: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

55

Les prototypes créés à chaque cycle permettent de réduire les risques et de guider la conception pour obtenir un système qui répond au besoin du client.

Chaque cycle de la spirale fait en sorte que le système est de plus en plus complet.

Page 56: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

56

Page 57: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

57

3- Approche Formelle

Produire des spécifications formelles par transformation en utilisant des méthodes mathématiques pour aboutir à un programme (préservation de la correction).

Page 58: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

58

Définition

Des Besoins

Spécification

Formelle

Transformation

Formelle

Intégration et

Test du Système

Page 59: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

59

Spécification

Formelle

R1

P1

R2 R3 Programme Exécutable

P3 P4P2

T1 T2 T3 T4

(Preuve)Exemple: Clean Room Process

Application de la Méthode B

Page 60: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

60

Suppose l’existence des paries du systèmes Processus de développement consiste à

intégrer ces parties

4- Approche Basée Composants

Page 61: Gestion de Projets Logiciels Chapitre 1: Introduction Prof. SAHNOUN Zaidi Université Mentouri de Constantine Laboratoire Informatique Répartie (LIRE)

61

Spécification des BesoinsAnalyse du Composant Modification des Besoins

Conception avec Réutilisations

Développement etIntégration

Validation du Système