Polyspace Bug Finder

Identificazione dei bug del software utilizzando l'analisi statica

Inizia ora:

Rilevamento di bug nelle prime fasi dello sviluppo

Identifica centinaia di classi di bug in fase di scrittura o modifica del codice.

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.

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.

Mostra come usare Polyspace per la generazione di codice in Visual Studio.

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 ai modelli Simulink.

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.

Impostazione delle opzioni del compilatore e del target.

Creazione di codice sicuro e protetto

Traccia la qualità rispetto agli standard industriali.

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.

Rispetto degli standard di sicurezza funzionale supportati.

Standard di sicurezza funzionale supportati.

Rispetto dei requisiti di sicurezza

Rispetta CERT C/C++, ISO 17961 e MISRA C:2012 Emendamento 1.

Configurazione degli standard di codifica e delle metriche del codice.

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 e confronto dei risultati dell’analisi.

Filtraggio dei risultati.

Automatizzazione dell’analisi del codice con Polyspace Bug Finder Server

Facilita l'integrazione continua effettuando prontamente e con frequenza analisi sulle modifiche del codice.

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.

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.

E-mail di notifica con i risultati di Polyspace Bug Finder.

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

Utilizzo di Polyspace nel Cloud.

Utilizzo di Polyspace nel Cloud.

Revisione collaborativa con Polyspace Bug Finder Access

Condividi i risultati dell’analisi e le metriche di qualità con il team di sviluppo del software.

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.

Revisione dei risultati dalla finestra di dettaglio dei risultati.

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.

Nella dashboard della panoramica del progetto vengono indicate le informazioni che è possibile monitorare.

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 e assegnazione di ticket in strumenti di tracking dei bug.

Creazione di ticket.