Formazione MATLAB e Simulink

Esame dei risultati in Polyspace

Contattaci per prendere un appuntamento

Dettagli dei corsi

Questo corso pratico della durata di un giorno tratta dell'interpretazione e della revisione dei risultati di Polyspace Bug Finder e di Polyspace Code Prover in Polyspace Access, al fine di eliminare i difetti algoritmici e migliorare sia le metriche di qualità del software che l'integrità del prodotto. Questo corso è pensato per gli ingegneri che esaminano i risultati con Polyspace Access e devono modificare il software in base a tali risultati.
 
Elenco degli argomenti:
  • Revisione e comprensione dei risultati dell’analisi
  • Gestione di codice non testato (contrassegnato dal colore arancione da Polyspace Code Prover)
  • Gestione delle violazioni delle regole di codifica
  • Collaborazione con i colleghi nell'interfaccia web

Giorno 1/1


Analisi con Polyspace Bug Finder

Obiettivo: Correggere i difetti e le violazioni delle regole di codifica.

  • Panoramica della dashboard di Polyspace Access
  • Analisi e gestione dei difetti di Polyspace Bug Finder
  • Revisione delle violazioni delle regole di codifica
  • Revisione delle metriche del codice

Analisi dei risultati in Polyspace Code Prover

Obiettivo: Acquisire padronanza nell'interpretazione dei risultati ottenuti con Polyspace Code Prover.

  • Panoramica sull’interpretazione astratta
  • Analisi del Call Tree
  • Navigazione del codice sorgente
  • Percorsi di esecuzione
  • Range delle variabili
  • Variabili globali

Gestione dei risultati di Polyspace Code Prover

Obiettivo: Gestire i risultati delle verifiche che contengono controlli non verificati. Scoprire come un'impostazione appropriata possa aggiungere ulteriori informazioni sul contesto di esecuzione.

  • Definizione del costo di una verifica
  • Verifica delle ipotesi
  • Esecuzione di una revisione selettiva dei controlli in arancione
  • Prioritizzazione e revisione dei controlli in arancione
  • Revisione di risultati specifici del contesto con vincoli
  • Individuazione di indicatori che sottolineano la necessità di modificare le opzioni di analisi

Analisi di integrazioni e di applicazione

Obiettivo: Interpretare i problemi di integrazione riscontrati da Polyspace Bug Finder e Polyspace Code Prover. Confrontare la verifica di una singola unità con la verifica di un componente integrato.

  • Informazioni sull’impatto dell'integrazione sulla verifica
  • Revisione dei problemi evidenti dopo l'integrazione di un componente
  • Collaborazione con i colleghi nell'interfaccia web

Livello: Intermedio

Prerequisiti:

È consigliata la conoscenza di C o C++.

Durata: 1 giorno

Lingue: English

Contattaci per prendere un appuntamento