Ce cours permet :
- d'acquérir les bases de techniques de test ( verification dynamique et statique )permettant la vérification systématique et la validation des programmes.
_ d'acquérir les concepts de base de l'assurance qualité logiciel
- de connaitre les règles et les métriques de la fiabilité logiciel
- d'étudier quelques systèmes de métriques logicielles
- Enseignant: Fatima Debbat