Hai domande? Contatta l'ufficio commerciale.
Polyspace Test fornisce strumenti per lo sviluppo, la gestione e l’esecuzione di test unitari e di integrazione per il codice C e C++ in sistemi embedded. È possibile creare test con l'API xUnit di Polyspace o con l'editor grafico di test authoring e stub o mock per isolare e verificare il codice testato. Polyspace Test consente di eseguire test su computer host o target embedded, automatizzare l'esecuzione dei test e collegare i test ai requisiti per la tracciabilità.
È possibile eseguire l'analisi della coverage del codice per misurare la completezza dei test con metriche quali decisione, condizione, coverage di condizione/decisione modificata (MC/DC). È possibile utilizzare la generazione automatica di test per ottenere la coverage del codice desiderata, testare i valori limite ed ampliare i casi di test basati sui requisiti.
Polyspace Test include un'interfaccia utente comune che consente di configurare, eseguire e rivedere i risultati degli strumenti di analisi statica di Polyspace. È possibile utilizzare questi risultati per giustificare la coverage del codice mancante e verificare la robustezza dei test.
Grazie all’IEC Certification Kit (per ISO 26262 e IEC 61508) e al DO Qualification Kit (per DO-178) sono supportati numerosi standard industriali.
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.
Risorse di prodotto:
Famiglia di prodotti Polyspace
I 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.
