Calendario e registrazione

Prerequisiti

Ottima conoscenza dei linguaggi C e C++

Polyspace Code Prover per la Verifica del Codice C/C++

Questo corso, della durata di tre giorni, presenta l’uso di Polyspace Code Prover 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-C®
  • Creazione di report

Scopri maggiori dettagli sui nostri corsi



Calendario Corsi MATLAB e Simulink

Questo corso non è tenuto al momento.