Hai domande? Contatta l’ufficio commerciale.
Polyspace Test mette a disposizione strumenti per la verifica del software embedded in C/C++, consentendo di progettare, gestire ed eseguire test unitari e di integrazione, oltre a valutare la coverage del codice. Polyspace Test consente di sviluppare test tramite l’API xUnit o un editor grafico dedicato, utilizzando stub e mock per simulare le dipendenze e validare il codice in modo mirato. 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.
Grazie a un’interfaccia centralizzata, Polyspace Test permette di gestire l’intero flusso di analisi statica, dalla configurazione all’esecuzione fino alla consultazione dei risultati. È possibile utilizzare questi risultati per giustificare la coverage del codice mancante e verificare la robustezza dei test.
Il supporto relativo agli standard industriali è disponibile nell’IEC Certification Kit (per ISO 26262 e IEC 61508) e nel DO Qualification Kit (per DO-178).
Sviluppo ed esecuzione di test unitari e di integrazione
Crea ed esegui test per applicazioni C/C++ sfruttando l’API xUnit di Polyspace Test o un ambiente grafico intuitivo per la definizione e la gestione dei casi di test. Crea stub e mock per isolare i componenti da verificare e integrati con librerie di mocking di terze parti, come gMock.
Misurazione della coverage del codice ed esecuzione del profilo
Valuta la coverage del codice utilizzando metriche riconosciute a livello industriale, come 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
Traccia i test C/C++ nell’interfaccia utente fino ai requisiti definiti in strumenti esterni come IBM® DOORS®, IBM DOORS Next, Microsoft® Word, o Microsoft Excel®.
Esecuzione di test su computer host e hardware target
Esegui i test, raccogli le metriche di coverage del codice e analizza le prestazioni in termini di memoria e tempo di esecuzione sia su host che su hardware target.
Generazione di test per soddisfare gli obiettivi di coverage e i valore limite
Genera automaticamente test per integrare i casi di test creati manualmente e soddisfare i requisiti di coverage del codice e di analisi dei valori al limite.
Conformità agli standard di 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 nei workflow di DevOps
Supporta le moderne pratiche di sviluppo software integrando Polyspace Test nei workflow DevOps esistenti e nei processi automatizzati. Polyspace Test può essere utilizzato con i più diffusi strumenti di integrazione continua, tra cui Jenkins e Bamboo®.
Integrazione di analisi statica e test dinamici
Gestisci analisi statica (con Polyspace Bug Finder o Polyspace Code Prover) e testing (con Polyspace Test), inclusa configurazione, esecuzione e revisione dei progetti, in un’unica interfaccia. Sfrutta i workflow di analisi del codice per individuare criticità nei test, validare l’irraggiungibilità di alcuni rami e soddisfare requisiti avanzati di coverage del codice.
Generazione del profiling degli errori di runtime tramite sanitizer
Esegui i test con un code sanitizer abilitato per rilevare errori a runtime. Visualizza i risultati sotto forma di errori di test oppure come report di profiling generato dal sanitizer.
Risorse di prodotto:
Famiglia di prodotti Polyspace
I prodotti Polyspace rendono il codice critico più sicuro e affidabile, testando e monitorando la qualità del software lungo tutto il ciclo di sviluppo.
Polyspace Access
Individua i difetti di codifica, revisiona i risultati dell’analisi statica e monitora le metriche di qualità del software.
Polyspace Copilot
Assistente AI ottimizzato per Polyspace.
Polyspace Test
Sviluppa, gestisci ed esegui test per il codice C e C++ in sistemi embedded.
Polyspace as You Code
Identifica le violazioni degli standard di codifica e le vulnerabilità del software dal tuo IDE.
Polyspace Bug Finder
Controlla le regole di codifica, gli standard di sicurezza e le metriche del codice e individua i bug.
Polyspace Code Prover Server
Verifica continua e approfondita delle istruzioni critiche del codice C e C++ nelle pipeline di integrazione continua.
Polyspace Bug Finder Server
Individua i difetti del software e applica le regole di codifica nelle pipeline di CI.
Polyspace Client for Ada
Verifica in modo esaustivo le unità fondamentali delle istruzioni Ada utilizzando metodi formali.
Polyspace Code Prover
Verifica in modo esaustivo le istruzioni fondamentali di C e C++ utilizzando metodi formali.
Polyspace Server for Ada
Verifica in modo continuo ed esaustivo le istruzioni fondamentali del codice C e C++ nelle pipeline di CI.
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
Polyspace Test FAQs
Polyspace Test provides tools for developing, managing, and executing unit and integration tests and analyzing structural coverage for C and C++ code in embedded systems.
Polyspace Test supports C and C++ code in embedded systems.
You can create tests using the Polyspace xUnit API or interactively using a graphical test authoring editor, and create stubs and mocks to isolate components under test.
Yes, Polyspace Test lets you execute tests, collect code coverage metrics, and profile memory and execution on both host computers and target hardware.
Polyspace Test provides industry standard code coverage metrics including decision, condition, and modified condition/decision coverage (MC/DC).
Yes, Polyspace Test can automatically generate tests to augment manually created test cases, achieve desired code coverage, test boundary values, and extend requirements-based test cases.
Yes, you can link C and C++ tests to requirements authored in external tools such as IBM DOORS, IBM DOORS Next, Microsoft Word, or Microsoft Excel for traceability.
Yes, Polyspace Test has been certified by TÜV SÜD for use with IEC 61508 and ISO 26262 standards, and provides reports and artifacts for DO-178C processes through certification kits.
Yes, Polyspace Test works with popular continuous integration tools including Jenkins and Bamboo to support modern DevOps workflows and automated processes. Polyspace Test also includes a complete Python API that helps developers integrate with existing CI/CD infrastructure.
Polyspace Test includes a common user interface that enables you to configure, run, and review results from Polyspace Bug Finder and Polyspace Code Prover, and use static analysis results to justify missing code coverage, generate tests, and instrument for dynamic run-time error and memory checking.
