v1.17.9 (1402)

Formation Continue - SE767 : Vérification et test

Domaine > Informatique.

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

nombre d'heure en présentiel

24.5

effectifs minimal / maximal

10/25

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Pour les étudiants du diplôme Systèmes embarqués

Vos modalités d'acquisition :

Contrôle écrit

L'UE est acquise si Note finale >= 10
  • 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

Mots clés

test, vérification, méthodes formelles, intégration continue, correct by construction
Veuillez patienter