Servizi di formazione

Polyspace Code Prover per la verifica di codice C/C++

Questo corso, della durata di tre giorni, presenta l’uso dei prodotti Polyspace® per provare la correttezza del codice, migliorare le metriche di qualità del software, e garantire l’integrità del prodotto. Il corso include:

  • Creazione di un progetto di verifica
  • Visualizzazione e comprensione dei risultati di verifica
  • Emulazione degli ambienti di esecuzione target
  • Gestione di funzioni e dati mancanti
  • Gestione di codice unproven (colorato in arancione nei prodotti Polyspace)
  • Applicazione delle regole MISRA®
  • Creazione di report

Training Formats

Formato Durata del Corso Programma del corso

Aula

Il corso è tenuto da un istruttore MathWorks in un'aula attrezzata. Le sedi comprendono uffici MathWorks e siti pubblici in tutto il mondo. La formazione in aula può avvenire anche presso la vostra struttura

3 giorni Vedi i dettagli

Online tenuti da istruttori

Il corso è tenuto on-line in tempo reale da un istruttore MathWorks e contiene lo stesso contenuto e materiale utilizzato nei corsi in aula.

2 days Vedi i dettagli

Prerequisiti

Ottima conoscenza dei linguaggi C, C++