Software Quality Assurance

linfo2251  2024-2025  Louvain-la-Neuve

Software Quality Assurance
5.00 crédits
30.0 h + 15.0 h
Q2
Enseignants
Thèmes abordés
  • concepts de qualité du logiciel
  • spécification et exactitude d'un programme
  • test de logiciels
  • vérification et validation de logiciels
  • révision et audit de logiciels
  • métriques et meurses de logiciels
  • fiabilité de logiciels
Acquis
d'apprentissage

A la fin de cette unité d’enseignement, l’étudiant est capable de :

1 Eu égard au référentiel AA du programme « Master ingénieur civil en informatique », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
  • INFO2.3-5
  • INFO6.3
Eu égard au référentiel AA du programme « Master [120] en sciences informatiques », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
  • SINF1.M3
  • SINF2.3-5
  • SINF6.3
Les étudiants ayant suivi ce cours avec fruit seront capables de :
  • Définir la qualité des logiciels et décrire le rôle des activités d'assurance de la qualité dans le processus de logiciel.
  • Décrivez comment un contrat peut être utilisé pour spécifier le comportement d'un composant de programme.
  • Décrire et distinguer les différents types et niveaux de tests (unitaires, d'intégration, les systèmes, et l'acceptation).
  • Appliquer une variété de stratégies pour les tests et le débogage de programmes simples.
  • Décrivez comment les outils de vérification statique et dynamique disponibles peuvet être intégrés dans l'environnement de développement de logiciel.
  • Appliquer des techniques de spécification et d'analyse formelles à laconceptions de programmes avec une faible complexité.
  • Entreprendre une inspection d'un segment de code de taille moyenne.
  • Comparer les techniques simples de mesure de logiciels.
  • Décrire les approches pour estimationn de faute.
  • Expliquer les problèmes qui existent pour atteindre de niveaux élevés de fiabilité des logiciels.
 
Contenu
  • Principes de qualité logicielle
  • Modèles de logiciel
  • Test fonctionnel
  • Test structurel
  • Compléments de test
  • Exécution de tests
  • Analyse de programmes
  • Analyse à états finis
  • Fiabilité logicielle
  • Mesure de logiciel
Méthodes d'enseignement
  • Cours magistraux hebdomadaires
  • Séances d'exercices
  • Missions (par groupe de 2 étudiants)
Les séances d'exercices et les missions sont synchronisées de manière à ce que les exercices préparent les étudiants à réaliser les missions.
Selon les circonstances, tout ou partie des cours et des exercices pourraient être diffusés et enregistrés pour pouvoir être suivis à distance.
Modes d'évaluation
des acquis des étudiants
Le cours inclut les devoirs, comptant pour 40% de la note, et un examen, comptant pour 60% de la note. Les devoirs ne peuvent pas être refaits pour la session de septembre; la note reste acquise en septembre.
Bibliographie
  • Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement.  Jeff Tian. 2005, Wiley-IEEE Computer Society Press.
  • M. Pezzè and Michal Young, Software Testing and Analysis: Process, Principles, and Techniques, Wiley, 2008.
  • J. Laski, W. Stanley.  Software Verification and Analysis.  Springer 2009.
  • N.E. Fenton and S.L. Pfleeger. Software Metrics: A Rigorous and Practical Approach. 2nd edition, Thomson Computer Press, 1996.
Support de cours
  • Les diapositives de cours ainsi que d'autres informations pertinentes et pratiques relatives au cours seront accessibles sur Moodle.
  • Lecture slides and other relevant information pertaining to the course are available on Moodle.
Faculté ou entité
en charge


Programmes / formations proposant cette unité d'enseignement (UE)

Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
Master [120] : ingénieur civil biomédical

Master [120] : ingénieur civil en informatique

Master [120] en sciences informatiques