Verifica, test e certificazione

Regolare i parametri, analizzare le prestazioni del codice, verificare l'equivalenza numerica ed eseguire analisi di coverage del codice e di tracciabilità

Per lo sviluppo del sistema, utilizzare l'approccio di verifica continua del V-model (Modello a V).

Per la prototipazione rapida dei sottocomponenti, eseguire simulazioni in tempo reale in modalità esterna che consentono di monitorare i segnali e regolare i parametri del modello nell'applicazione di destinazione.

Utilizzare la profilazione dell'esecuzione del codice per verificare se il codice generato soddisfa i requisiti in tempo reale dell'hardware target e individuare le sezioni di codice che necessitano di miglioramenti in termini di prestazioni.

Verificare che il codice generato:

  • Implementi correttamente un modello verificando l'equivalenza numerica tra il modello e il codice generato:

    • Per sistemi, componenti e sottocomponenti quali i modelli referenziati, utilizzare il modello principale SIL/PIL Manager, il blocco Model o i workflow del test harness.

    • Per un sottocomponente come un sottosistema atomico, eseguire un test unitario sul codice generato dal sottosistema atomico utilizzando un Simulink® Test™ harness con il SIL/PIL Manager. Per ulteriori informazioni, vedere Configure and Run PIL Simulation.

  • Non presenti funzionalità non previste risultanti dal confronto tra la copertura del modello e quella del codice o dall'esecuzione di un'analisi di tracciabilità. Configurare le simulazioni SIL e PIL per generare metriche di coverage del codice. Generare report che forniscono tracciabilità bidirezionale tra gli oggetti del modello e il codice generato.

Oltre a Embedded Coder®, è possibile utilizzare altri prodotti per la verifica del codice, ad esempio i prodotti Requirements Toolbox™, Simulink Test e Polyspace®.

Categorie