v2.7.0 (3929)

Enseignement de 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

24.5 heures en présentiel

effectifs minimal / maximal:

10/25

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Littérale/grade européen

Pour 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)
  • le rattrapage est obligatoire si :
    Note initiale < 6
  • le rattrapage peut être demandé par l'étudiant si :
    6 ≤ note initiale < 10
L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2 ECTS

La note obtenue rentre dans le calcul de votre GPA.

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