Test del codice C con il Polyspace Test

Dettagli dei corsi

Questo corso pratico di due giorni illustra l’uso di Polyspace Test™ per verificare dinamicamente software C, sia in ambienti host sia target, rispetto ai comportamenti attesi e agli obiettivi di copertura del codice.

Elenco degli argomenti:

Creazione ed esecuzione di test grafici semplici e complessi
Misurazione della copertura del codice di un insieme di casi di test e generazione di casi di test per copertura mancante
Utilizzo di stub e mock per sostituire le chiamate a funzione nel codice in test
Creazione, compilazione ed esecuzione di suite di test e casi di test utilizzando l’API C xUnit
Registrazione di un pacchetto di supporto target fornito ed esecuzione di casi di test su un target esterno
Generazione di report dai risultati di Polyspace Test

Giorno 1/2

Creazione di test grafici

Obiettivo: Acquisisci familiarità con l’ambiente della piattaforma Polyspace e crea ed esegui test grafici semplici.

Creazione di un progetto Polyspace
Configurazione dell’ambiente di test
Creazione di test grafici semplici
Informazioni sugli artefatti generati
Generazione di report di test

Gestione di dati complessi

Obiettivo: Crea test grafici per codice che contiene diversi formati di dati e ambiti di variabili.

Valutazione di valori in virgola mobile
Inizializzazione e valutazione di variabili globali
Inizializzazione e valutazione di puntatori
Inizializzazione e valutazione di strutture
Inizializzazione e valutazione di array

Creazione di test complessi

Obiettivo: Crea test con più chiamate di funzione ed esegui test a esplorazione parametrica (parameter sweep).

Creazione di test a più fasi
Creazione di test parametrizzati
Creazione di test scriptati

Profilazione, copertura e generazione di test

Obiettivo: Esegui i test con strumentazione per ottenere diversi livelli di copertura del codice, profilazione del tempo di esecuzione e profilazione dello stack.

Misurazione della copertura del codice
Generazione di test per copertura del codice mancante
Profilazione del tempo di esecuzione
Profilazione dell’utilizzo della memoria
Automazione della copertura del codice e della profilazione da riga di comando

Giorno 2/2

Utilizzo di stubs e mock

Obiettivo: Aggiungi funzioni stub per i chiamanti senza implementazione e crea mock per i chiamanti che devono essere sostituiti durante i test.

Panoramica di stubs e mock
Stub di variabili globali non definite
Stub di funzioni non definite
Mocking di funzioni definite
Utilizzo di variabili mock

Creazione di test con l’API C xUnit

Obiettivo: Acquisisci familiarità con test semplici nell’API C xUnit e compila ed esegui i test direttamente con una toolchain esterna.

Panoramica dell’API C xUnit
Creazione, esecuzione e revisione di test basati su xUnit
Utilizzo delle macro di valutazione (assessment macros)
Esportazione dei risultati di test
Importazione di test xUnit in progetti Polyspace

Creazione di test complessi con l’API C xUnit

Obiettivo: Crea test utilizzando l’API C xUnit, organizzati in suite, test parametrizzati (parameter sweep) e test che valutano dati di tipi personalizzati.

Configurazione delle suite di test
Creazione (authoring) di test parametrizzati
Confronto di oggetti con tipi di dati personalizzati
Misurazione della copertura del codice
Misurazione del tempo di esecuzione e dell’utilizzo della memoria

Esecuzione di test on target

Obiettivo: Esegui la cross-compilazione e l’esecuzione di casi di test esistenti su un target esterno e analizzane le prestazioni e la copertura del codice.

Panoramica dei test on-target
Registrazione dei target
Esecuzione di test on target
Profilazione on-target

Livello: Avanzato

Prerequisiti:

Conoscenza avanzata di C o C++

Durata: 2 giorno

Contattaci per prendere un appuntamento

Corsi correlati

Polyspace per la verifica del codice C/C++

Dimostra la correttezza del codice, rivedi e comprendi i risultati della verifica, gestisci funzioni e dati mancanti, misura le metriche di qualità del software e applica le regole MISRA C.

Per saperne di più