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.

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.

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.

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.

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.

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

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.