Polyspace Bug Finder
Identificazione dei bug del software utilizzando l'analisi statica
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 software di controllo, il flusso di dati e il comportamento interprocedurale. 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. È possibile utilizzare Polyspace Bug Finder con l’Ecliplse™ IDE per analizzare il codice sul tuo desktop.
Per il codice generato automaticamente, i risultati di Polyspace® possono essere ricondotti a modelli Simulink® e a blocchi dSPACE® TargetLink®.
Il supporto relativo agli standard industriali è disponibile nell’IEC Certification Kit (per ISO 26262 e IEC 61508) e nel DO Qualification Kit (per DO-178).
Inizia ora:
Individuazione della causa principale dei bug complessi
Visualizza il tuo codice in una vista debugger per tracciare eventi, i valori delle variabili e gli alberi delle chiamate.
Creazione del proprio percorso di navigazione.
Identificazione dei bug dall'interno del proprio IDE in fase di codifica
Trova i bug in fase di scrittura o modifica del codice utilizzando Polyspace as You Code all’interno di un IDE come Visual Studio®, Visual Studio Code o Eclipse.
Uso di Polyspace per la generazione di codice in Visual Studio.
Ricollegamento dell’analisi del codice ai modelli Simulink
Esegui l’analisi sul codice generato e ricollega i risultati al blocco del modello sorgente.
Ricollegamento dell’analisi del codice al modello.
Configurazione per qualsiasi ambiente di run-time
Integra Polyspace Bug Finder in qualsiasi compilatore, processore target e ambiente RTOS.
Impostazione delle opzioni del compilatore e del target.
Rispetto delle regole di codifica e dei requisiti di certificazione
Applica MISRA C, MISRA C++, AUTOSAR C++14, JSF++ e regole personalizzate. Rispetta ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304 e altri standard.
Standard di sicurezza funzionale supportati.
Rispetto dei requisiti di sicurezza
Rispetta CERT C/C++, ISO 17961 e MISRA C:2012 Emendamento 1.
Configurazione dei controlli delle regole di codifica.
Monitoraggio della qualità del software del progetto
Confronta i risultati delle analisi con le soglie di qualità per consentire al team software di collaborare più facilmente e monitorare le milestone del progetto.
Filtraggio dei risultati.
Analisi delle build integrate
Esegui l'engine di analisi statica Polyspace Bug Finder Server™ su una macchina server con strumenti di automazione delle build come Jenkins e Bamboo.
Integrazione dei prodotti Polyspace nel proprio ambiente di integrazione continua.
Notifica e caricamento dei risultati per la revisione collaborativa
Assegna automaticamente difetti ai proprietari dei componenti, invia e-mail di notifica e carica i risultati su Polyspace Bug Finder Access™ per poter categorizzare e risolvere i problemi.
Invio di e-mail di notifica con i risultati di Polyspace Bug Finder.
Esecuzione su piattaforme Cloud pubbliche
Ottieni più potenza di calcolo utilizzando hardware specialistici nel Cloud. MathWorks® offre architetture di riferimento che consentono di fornire distribuzioni di Polyspace Server su piattaforme Cloud come AWS® e Azure®.
Use Polyspace in the Cloud.
Revisione dei risultati dell’analisi per categorizzare e risolvere i problemi
Polyspace Bug Finder Access fornisce un’interfaccia browser web per i risultati dell'analisi statica del codice Polyspace e le metriche di qualità memorizzate in un archivio centrale. Gli strumenti di navigazione per analizzare i risultati dell’analisi statica vengono visualizzati accanto al codice.
Finestra di dettaglio dei risultati.
Monitoraggio delle metriche di qualità del software e del progetto
Le dashboard mostrano le informazioni da utilizzare per monitorare la qualità del software, lo stato del progetto, il numero di difetti e le metriche del codice.
Dashboard della panoramica del progetto.
Integrazione con gli strumenti di tracking dei bug già in uso
Utilizza l'interfaccia browser web per creare e assegnare ticket in strumenti di tracking dei bug come Jira.
Creazione di ticket.
