Descriptif
Cet enseignement présente différents aspects et technique de vérification et test des systèmes matériel et embarqués. Le but est de sensibiliser les élèves à ce thème qui est central pour le développement et la certification des systèmes embarqués critique de haute qualité. Après une introduction qui porte sur les modèles et processus de développement classiques et agiles, les élèves vont expérimenter des techniques concrètes de test et de vérification.
Objectifs pédagogiques
A l'issue de ce cours, l'élève est capable de
Comprendre les défis de la validation et de la certification
Définir un plan de test à partir d'un cahier de charge
Mettre en place des test randomisés de haute qualité
Se servir des outils de vérification formelle
effectifs minimal / maximal:
10/25Diplôme(s) concerné(s)
Format des notes
Numérique sur 20Pour les étudiants du diplôme Systèmes embarqués
Vos modalités d'acquisition :
Contrôle écrit
Le rattrapage est autorisé (Max entre les deux notes)- Crédits ECTS acquis : 2 ECTS
Programme détaillé
Test du matériel et du logiciel
Pratique I: Constrained random testing with UVM
Introduction méthodes formelles
Pratique II: Vérification formelle avec SVA
Certification des systèmes embarqués
