Qualité logicielle : outils et méthodes

Ce cours fondamental du Master 2 Génie Logiciel traite de la qualité du produit logiciel et des processus qui le fabriquent. Il donne aux futurs ingénieurs et chefs de projet les outils pour spécifier des exigences de qualité mesurables (ISO/IEC 25010), concevoir une stratégie de test, mener des revues et inspections, exploiter les métriques et l’analyse statique, maîtriser la configuration et automatiser la vérification par l’intégration continue, enfin évaluer la maturité d’une organisation (CMMI). Les cas sont tirés du contexte nigérien : plateforme de paiement mobile, application de gestion scolaire, logiciels bancaires et d’e-gouvernement, pour lesquels une défaillance a des conséquences financières et sociales directes. Il complète « Management de la qualité », centré sur l’organisation, par une approche technique et outillée.

Objectifs d’apprentissage

• Spécifier et évaluer la qualité d’un logiciel à l’aide du modèle ISO/IEC 25010 et d’un plan d’assurance qualité.
• Concevoir une stratégie de test multi-niveaux et dériver des cas de test par des techniques boîte noire et boîte blanche.
• Organiser des revues et inspections et interpréter des métriques (densité de défauts, DRE, couverture, complexité, fiabilité).
• Mettre en place une gestion de configuration et une chaîne d’intégration continue avec des portes qualité.
• Situer une organisation sur l’échelle de maturité CMMI et proposer un plan d’amélioration.

Prérequis

Programmation (Java, Python ou JavaScript), génie logiciel (cycles de vie, UML, méthodes agiles), utilisation de Git, notions de statistiques.

Plan du cours

1. Leçon 1 — Modèles de qualité logicielle et assurance qualité
2. Leçon 2 — Stratégies et techniques de test du logiciel
3. Leçon 3 — Revues, inspections, analyse statique et métriques
4. Leçon 4 — Gestion de configuration, intégration continue et maturité des processus

Modalités d’évaluation

Volume horaire : 30 h de CM, 10 h de TD, 0 h de TP, 40 h de TPE, soit 80 h pour 4 crédits. Évaluation : contrôle continu (TD notés et projet : plan de test et pipeline d’intégration continue pour une application existante, 40 %) et examen terminal écrit (60 %).

Bibliographie

• ISO/IEC 25010 — Ingénierie des systèmes et du logiciel — Exigences et évaluation de la qualité (SQuaRE) — Modèle de qualité du produit ; ISO/IEC/IEEE 29119 — Tests du logiciel.
• Glenford J. Myers, Corey Sandler, Tom Badgett, The Art of Software Testing, 3^e éd., Wiley, 2011.
• Ian Sommerville, Software Engineering, 10^e éd., Pearson, 2015.
• Jez Humble, David Farley, Continuous Delivery, Addison-Wesley, 2010.
• Nicole Forsgren, Jez Humble, Gene Kim, Accelerate: The Science of Lean Software and DevOps, IT Revolution Press, 2018.