Vous êtes sur la page 1sur 8

Département d’informatique

Faculté des sciences

IGL 301 – Spécification et vérification des exigences

PLAN DE COURS
Été 2015

Enseignants
Alex Boulanger, Philippe Dumont, Yves Tremblay
Courriels :
Alex.Boulanger@USherbrooke.ca
philippetd@yahoo.ca,
Yves.Tremblay@USherbrooke.ca,

Horaire : Lundi 16 h 30 – 18 h 30
Jeudi 16 h 30 – 18 h 30

Description officielle de l’activité : http://www.usherbrooke.ca/fiches-cours/igl301

IGL 301 3 cr.


Spécification et vérification des exigences (3-0-6)
Cible(s) de formation
Spécifier, valider et vérifier les exigences des clients; en déduire une architecture
technologique.
Contenu
Spécifications fonctionnelles et non fonctionnelles. Diagramme de flux de données
et modèles de données. Spécification textuelle des exigences. Cas d'utilisation et
scénario. Validation des exigences. Génération de scénarios de tests d'acceptation.
Élaboration de l'architecture. Présentation des normes de spécification IEEE.
Concomitante(s)
IFT 232

Objectifs spécifiques :

Au terme de cette activité pédagogique, la personne l’ayant réussie sera capable de :

 appliquer le processus de spécification des exigences ;


 établir les relations entre le processus logiciel et la spécification des exigences ;
 établir la structure d’un document de spécification des exigences ;
 appliquer les techniques d’exploration des exigences ;
 appliquer les techniques de spécification des exigences ;
 vérifier les exigences ;
 générer des scénarios de test fonctionnel ;
 déduire une architecture technologique.

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 1


Département d’informatique
Faculté des sciences

SEMAINE 1 (débutant le 27 avril)

Cours 1 – Plan de cours et introduction (Y. Tremblay)

 Discussion sur le déroulement du cours


 Objectifs spécifiques à couvrir
 Moyens utilisés pour atteindre les objectifs
 Exigences et traçabilité
 Système d’information, système critique
 Le modèle d’architecture entreprise (ODP)
o vue entreprise
o vue information
o vue ingénierie
o vue technologique
o vue traitements logiques

Présentation du système d’information qui sera utilisé pour les exercices du cours.

Cours 2 – Les méthodologies de développement (P. Dumont)

 Prédictifs (cascades)
 Itératifs (simple, spirale, unifié)
 Agiles (Scrum, Kanban)
 Plan Do Check Act
 CMMI, ISO 20000, ITIL

SEMAINE 2 (débutant le 4 mai)

Cours 3 et 4 – Les exigences dans une vue entreprise de haut niveau (Y. Tremblay)

 Flux de services, Flux de gestion


 Contexte d’affaires, vision d’affaires, objectifs d’affaires, processus d’affaires
 Exigences d’affaires, exigences utilisateurs, exigences systèmes et exigences de
projet
 Document de vision, spécifications, références
 Cueillette des besoins
 Diagramme de contexte
 Plan de projet et engagement des parties prenantes
 Indicateurs et métriques
 Exigences : les bonnes pratiques (ITIL, COBIT, PMBOK)
 Document de vision

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 2


Département d’informatique
Faculté des sciences

SEMAINE 3 (débutant le 11 mai)

Cours 5 – Les exigences dans une vue entreprise de haut niveau (Y. Tremblay)

Ingénierie des exigences :


 Gérer les exigences
 Développer une compréhension commune
 Obtenir l’engagement des parties prenantes
 Maintenir la traçabilité
 Identifier les incohérences

EXERCICE #1 SUR LE CAS : Définition d’exigences et vérification par les pairs.

Cours 6 – Les exigences au point de vue de l’information (P. Dumont)

 Flux : données, informations, connaissances, intelligence d’affaires


 Présentation de la vue
 Acteurs qui ont besoin de cette vue et pourquoi
 Quelle information chercher auprès de qui, quoi

