Objectif:Introduire la vérification et la validation dans l'environnement Simulink et son rôle dans un projet utilisant une approche Model-Based Design.

• Test et vérification en continu
• Les types de vérifications
• L'environnement du projet

Objectif:Créer des jeux de tests séquentiels et temporels pour des modèles Simulink.

• Définition des cas de test
• 一代d一个模型测试
• Création et Import des entrées du test
• Ajout de logique dans les tests

Objectif:Analyser les résultats de test d'une simulation Simulink, à la fois pendant et après la simulation.

• Analyse des résultats basée sur les exigences
• Enregistrement, examen et comparaison des résultats de test
• Collecte de la couverture de modèle

Objectif:Créer des groupes de jeux de tests et générer automatiquement un rapport à partir des résultats.

• Création des fichiers de test
• Configuration des tests de base, de simulation et d'équivalence
• Visualisation et documentation des résultats de test