Polyspace Test Server
Test e analisi della coverage strutturale del codice C/C++ su server di automazione
Hai domande? Contattare l'ufficio commerciale.
Polyspace Test Server viene eseguito su server di automazione. Fornisce strumenti per gestire ed eseguire test unitari e di integrazione e per analizzare la coverage strutturale del codice embedded C/C++ sui server di automazione. È possibile eseguire test basati su host o su target sui server CI. Inoltre è possibile eseguire l’analisi della coverage del codice per misurare la completezza dei test utilizzando metriche quali decisione, condizione, coverage di condizione/decisione modificata (MC/DC).
La generazione automatica dei test ti aiuta a raggiungere la coverage del codice desiderata, testare i valori limite ed ampliare i test basati sui requisiti attraverso l’automazione basata sulla CI. È possibile utilizzare i risultati dei test e della coverage per giustificare la coverage del codice mancante e verificare la robustezza dei test. Polyspace Test Server supporta il caricamento dei risultati dei test e delle analisi in Polyspace Access per la revisione.
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).
Esecuzione di test unitari e di integrazione sui server di automazione
Esegui test per il codice C/C++ con l’API xUnit di Polyspace Test utilizzando un progetto Polyspace Test sui server di automazione.
Misurazione della coverage del codice ed esecuzione del profilo
Genera i risultati di coverage del codice per metriche standard del settore quali decisione, condizione e coverage di condizione/decisione modificata (MC/DC). Esegui test con profilazione dell’esecuzione per identificare le sezioni di codice che richiedono miglioramenti nell’utilizzo della memoria e nelle prestazioni in runtime.
Esecuzione di test su computer host e hardware target
Esegui test e raccogli le metriche di coverage del codice su server di automazione su hardware target e host.
Integrazione nei workflow DevOps automatizzati
Supporta le moderne pratiche di sviluppo software integrando Polyspace Test Server nei workflow DevOps esistenti e nei processi automatizzati. Polyspace Test Server può essere utilizzato con i più diffusi strumenti di integrazione continua, tra cui Jenkins e Bamboo®.
Conformità agli standard di certificazione
Crea gli artefatti necessari per completare i processi di certificazione per gli standard industriali. Polyspace Test Server 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.
Generazione del profiling degli errori di runtime tramite sanitizer
Esegui i test su server di automazione con l’opzione code sanitizer abilitata per rilevare gli errori di runtime. Visualizza i risultati in Polyspace Access 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 coverage 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.