SEMAINE 4 (débutant le 18 mai)

Cours 7 – Les exigences au point de vue de l’information (P. Dumont)

 UML
 Modèle conceptuel
 Pérennité / portabilité
 Scénarios utilisateurs
 Diagramme entité – relation
 Normes et bonnes pratiques
 Exigences (caractéristiques et propriétés)

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 3


Département d’informatique
Faculté des sciences

SEMAINE 5 (débutant le 25 mai)

Cours 8 – Les exigences au point de vue de l’information (P. Dumont)

 UML
 Modèle conceptuel
 Pérennité / portabilité
 Scénarios utilisateurs
 Diagramme entité – relation
 Normes et bonnes pratiques
 Exigences (caractéristiques et propriétés)

Cours 9 – Les exigences au point de vue de l’information (P. Dumont)

 Retour sur la théorie avant d'entreprendre l’exercice.

EXERCICE #2 SUR LE CAS : Définition d’exigences et vérification par les pairs.

SEMAINE 6 (débutant le 1er juin)

Cours 10 – Interview et techniques d’exploration et d’élicitation (A. Boulanger)

 Enjeux (bienfaits et conséquences)


 Analytique (historique, situation présente, comparables, etc.)
 Scénarimage (Storyboard)
 Autres techniques (Focus group, Remue-méninges, entrevues, questionnaires, etc.)

Cours 11 – Techniques d’exploration et d’élicitation

 Enjeux (bienfaits et conséquences)


 Analytique (historique, situation présente, comparables, etc.)
 Scénarimage (Storyboard)
 Autres techniques (Focus group, Remue-méninges, entrevues, questionnaires, etc.)

**Exercices en classe : Storyboarding.

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 4


Département d’informatique
Faculté des sciences

SEMAINE 7 (débutant le 8 juin)

Cours 12 – Spécification et vérification des exigences d’un point de vue ingénierie


(P. Dumont)

 Flux : systèmes distribués, réseau, communications au sein du système


 Présentation de la vue
 Acteurs qui ont besoin de cette vue et pourquoi
 Quelle information chercher auprès de qui/quoi

Cours 13 – Spécification et vérification des exigences d’un point de vue ingénierie


(P. Dumont)

 Élémentaires des systèmes distribués


 Enjeux des systèmes distribués
 Diagramme de déploiement
 Diagramme de séquences
 Exigences (caractéristiques et propriétés)

SEMAINE 8 (débutant le 15 juin)

Cours 14 – Spécification et vérification des exigences d’un point de vue ingénierie


(P. Dumont)

 Élémentaires des systèmes distribués


 Enjeux des systèmes distribués
 Diagramme de déploiement
 Diagramme de séquences
 Exigences (caractéristiques et propriétés)

EXERCICE #3 SUR LE CAS : Définition d’exigences et vérification par les pairs.

Cours 15 – Spécification et exigences du point de vue de la logique de traitement


(A. Boulanger)

 Exigences (caractéristiques et propriétés)


 Introduction à l’architecture logicielle
 Objets de traitement
 Interfaces de communication
 Liaisons et communication des objets (introduction)
 Diagrammes (état de transition, cas d’utilisation, activités, séquences, classe)

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 5


Département d’informatique
Faculté des sciences

SEMAINE 9 (débutant le 29 juin)

Cours 16 – Spécification et exigences du point de vue de la logique de traitement


(A. Boulanger)

 Exigences (caractéristiques et propriétés)


 Introduction à l’architecture logicielle
 Objets de traitement
 Interfaces de communication
 Liaisons et communication des objets (introduction)
 Diagrammes (état de transition, cas d’utilisation, activités, séquences, classe)

SEMAINE 10 (débutant le 6 juillet)

Cours 17 – Spécification et exigences du point de vue de la logique de traitement


(A. Boulanger)

 Liaisons et communication des objets (suite)


 Contrats d’environnement
 Écriture de spécification de traitement (cas d’utilisation)
 Pseudocode

