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

Desktop

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

Interfaccia utente di Polyspace Platform

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

Server e interfaccia web

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

Da desktop a server

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

IDE

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

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.