Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Département d’informatique Faculté des sciences IGL301 – Spécification et vérif

Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 1 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 Spécification et vérification des exigences (3-0-6) 3 cr. 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. Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 2 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 Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 3 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) Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 4 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. Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 5 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) Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 6 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. Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 7 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 % Département d’informatique Faculté des sciences IGL301 – Spécification et vérification des exigences Plancours_IGL301_Ete2015.docx 8 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., uploads/Ingenierie_Lourd/ igl301-2015-2-pdc.pdf