Cours 18 – Spécification et exigences du point de vue de la logique de traitement


(A. Boulanger)

 Liaisons et communication des objets (suite)


 Contrats d’environnement
 Écriture de spécification de traitement (cas d’utilisation)
 Pseudocode

EXERCICE #4 SUR LE CAS : Définition d’exigences et vérification par les pairs.

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 6


Département d’informatique
Faculté des sciences

SEMAINE 11 (débutant le 13 juillet)

Cours 19 – Spécification et vérification des exigences dans la logique de traitement


(A. Boulanger)

 Résumé des techniques

EXERCICE #5 SUR LE CAS : Définition d’exigences et vérification par les pairs.

Cours 20 – Exigences et vérifications du point de vue technologique (Y. Tremblay)

 Flux : échanges entre les ressources matérielles et logicielles


 Actifs informationnels et catégorisation
 Exigences (caractéristiques et propriétés)

SEMAINE 12 (débutant le 20 juillet)

Cours 21 – Exigences et vérifications du point de vue technologique (Y. Tremblay)

EXERCICE #6 SUR LE CAS : Définition d’exigences et vérification par les pairs.

Cours 22 – Conclusion (Y. Tremblay)

 Retour sur les objectifs


 Points majeurs à retenir
 Révision et questions

SEMAINE 13 (débutant le 4 août)


EXAMEN FINAL

ÉVALUATION:

Exercices #1 à # 6 Exigences (5 points chacun) 30 %


Exercices #1 à # 6 Vérification et analyse (5 points chacun) 30 %
Forum de discussion – participation (bonus) 5%
Examen final 40 %

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 7


Département d’informatique
Faculté des sciences

RÉFÉRENCES :

BALOUKI, Y., Spécification et transformation de langages de points de vue des systèmes


répartis ouverts

BASQUE, R., CMMI : un itinéraire fléché vers le «capability maturity model intégration», 2004

BUTTRICK, R., Gestion de projets, 3e Éd., Paris, 2006

CARLIER, A., Le pilotage des évolutions des SI. Solutions propriétaires et logiciels libres,
Lavoisier, Paris, 2011

CORBIÈRE A., Analyses des apports du méta standard ODP-RM à la communauté EIAH
Instances sur un système de formation

[IEEE1233]
IEEE Guide for Developing System Requirements Specifications.
IEEE Std 1233-1998, IEEE, New York, 1998; [QA 76.76 S73I438 1998]

[IEEE830]
IEEE Recommended Practice for Software Requirements Specifications.
IEEE Std 830-1998, IEEE, New York, 1998; [QA 76.76 S73I44 1998]

[IEEE12207] Industry Implementation of International Standard ISO/IEC 12207-1995.


IEEE 12207, IEEE, New York, 1995. [QA 76.76 S73I44 1998]

[ISO12207] ISO/IEC 12207 - Information Technology—Software Life-Cycle Processes.


1995.

ITSM Library, Les fondamentaux de la gestion des services informatiques selon ITIL V3,Van
Haren Publishing, 2009

LININGTON P.F., MILOSEVIC Z., TANAKA A. and VALICELLO A., Building Enterprise Systems
with ODP - An Introduction to Open Distributed Processing, Chapman & Hall/CRC Press,
September 2011.

MOISAND D, GARNIER DE LABAREYRE F., Cobit – pour une meilleure gouvernance des
systèmes d’information, 2e Éd., Eyrolles, 2009

PMI, A guide to the projetct management body of knowledge, 4e Éd.,2008

SCHWALBE, K. , Information technology project management, 6e Éd., Course technology, 2011

[IGL301] Recueil de notes de cours pour IGL301. Disponible sur Moodle.

[WOL] Wall-On-Line : l'e-gouvernement wallon, La boîte à outils : 15 méthodes d'implication des


utilisateurs

IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 8