معلومات مقرر دراسي

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