Simulink Design Verifier: la versione 2015b

Nel processo che porta dal modello al codice una buona parte degli sforzi di verifica e validazione possono essere fatti non sull'implementazione (codice autogenerato) ma direttamente sul modello.
Quando questo avviene si risparmia tempo ed energie e si aumenta molto la qualità del codice.
Tra le attività che possiamo fare sul modello, molto prima della generazione di codice, possiamo elencare:

• Individuazione di alcuni errori run-time (errori di design)
• Individuazione di parti non raggiungibili del modello
• Generazione automatica di test a fronte di copertura non completa
• Generazione di test specifici a fronte di requisiti
• Misura della copertura sul modello e sul codice autogenerato

Questo webinar illustra i punti suddetti con esempi realistici. Inoltre, tratteremo alcuni argomenti importanti, di solito non esplorati, quali:

1) Relazione tra Simulink Design Verifier e Polyspace ... in cosa differiscono i due tool e come si complementano?
2) Scalabilità: come scala Simulink Design Verifier su grossi modelli?

Nota: la verifica e la convalida di Simulink sono passati a Simulink Check, Simulink Coverage e Simulink Requisiti nella versione R2017b.