Simulink Coverage
Misurare la copertura di test nei modelli e nel codice generato
Simulink Coverage™ esegue l’analisi della copertura del modello e del codice in grado di misurare la completezza del testing nei modelli e nel codice generato. Applica metriche standard del settore come decisione, condizione, copertura di condizione/decisione modificata (MC/DC) e copertura di limiti relazionali, per valutare l'efficacia dei test di simulazione in modelli, SIL (software-in-the-loop) e PIL (processor-in-the-loop). È possibile utilizzare i dati di copertura mancanti per individuare lacune nei test, requisiti mancanti o funzionalità non desiderate.
Simulink Coverage genera report interattivi che illustrano la proporzione di utilizzo del proprio modello, delle funzioni C/C++ e S, delle funzioni MATLAB® e del codice generato da Embedded Coder®. È possibile evidenziare i risultati della copertura in blocchi e sottosistemi per visualizzare eventuali lacune nei test. Per valutare la completezza del test, unire ed accorpare i dati di copertura di più test eseguiti e visualizzare i risultati ottenuti attraverso test unitari e di sistema. È possibile ricondurre i risultati della copertura a requisiti e test. Si è inoltre in grado di applicare filtri per escludere blocchi dalla copertura e giustificare la mancanza di copertura nei report.
Il supporto relativo agli standard del settore è disponibile nel DO Qualification Kit e nell’IEC Certification Kit.
Inizia ora:
Copertura del modello
Misura la copertura del tuo progetto tramite i test di simulazione per valutare l’efficacia e la completezza del test. Analizza la copertura acquisita con i test basati sui requisiti per determinare se vi siano lacune nel test, requisiti mancanti o funzionalità non desiderate.
Copertura del codice
Misura la copertura per i test SIL (software-in-the-loop) e PIL (processor-in-the-loop) del codice generato con Embedded Coder o per qualsiasi codice richiamato all’interno dei modelli Simulink utilizzando funzioni S, codice personalizzato in grafici Stateflow® e blocchi Caller C.
Visualizzazione della copertura del codice richiamato da un blocco Caller C.
Metriche di copertura
Misura la copertura del modello e del codice per un’ampia gamma di metriche, tra cui decisione, condizione, MC/DC, limiti relazionali e intervallo dei segnali.
Scelta tra varie metriche di copertura, tra cui MC/DC.
Gestire e visualizzare i risultati di copertura cumulativi
Aggrega la copertura da più simulazioni. Visualizza la copertura dei test di sistema ottenuta dai test unitari.
Analizza i risultati di copertura per i test unitari e di sistema.
Generare report di copertura
Genera report dettagliati che includono i risultati di copertura acquisiti in base alle metriche selezionate. Visualizza i dettagli di tracciabilità dei requisiti per i test e gli elementi del modello.
Visualizzazione dei dati di tracciabilità dei requisiti in un report di copertura.
Far quadrare la copertura mancante
I modelli possono contenere costrutti che impediscono una copertura completa del test. Il filtraggio di questi costrutti dalla registrazione e dal reporting della copertura consente di concentrarsi su altri aspetti della copertura mancante che possono e devono essere testati.
Aggiunta di regole del filtro di copertura nell’editor dei filtri.
