Simulink Design Verifier
Identificare errori di progettazione, dimostrare conformità ai requisiti e generare test
Simulink Design Verifier™ usa metodi formali per individuare errori di progettazione nascosti nei modelli. Rileva i blocchi del modello che presentano integer overflow, logica morta, violazioni di accesso agli array e divisioni per zero. Può verificare formalmente che il progetto risponda ai requisiti funzionali. Per ciascun errore di progettazione o violazione dei requisiti, genera un test case di simulazione per il debug.
Simulink Design Verifier genera test case per la e obiettivi personalizzati per ampliare i test case esistenti basati sui requisiti. Questi test case stimolano il tuo modello affinché soddisfi gli obiettivi di copertura di condition, decision, modified condition/decision (MCDC) e obiettivi di copertura personalizzati. Oltre agli obiettivi di copertura, è possibile specificare obiettivi di test personalizzati per generare in modo automatico test case basati sui requisiti.
Il supporto relativo agli standard industriali è disponibile nell’IEC Certification Kit (per IEC 61508 e ISO 26262) e nel DO Qualification Kit(per DO-178).
Rilevazione degli errori di design
Scopri gli errori di design presenti nel tuo modello prima della simulazione, compresi gli errori di runtime, gli errori diagnostici e logica morta.
Errori diagnostici e di runtime
Prima di procedere con le simulazioni, puoi rilevare gli errori runtime e di modellazione, inclusi l’integer overflow, la divisione per zero, gli array fuori limite, i valori subnormali e gli errori di virgola mobile e di validità dei dati.
Logica morta
Trova gli oggetti nel tuo modello che non possono essere attivati durante la simulazione e l’esecuzione del codice generato. |
Visualizzazione di dead logic nei modelli.
Generazione di test case
Genera test case per la simulazione dinamica per soddisfare gli obiettivi di copertura funzionale e strutturale.
Test case per aumentare la copertura
Aumenta ed amplia i test case esistenti creati manualmente per gestire la copertura incompleta dei modelli. |
Test case basati sui requisiti
Genera test case da modelli di requisiti di sistema.
Test case per il codice C/C++
Genera test case per aumentare la copertura del codice generato e del codice C/C++ chiamato dai blocchi Simulink® e nei grafici Stateflow®.
Generazione di test per i modelli che chiamano il codice C.
Verifica basata sui requisiti
Verifica i requisiti formali espressi utilizzando MATLAB, Simulink e Stateflow.
Requisiti di safety
Verifica che il tuo progetto si comporti in base ai requisiti di safety definiti formalmente, espressi usando MATLAB®, Simulink e Stateflow.
Espressione dei requisiti usando Simulink.
Semplificazione delle varianti nei modelli
Usa Variant Reducer per generare un modello ridotto per un sottogruppo di configurazioni valide.
Semplificazione dei modelli per la distribuzione
Dopo aver convalidato completamente il modello delle varianti master, usa Variant Reducer per generare un modello ridotto per un sottogruppo di configurazioni valide. Verranno ugualmente ridotti tutti i file correlati e le dipendenze variabili. Gli artefatti ridotti vengono inseriti in pacchetti in una cartella separata per consentirne una facile distribuzione e condivisione con clienti e partner.
Creazione di un modello ridotto.
Funzionalità recenti
Giustificazione degli errori di progettazione
creazione di regole di filtro e giustificazione per i controlli degli errori di progettazione dopo l’analisi per i flussi di lavoro iterativi
Rilevamento di violazioni dell’accesso alla memoria di archiviazione dati
consente di analizzare i modelli per gli errori della memoria di archiviazione dati, quali read-before-write, write-after-read e write-after-write
Supporto di codice personalizzato
rilevamento degli errori di progettazione in codice personalizzato C/C ++ nei modelli e nei grafici Stateflow
Riduzione dei tempi di analisi per flussi di lavoro basati su team
condivisione e riutilizzo della rappresentazione del modello tra team per flussi di lavoro iterativi
Estensione dei test per flussi di lavoro dei parametri
modifica dei vincoli dei parametri trasversale alle esecuzioni dell’analisi durante l’estensione di test case scritti manualmente
Supporto di tipi complessi
analisi e generazione di test case per modelli con tipi di dati complessi
Guarda le note di rilascio per ulteriori informazioni su queste feature e sulle loro funzioni.
