Polyspace Test

 

Polyspace Test

Sviluppo, gestione ed esecuzione di test per il codice C e C++ in sistemi embedded

Sviluppo ed esecuzione di test unitari e di integrazione

Sviluppa ed esegui test per codice C e C++ utilizzando l'API xUnit di Polyspace Test o in modo interattivo con un editor grafico di test authoring. Crea stub e mock per isolare i componenti in fase di test per l’integrazione con librerie di mock di terze parti, come gMock.

Misurazione della coverage del codice ed esecuzione del profilo

Genera e rivedi la coverage del codice per le metriche standard del settore, tra cui decisione, condizione e MC/DC. Esegui test con profilazione dell'esecuzione del codice per identificare le sezioni di codice che richiedono miglioramenti della memoria e delle prestazioni in runtime.

Collegamento di test a requisiti software

Collega i test C e C++ nell'interfaccia utente ai requisiti di test redatti in un editor o strumento esterno come IBM® DOORS®, IBM DOORS Next, Microsoft® Word, o Microsoft Excel®.

Esecuzione di test su computer host e hardware target

Esegui test, raccogli metriche di coverage del codice, profila memoria ed esecuzione su hardware target e host.

Generazione di test per soddisfare gli obiettivi di coverage e i valore limite

Genera automaticamente test per aumentare i casi di test creati manualmente e affrontare la coverage incompleta del codice e i test dei valori limite.

Assistenza per certificazione

Crea gli artefatti necessari per completare i processi di certificazione per gli standard industriali. Polyspace Test ha ottenuto la certificazione da TÜV SÜD per l’uso con gli standard IEC 61508 e ISO 26262. Utilizza report e artefatti per i processi DO-178C.

Automazione e integrazione di DevOps

Supporta le moderne pratiche di sviluppo software inserendo Polyspace Test nei workflow e nei processi automatizzati DevOps esistenti. Polyspace Test può essere utilizzato con i più diffusi strumenti di integrazione continua, tra cui Jenkins e Bamboo®.

Gestione centralizzata dell'analisi statica e dei test dinamici

Configura, esegui e visualizza i risultati di Polyspace Bug Finder, Polyspace Code Prover e Polyspace Test da un'interfaccia utente comune.

Uso dell'analisi statica per completare i test dinamici

Giustifica la coverage mancante per il codice non eseguibile da Polyspace Code Prover. Garantisci l'affidabilità e la coerenza dei test analizzandoli per trovare difetti ed errori di esecuzione.