Polyspace Bug Finder

Identificazione dei bug del software utilizzando l'analisi statica

Richiedi una versione di prova
Richiedi una quotazione

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.

Che cos’è Polyspace Bug Finder?.
Il video dura 2:05.
Che cos’è Polyspace Bug Finder?
Elenchi dei tipi di bug.

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.

Documentazione

Elenchi di controlli delle regole di codifica.

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.

Documentazione

Applicazione che rispetta i requisiti di sicurezza.

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.

Documentazione

Sono supportati sette standard industriali di sicurezza.

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.

Documentazione

Ricollegamento del codice dalla sorgente a Simulink o Stateflow.

Integrazione con Simulink e Stateflow

Esegui l’analisi sul codice generato e ricollega i risultati dal codice sorgente al blocco del modello  Simulink o al grafico Stateflow® corrispondente. Avvia l’analisi Polyspace direttamente dall’ambiente Simulink.

Documentazione

Grafico di metriche del codice e tendenze della qualità.

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à.

Documentazione

Utilizzo di Polyspace Bug Finder su un computer desktop.

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.

Documentazione

Risorse di prodotto:

Documentazione Video Requisiti del prodotto Note della release
Volvo Cars Software Factory Increases Pace and Quality of Development with Polyspace

“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
Visualizza altri casi dei clienti

Vuoi saperne di più su Polyspace Bug Finder?

Richiedi una versione di prova Richiedi una quotazione

Hai domande?

Contatta l’assistenza tecnica di Polyspace Bug Finder.