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®
  • Creazione di report

Scopri maggiori dettagli sui nostri corsi

Calendario e registrazione

Prerequisiti

Ottima conoscenza dei linguaggi C, C++


Calendario e registrazione

Risultati 1 - 1 di 1
Date Località Lingua Costo Iscrizione
08 ago 2019-
09 ago 2019
Online
9:00 - 17:00 Ora legale Stati Uniti orientali
English USD 1.500
Risultati 1 - 1 di 1

Il prezzo si applica per l’acquisto e l’uso in Stati Uniti, Per i prezzi da applicare in altre aree geografiche, contattare l’ufficio Commerciale. Il prezzo del prodotto non include le tasse di vendita e d’uso, le accise, l’IVA e altre. Tutte le tasse, le imposte e le spese pertinenti, così come i tributi e i dazi statali applicabili a questo acquisto, saranno calcolati sull’ordine finale. Per ulteriori informazioni, vedere la Policy MathWorks per la Formazione.