v2.1.2 (1856)

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

Le rattrapage est autorisé (Max entre les deux notes)
    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