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.
