Esame dei risultati in Polyspace
Contattaci per prendere un appuntamentoDettagli dei corsi
- 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:
Durata: 1 giorno
Lingue: English