Cours 2022-2023

Vérification et validation logicielle [INFOM124]

  • 5 crédits
  • 30h+15h
  • 2e quadrimestre
Langue d'enseignement: Français

Acquis d'apprentissage

À la fin de ce cours, l’étudiant·e sera capable de :

  • Réaliser le diagnostic de la qualité d’une application et de ses tests;
  • Définir et écrire une suite de tests satisfaisant un ensemble de critères de couverture donné;
  • Établir un plan d’actions permettant d’améliorer la qualité d’une application sur base d’un diagnostic posé.

Contenu

Le cours vise à introduire les différents aspects d’un processus de vérification et de validation logiciel. Il couvre plus particulièrement les aspects de révision de code (inspection logicielle et revue de code, métriques, code smells et antipatterns, etc.), ainsi que les fondements du test logiciel (test unitaire, test d’intégration, critères de couverture, mise en pratique dans un processus de développement).


Méthodes d'enseignement

Le cours se compose de séances magistrales et de séances de travaux pratiques.

Mode d'évaluation

L’évaluation consiste en un examen durant lequel l’étudiant·e est mis en situation et doit réaliser un diagnostic de la qualité, un plan d’action permettant d’améliorer la qualité et définir une suite de tests permettant de détecter une série de fautes pour une application donnée.

Sources, références et supports éventuels

  • Tian, Jeff. Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement. Wiley-IEEE Computer Society Press, 2005.
  • Ammann, Paul, and Jeff Offutt. Introduction to software testing. Cambridge University Press, 2016.
  • Beecher, Karl. Bad Programming Practices 101: Become a Better Coder by Learning How (Not) to Program. Apress, 2018.
  • Aniche, Mauricio. Effective Software Testing: A Developer's Guide. Manning, 2022.

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté d'informatique
rue Grandgagnage 21
5000 NAMUR
T. 081725252
F. 081724967
secretariat.info@unamur.be

Cycle

Etudes de 2ème cycle