Vérification et validation logicielle
- Code de l'UE INFOM124
-
Horaire
30 15Quadri 1
- Crédits ECTS 5
- Langue
- Professeur
À la fin de ce cours, l’étudiant·e sera capable de :
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).
Le cours se compose de séances magistrales et de séances de travaux pratiques.
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.
Formation | Programme d’études | Bloc | Crédits | Obligatoire |
---|---|---|---|---|
Master 120 en cybersécurité, à finalité spécialisée | Standard | 0 | 5 | |
Master 120 en sciences informatiques, à finalité spécialisée en data science | Standard | 0 | 5 | |
Master 60 en sciences informatiques | Standard | 0 | 5 | |
Master 120 en sciences informatiques, à finalité spécialisée en software engineering | Standard | 0 | 5 | |
Master 120 en sciences informatiques, à finalité spécialisée en data science | Standard | 1 | 5 | |
Master 60 en sciences informatiques | Standard | 1 | 5 | |
Master 120 en sciences informatiques, à finalité spécialisée en software engineering | Standard | 1 | 5 | |
Master 120 en cybersécurité, à finalité spécialisée | Standard | 2 | 5 |