Simulation-Based Testing con Simulink

Dettagli dei corsi

Il presente corso della durata di un giorno descrive le tecniche per sottoporre a test il comportamento dei modelli Simulink^® rispetto ai requisiti di sistema, utilizzando Simulink Test™, Simulink Requirements™, e Simulink Coverage™.

Elenco degli argomenti:

Identificazione del ruolo di verifica e convalida nella progettazione Model-Based
Creazione dei casi di test per modelli Simulink
Analisi dei risultati di simulazione per la verifica del comportamento del modello
Automazione delle attività di test e gestione dei risultati
Generazione automatica di artefatti per la comunicazione dei risultati

Giorno 1/1

Verifica e convalida in progettazione Model-Based

Obiettivo: Introdurre le nozioni di verifica e convalida nell'ambiente Simulink e discuterne il ruolo all’interno di un tipico workflow di progetto utilizzando la progettazione Model-Based.

Test e verifica continui
Tipologie di verifica
Progetto di controllo di una valvola elettronica

Sviluppo dei test case

Obiettivo: Creare casi di test time-based e logic-based per un modello Simulink.

Definizione di test case
Generazione di harness di test
Creazione ed importazione di input per i test
Integrazione di logica nei test

Analisi dei risultati di test

Obiettivo: Analizzare i risultati dei test di una simulazione Simulink, prima, durante e dopo la simulazione stessa.

Esecuzione delle valutazioni basate sui requisiti
Logging, ispezione e confronto dei risultati dei test
Raccolta della coverage del modello

Sviluppo delle suite di test

Obiettivo: Creare gruppi di test ripetibili e generare automaticamente report a partire dai risultati di test.

Creazione di test file
Configurazione di test di simulazione, baseline ed equivalenza
Visualizzazione e documentazione dei risultati dei test

Livello: Intermedio

Prerequisiti:

Fondamenti MATLAB
Fondamenti Simulink
Il presente corso è rivolto a utenti Simulink di livello intermedio o avanzato.

Durata: 1 giorno

Lingue: Deutsch, English, 中文, 日本語, 한국어

Guarda il programma e iscriviti

Corsi correlati

Architettura e Gestione di Modelli Simulink

Crea e gestisci in modo efficiente i modelli Simulink. I temi includono l'integrazione dei requisiti, il controllo delle fonti, l'applicazione degli standard di modellazione e la generazione di report.

Per saperne di più

Design Verification con Simulink

Utilizza Simulink Design Verifier per garantire che un progetto sia privo di errori di progettazione, interamente testato e che soddisfi i requisiti necessari.

Per saperne di più

Polyspace per la verifica del codice C/C++

Dimostra la correttezza del codice, rivedi e comprendi i risultati della verifica, gestisci funzioni e dati mancanti, misura le metriche di qualità del software e applica le regole MISRA C.

Per saperne di più