Polyspace Bug Finder identifica errori di run-time, problemi di concorrenza, vulnerabilità di sicurezza e altri difetti nel software embedded C e C++. Utilizzando l’analisi statica, inclusa l’analisi semantica, Polyspace Bug Finder analizza il flusso di controllo, il flusso di dati e il comportamento interprocedurale del software. Evidenziando i difetti non appena vengono rilevati, è possibile categorizzare e risolvere i bug più velocemente nel processo di sviluppo.
Polyspace Bug Finder verifica la conformità agli standard delle regole di codifica come MISRA C®, MISRA C++, AUTOSAR C++14, CERT® C, CERT C++ e anche a regole di naming convention personalizzate. Genera report che includono i bug rilevati, violazioni delle regole di codifica e metriche di qualità del codice, tra cui la complessità ciclomatica.
Per il codice generato automaticamente, i risultati di Polyspace possono essere ricondotti a modelli Simulink e a blocchi dSPACE® TargetLink®.
Grazie all’IEC Certification Kit (per ISO 26262 e IEC 61508) e al DO Qualification Kit (per DO-178) sono supportati numerosi standard industriali.
Identificazione dei bug e delle vulnerabilità del software
Individua diverse categorie di bug come vulnerabilità di sicurezza, difetti di concorrenza e difetti numerici. Configura l'analisi per qualsiasi compilatore, processore target e ambiente RTOS.
Conformità agli standard di codifica
Applica gli standard di codifica del software embedded come MISRA C e MISRA C++, AUTOSAR C++14, JSF++, e le regole di naming convention personalizzate.
Test statici di sicurezza delle applicazioni
Rileva vulnerabilità e problemi di sicurezza e rendi sicura la tua applicazione. Rispetta gli standard e le linee guida di codifica in materia di sicurezza come CERT C/C++, CWE, ISO 17961 e MISRA C:2012 Emendamento 1.
Assistenza per certificazione
Crea gli artefatti necessari per completare il processo di certificazione per gli standard industriali di sicurezza come IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C, fino ai più alti livelli di sicurezza funzionale.
Monitoraggio della qualità del software
Genera metriche del codice per misurare e migliorare la qualità del codice sorgente. Confronta i risultati dell’analisi con le soglie di qualità.
Analisi interattiva sul desktop
Esegui l’analisi e rivedi i risultati sul tuo computer desktop. Individua la causa principale di bug complessi con viste debugger, tracce degli eventi e grafici delle chiamate. Risolvi i risultati e genera report.
Risorse di prodotto:
“Con Polyspace, possiamo garantire la sicurezza e la qualità del software individuando e correggendo gli errori critici di run-time prima dell’unione dei codici.”
Johannes Foufas, Volvo Cars
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.