Contenuto principale

La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Come iniziare con PolyspaceBug Finder

Individuare bug software tramite l'analisi statica

Polyspace® Bug Finder™ identifica errori di runtime, 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 controllo del software, il flusso dei dati e il comportamento interprocedurale. Evidenziando i difetti non appena vengono rilevati, consente di classificare e correggere i bug nelle fasi iniziali del processo di sviluppo.

Polyspace Bug Finder controlla la conformità agli standard delle regole di codifica, quali MISRA C™, MISRA C++, JSF++, CERT® C, CERT C++ e convenzioni di denominazione personalizzate. Genera report che riportano i bug individuati, le violazioni delle regole di codice e le metriche di qualità del codice, inclusa la complessità ciclomatica. Polyspace Bug Finder può essere utilizzato con l'IDE Eclipse™ per analizzare il codice sul desktop.

Per il codice generato automaticamente, i risultati di Polyspace possono essere ricondotti ai modelli di Simulink® ai blocchi dSPACE® TargetLink®.

Il supporto per gli standard industriali è disponibile tramite IEC Certification Kit (for ISO 26262 and IEC 61508) e DO Qualification Kit (for DO-178).

Tutorial

Distribuzione