Académique Documents
Professionnel Documents
Culture Documents
Chapitre 2, Section 2
« Analyse et spécification: méthodes et
techniques »
• Schémas
• Langages formels
• Spécifications souvent
incompréhensibles pour les
non initiés.
L’environnement physique
Les interfaces
Les humains et utilisateurs
Les fonctionnalités
La documentation
Les données
Les ressources
La sécurité
L’assurance de la qualité
Détermination
Cahier
des validation & Gestion des
besoins négociation des besoins charges
(«elicitation»)
A // B ou A;B
Chap.2, Sect.2, p.9
Processus d’analyse des besoins
Expression des besoins
Participants:
analyste, client et utilisateurs.
Document: cahier des charges
Rédigé par: le client en collaboration avec l’analyste.
En langue naturelle.
Découpage: en paragraphes exprimant clairement les buts,
les besoins et les contraintes.
Spécification de besoins
Participants:
analyste
Document: dossier d’analyse et de spécification
Rédigé par: l’analyste.
Notation graphique ou textuelle rigoureuse.
Découpage: modèles statique, fonctionnel et
comportemental.
1. Détermination
4. Cahier
des 2. Validation & 3. Gestion des
besoins négociation des besoins charges
(« elicitation »)
Détermination
Cahier
des validation & Gestion des
besoins négociation des besoins charges
(elicitation)
Détermination
validation & Cahier
des Gestion
négociation des
besoins des besoins charges
(elicitation)
Détermination
validation & Cahier
des Gestion
négociation des
besoins des besoins charges
(elicitation)
3. Contraintes du système
3.1 Contraintes d'interface
3.2 Contraintes de performance
3.3 Contraintes de sécurité
3.4 Contraintes opérationnelles
3.5 Contraintes politiques et légales
Appendices
- Glossaire
- Documents et formulaires d'entreprise
- Références bibliographiques
Détermination
Cahier
des Validation & Gestion des
besoins négociation des besoins charges
(« elicitation »)
B. Analyse et spécification
Document
Modélisation d’analyse &
Validation
et spécification spécification
Spécifications semi-formelles
Notation graphique dont la sémantique n’est pas
formellement définie. Ex. UML
Spécifications formelles.
Ex.: Spéc. algébriques, spéc. logiques, réseaux de Petri,
langages de programmation, etc.
Modèle
des interactions
Modèle définissant et des changements d’état
la portée du système (vue statique
Modèle de
(diag. de contexte & comportementale) conception