Hai domande? Contatta l'ufficio commerciale.
Polyspace Test offre strumenti per creare, gestire ed eseguire test unitari e di integrazione, oltre ad analizzare la coverage strutturale del codice C e C++ nei sistemi applicazioni 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. È inoltre possibile strumentare il codice per verificare la presenza di errori di runtime e di memoria.
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.
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 (con Polyspace Test Server). 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 Test Server
Esegui test e analizza la copertura strutturale del codice C/C++ su server di automazione.
Polyspace Code Prover Server
Verifica continua e approfondita delle istruzioni critiche del codice C e C++ nelle pipeline di integrazione continua.
Polyspace Bug Finder
Controlla le regole di codifica, gli standard di sicurezza e le metriche del codice e individua i bug.
Polyspace Client for Ada
Verifica in modo esaustivo le unità fondamentali delle istruzioni Ada utilizzando metodi formali.
Polyspace Bug Finder Server
Individua i difetti del software e applica le regole di codifica nelle pipeline di CI.
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
Verifica in modo esaustivo le istruzioni fondamentali di C e C++ utilizzando metodi formali.
FAQ su Polyspace Test
Polyspace Test offre strumenti per creare, gestire ed eseguire test unitari e di integrazione, oltre ad analizzare la coverage strutturale del codice C e C++ nei sistemi embedded.
Polyspace Test supporta il codice C e C++ nei sistemi embedded.
Puoi creare test utilizzando l’API xUnit di Polyspace oppure in modo interattivo tramite un editor grafico di test authoring e creare stub e mock per isolare i componenti sottoposti a test.
Sì, Polyspace Test consente di eseguire test, raccogliere metriche di coverage del codice e profilare memoria ed esecuzione su hardware target e host.
Polyspace Test fornisce metriche di coverage del codice standard del settore quali decisione, condizione, coverage di condizione/decisione modificata (MC/DC).
Sì, Polyspace Test è in grado generare automaticamente test per integrare i casi di test creati manualmente, raggiungere la coverage del codice desiderata, testare i valori limite ed ampliare i casi di test basati sui requisiti.
Sì, puoi collegare i test C e C++ ai requisiti creati con strumenti esterni come IBM DOORS, IBM DOORS Next, Microsoft Word o Microsoft Excel per garantire la tracciabilità.
Sì, Polyspace Test ha ottenuto la certificazione da TÜV SÜD per l’uso con gli standard IEC 61508 e ISO 26262 e fornisce report e artefatti per i processi DO-178C tramite kit di certificazione.
Sì, Polyspace Test può essere utilizzato con i più diffusi strumenti di integrazione continua, tra cui Jenkins e Bamboo, per supportare workflow DevOps moderni e processi automatizzati. Polyspace Test include inoltre un’API Python completa che aiuta gli sviluppatori ad eseguire l’integrazione con l’infrastruttura CI/CD esistente.
Polyspace Test include un’interfaccia utente comune che consente di configurare, eseguire e rivedere i risultati di Polyspace Bug Finder e Polyspace Code Prover, utilizzare i risultati dell’analisi statica per giustificare la coverage del codice mancante, generare test e strumentare il codice per il controllo dinamico degli errori di runtime e di memoria.
