Impara a usare le tecniche di verifica e convalida

Scopri esempi, articoli e tutorial.

Esempi per iniziare

Questo workflow di esempio mostra agli utenti come iniziare ad utilizzare test sistematici basati su requisiti usando Simulink.

GitHub

Questo esempio mostra come un progettista muoverebbe i primi passi con gli strumenti MathWorks dedicati alla verifica e alla convalida dei modelli. Capirai come gestire e visualizzare i requisiti in Simulink, effettuare controlli di conformità in base agli standard di modellazione e cercare eventuali errori di runtime. In questo esempio vengono utilizzati Simulink Requirements, Simulink Check e Simulink Design Verifier.

GitHub

Tracciabilità e analisi dei requisiti

Simulink Requirements consente di creare, importare e gestire requisiti in Simulink, tracciare lo stato di implementazione e di verifica e rispondere rapidamente alle modifiche ai requisiti.

Video

Con Simulink Test e Simulink Requirements, è possibile collegare i propri requisiti a dei casi di test nel Test Manager. Il collegamento ai test consente di capire in che modo i requisiti vengono confermati mediante l’esecuzione dei test stessi.

Documentazione

Esegui l’authoring delle valutazioni temporanee per test con Simulink Test per verificare requisiti complessi dipendenti dalla temporizzazione. Puoi usare un formato di linguaggio naturale con semantica non ambigua per specificare le valutazioni.

Video

Test funzionali

Sviluppa, gestisci ed esegui test basati su simulazioni con Simulink Test.

Video

Usando come esempio un algoritmo a triplice selezione, questo articolo illustra come usare la copertura dei test dei modelli per individuare eventuali requisiti mancanti durante una prova basata su requisiti.

Articolo

Misura la copertura dei test nei modelli e nel codice generato con Simulink Coverage.

Video

Con Embedded Coder e Simulink Coverage, è possibile analizzare la copertura del codice generato durante una simulazione Software-In-the-Loop (SIL) o Processor-In-the-Loop (PIL).

Documentazione

Esegui il debug di progetti complessi più velocemente evidenziando le dipendenze funzionali e producendo un modello semplificato con la feature Model Slicer in Simulink Design Verifier.

Video

Conformità agli standard di certificazione

Questo articolo descrive un workflow di verifica basato su Simulink. Gli argomenti trattati comprendono la creazione di casi di test, la generazione di casi di test per la copertura del modello mancante e la misurazione della copertura del codice.

Articolo

Scopri come l’esecuzione di controlli in fase di modifica sia in grado di individuare scostamenti rispetto alle linee guida o agli standard in Simulink o Stateflow durante la modifica.

Video

Durante la fase di sviluppo, controlla e analizza il modello stesso per accertarti che sia di buona qualità. Verifica il tuo modello rispetto a standard quali le linee guida di stile del MAB e le linee guida di progettazione dei sistemi ad alta integrità come DO-178 e ISO 26262.

Documentazione

Esempio

Utilizza la verifica e la convalida di Simulink per identificare pattern duplici in un modello ed esegui il refactoring per consentire il riutilizzo dei componenti.

Video

Scopri cosa sono gli obiettivi qualitativi dei modelli (MQO, Model Quality Objectives) definiti dai leader del settore automobilistico e da MathWorks. Questo standard stabilisce gli obiettivi qualitativi che i modelli Simulink dovrebbero raggiungere nelle varie fasi del ciclo di sviluppo del software.

White paper

Rilevamento degli errori di progettazione

Riconosci gli errori di progettazione, genera test case e verifica i progetti rispetto ai requisiti usando Simulink Design Verifier.

Video

Individua fli errori di progettazione, verifica la conformità ai requisiti e genera test.

Documentazione

Questo esempio illustra come rilevare valori a virgola mobile non finiti, NaN e anomali nel modello di esempio sldvexFloatingPointErrorChecks. Il modello è costituito da operazioni aritmetiche a virgola mobile che risultano in un errore. Esegui le analisi di rilevamento degli errori di progettazione per trovare questi errori nel modello.

Documentazione

Questo esempio illustra come affinare il modello in termini di logica morta. Il modello sldvSlicerdemo_dead_logic è costituito da percorsi di logica morta da affinare per l’analisi di dipendenza.

Documentazione