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.
Registrato: 8 ott 2015
Prodotto in evidenza
Simulink Design Verifier
Successivo:
Video correlati:
Seleziona un sito web
Seleziona un sito web per visualizzare contenuto tradotto dove disponibile e vedere eventi e offerte locali. In base alla tua area geografica, ti consigliamo di selezionare: .
Puoi anche selezionare un sito web dal seguente elenco:
Come ottenere le migliori prestazioni del sito
Per ottenere le migliori prestazioni del sito, seleziona il sito cinese (in cinese o in inglese). I siti MathWorks per gli altri paesi non sono ottimizzati per essere visitati dalla tua area geografica.
Americhe
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia-Pacifico
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)