Simulink Coverage
Misurazione della copertura di test nei modelli e nel codice generato
Domande? Contattaci.
Simulink Coverage esegue l’analisi della copertura del modello e del codice che misura la completezza del testing nei modelli e nel codice generato. Applica metriche standard del settore come decisione, condizione, copertura di condizione/decisione modificata (MCDC) 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, è possibile 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.
Copertura del modello
Misura la percentuale in cui il progetto è coperto dai test di simulazione per valutare l'efficacia e la completezza dei test. Analizza la copertura raccolta durante i test basati sui requisiti per determinare se ci sono lacune nei test, requisiti mancanti o funzionalità non desiderate.
Copertura del codice
Misura la copertura per i test Software-In-the-Loop (SIL) e Processor-In-the-Loop (PIL) del codice generato con Embedded Coder o per il codice richiamato nei modelli Simulink.
Gestione dei risultati della copertura aggregata
Aggrega la copertura da più simulazioni. Visualizza la copertura dei test di sistema ottenuta dai test unitari. Definisci i risultati in relazione ai requisiti collegati per evitare coperture non intenzionali.
Metriche di copertura
Misura la copertura del modello e del codice per un’ampia gamma di metriche, tra cui decisione, condizione, MCDC, limiti relazionali e intervallo dei segnali.
Far quadrare la copertura mancante
Filtra i costrutti del modello che impediscono la copertura completa dei test, come gli schemi di modellazione difensivi, per concentrarsi sul test di altre parti del progetto.
Generazione di 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.
Risorse sui prodotti:
FAQ su Simulink Coverage
Simulink Coverage esegue analisi di copertura per modelli e codice, misurando la completezza dei test nei modelli e nel codice generato mediante metriche standard del settore.
Supporta metriche di copertura decisionale, di copertura delle condizioni, modified condition/decision coverage (MC/DC), copertura dei limiti relazionali, copertura dell'intervallo dei segnali e copertura delle tabelle di lookup.
È possibile utilizzare i dati di copertura mancanti per identificare lacune nei test, requisiti mancanti o funzionalità non intenzionali nei modelli e nel codice generato.
Sì: misura la copertura per i test software-in-the-loop (SIL) e processor-in-the-loop (PIL) del codice generato con Embedded Coder, oltre che per le S-Function in C/C++ e per le funzioni MATLAB chiamate all'interno dei modelli Simulink.
Sì. È possibile accumulare dati di copertura da più simulazioni e visualizzare la copertura ottenuta sia tramite test unitari che tramite test di sistema.
Genera report interattivi ed evidenzia i risultati di copertura direttamente nei blocchi e nei sottosistemi per visualizzare le lacune nei test.
Sì, è possibile applicare filtri per escludere blocchi dalla copertura e giustificare la copertura mancante nei report, ad esempio per pattern di modellazione difensiva.
Prova Simulink Coverage gratis
Scopri i nostri prodotti.
Pronto per acquistare?
Richiedi una quotazione e scopri i prodotti correlati.
Sei uno studente?
È possibile che la tua scuola già fornisca accesso a MATLAB, Simulink e ad altri prodotti complementari mediante una Campus-Wide License.
