Come iniziare con PolyspaceBug Finder
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
- Esecuzione di Polyspace Bug Finder su desktop
Controllare il codice C/C++ per individuare eventuali difetti, violazioni delle regole di codifica o vulnerabilità di sicurezza. - Revisione dei risultati di Polyspace Bug Finder nell'interfaccia utente di Polyspace
Interpretare i risultati Polyspace Bug Finder, correggere il codice o giustificare i risultati, gestire i risultati. - Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products. - Benefits and Limitations of Switching to Polyspace Platform User Interface
Import projects created in older user interface, run tests or static analysis on imported projects. - Esecuzione di Polyspace Bug Finder nell'interfaccia utente di Polyspace Platform
Controllare il codice C/C++ per individuare eventuali difetti, violazioni delle regole di codifica o vulnerabilità di sicurezza. - Revisione dei risultati di Polyspace Bug Finder nell'interfaccia utente di Polyspace Platform
Interpretare i risultati Polyspace Bug Finder, correggere il codice o giustificare i risultati, gestire i risultati. - Guida all'avvio rapido dei prodotti di Polyspace Server e Access
Scoprire cosa è necessario fare per impostare le esecuzioni di Polyspace per un progetto, un team o un'organizzazione. - Esecuzione di Polyspace Bug Finder sul server e caricamento dei risultati sull'interfaccia web
Controllare il codice dopo l'invio per individuare eventuali difetti e violazioni degli standard di codifica e caricare i risultati per la revisione nell'interfaccia web. - Triage and Assign Results in Polyspace Access Web Interface (Polyspace Access)
Navigate the dashboard, filter results, and assign issues to team members. - Invio di notifiche via e-mail con i risultati di Polyspace Bug Finder Server
Inviare e-mail agli sviluppatori con allegati contenenti collegamenti ai risultati di Polyspace. - View Assigned Results in Polyspace Access Web Interface (Polyspace Access)
See the results that are assigned to you. - Invio dell'analisi Bug Finder dal desktop al server ospitato localmente
Trasferire l'analisi Polyspace su un server ospitato localmente e revisionare i risultati scaricati sul desktop. - Check Code Quality in IDE Before Submitting (Polyspace Access)
Run a single file analysis and review results in Visual Studio®, Visual Studio Code, or Eclipse using Polyspace as You Code extensions.
Desktop
Interfaccia utente di Polyspace Platform
Server e interfaccia web
Da desktop a server
IDE
Distribuzione
- Prodotti di Polyspace e workflow di sviluppo software
Scoprire i prodotti di Polyspace che possono essere utilizzati nel ciclo di vita dello sviluppo software.
- Differenze tra Polyspace Bug Finder e Polyspace Code Prover
Scoprire in che modo Bug Finder e Code Prover si completano a vicenda e quando utilizzare ciascun prodotto nel workflow di sviluppo.
- Workflow utilizzando sia Polyspace Bug Finder che Polyspace Code Prover
Incorporare le analisi Bug Finder e Code Prover nel workflow di sviluppo software.