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:

Misurare la copertura del modello e del codice

Valuta la completezza del tuo test misurando gli elementi del modello e i codici C/C++ utilizzati durante la simulazione.

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.

Analizzare i risultati e generare report

Acquisisci i risultati di copertura e genera i relativi report sulla base di più simulazioni. Fai quadrare la copertura mancante.

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.