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.

Famiglia di prodotti Polyspace

prodotti Polyspace rendono il codice critico sicuro testando e monitorando la qualità del software lungo l’intero ciclo di sviluppo.

Polyspace Access

Identificazione dei difetti di codifica, revisione dei risultati delle analisi statiche e monitoraggio delle metriche di qualità del software.

Polyspace Code Prover Server

Dimostrazione dell’assenza di errori di run-time nel software. 

Polyspace Bug Finder

Identificazione dei bug del software utilizzando l'analisi statica.

Polyspace Test

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

Polyspace Bug Finder Server

Identificazione di difetti software tramite analisi statiche in esecuzione su computer server.

Polyspace Client for Ada

Dimostrazione dell’assenza di errori di run-time nel codice sorgente.

Polyspace Code Prover

Dimostrazione dell’assenza di errori di run-time nel software.

Polyspace Server for Ada

Esecuzione della verifica del codice su cluster di computer e pubblicazione delle metriche.