Polyspace Code Prover

Dimostrare l’assenza di errori di runtime nel software

Polyspace Code Prover™ è uno strumento di analisi statica audio che dimostra l'assenza di overflow, divisioni per zero, accesso array fuori limite e altri errori di runtime nel codice sorgente C e C++. Produce risultati senza richiedere l'esecuzione dei programmi, la strumentazione del codice o test case. Polyspace Code Prover utilizza l'analisi semantica e l'interpretazione astratta sulla base di metodi formali per verificare il comportamento di flusso di dati, di controllo e interprocedurale. Puoi usarlo per verificare codice scritto a mano, codice generato o una combinazione dei due. Ciascuna affermazione di codice è codificata tramite un colore per indicare se è priva di errori di runtime, se ha dato esito negativo, se risulta irraggiungibile o non dimostrata.

Polyspace Code Prover visualizza informazioni sui range per variabili e valori di ritorno di funzione e può dimostrare quali variabili superano limiti di range specifici. I risultati della verifica del codice possono essere utilizzati per tracciare metriche di qualità e controllare la conformità con gli obiettivi di qualità del software. Polyspace Code Prover può essere usato con Eclipse™ IDE per verificare il codice sul proprio desktop

Il supporto relativo agli standard industriali è disponibile nell’IEC Certification Kit (per IEC 61508 e ISO 26262) e nel DO Qualification Kit (per DO-178).

Inizia ora:

Verificare il codice utilizzando la matematica formale

Raggiungi livelli elevati di qualità e sicurezza senza falsi negativi.

Dimostrare l’assenza di errori di runtime critici

Identifica operazioni di codice C/C++ e Ada per cui non si verificherà mai un errore di runtime, indipendentemente dalle condizioni di runtime.

Rilevamento di errori di runtime

Rilevare errori in grado di eludere altri metodi di test

Analizzare tutti i percorsi di codice rispetto a tutti i possibili input senza l'esecuzione di codice.

Gerarchia delle chiamate.

Creare artefatti di certificazione

Completa il processo di certificazione per progetti basati su standard del settore.

DO Qualification Kit.

Comprendere e migliorare il codice

Riduci il tempo per il debugging, il test di robustezza e le revisioni del codice.

Comprendere le cause alla base dei problemi e migliorare la progettazione

Esamina il controllo e il flusso di dati attraverso il software e visualizza le informazioni sul range associate a variabili e operatori.

Tooltip che mostra i range possibili per tutte le condizioni di runtime.

Prevenire un comportamento indesiderato del software

Trova tutte le sezioni di codice che non possono essere raggiunte tramite alcun percorso di esecuzione ed errori nella logica e nella struttura del programma.

Trova dead code.

Tracciare i risultati della verifica del codice ai modelli Simulink

Esegui la verifica sul codice generato e traccia i risultati al blocco del modello sorgente in Simulink.

Tracciamento dei risultati della verifica del codice al modello Simulink.

Automatizzare la verifica del codice con Polyspace Code Prover Server

Abilita l'integrazione continua effettuando analisi sulle modifiche del codice presto e spesso.

Automatizzare il processo di verifica del codice

Utilizza Polyspace Code Prover Server™ per eseguire il motore di analisi statica Polyspace Code Prover su una macchina server-class con strumenti di automazione delle build come Jenkins e Bamboo.

Automatizzazione del processo di verifica del codice.

Notificare e caricare i risultati per una revisione collaborativa

Assegnare automaticamente difetti ai proprietari dei componenti, inviare e-mail di notifica e caricare i risultati su Polyspace Code Prover Access in modo da categorizzare e risolvere i problemi.

Invio di e-mail di notifica con i risultati Polyspace Code Prover.

Revisione collaborativa con Polyspace Code Prover Access

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

Rivedere i risultati Polyspace Code Prover in modo da categorizzare e risolvere i problemi

Polyspace Code Prover Access™ fornisce un'interfaccia browser web per le metriche di qualità e i risultati di verifica del codice Polyspace memorizzati in un archivio centrale. Utilizza gli strumenti di navigazione nel tuo web browser per analizzare i risultati di verifica del codice, che vengono visualizzati insieme al codice.

Rilevamento di errori di runtime

Obiettivi di qualità del progetto e del software

Le dashboard mostrano le informazioni che puoi utilizzare per monitorare la qualità del software, lo stato del progetto, il numero di difetti, le metriche del codice e gli obiettivi di qualità del software.

Dashboard della panoramica del progetto.

Integrare con gli strumenti di tracciamento di bug già in uso

Utilizza l'interfaccia browser web per creare e assegnare ticket in strumenti di tracciamento di bug come Jira.

Crea ticket.

Funzionalità recenti

Modalità con variabili condivise

Esecuzione di un’analisi Code Prover meno approfondita sull’applicazione completa per calcolare esclusivamente la condivisione e l’utilizzo di variabili globali

Supporto di compilatori

Semplice configurazione dell’analisi Polyspace per codice compilato con compilatori Cosmic

Supporto per Simulink

Analisi del codice generato mediante i pulsanti contestuali sulla barra degli strumenti dell’Editor di Simulink

Supporto per Simulink

Verifica del codice personalizzato richiamato dai blocchi Caller C e dai grafici Stateflow nel contesto del modello

Guarda le note di rilascio per ulteriori informazioni su queste feature e sulle funzioni corrispondenti.

Prova gratuita

30 giorni di esplorazione a tua disposizione.

Scarica ora

Pronto per acquistare?

Richiedi una quotazione ed esplora i prodotti correlati.

Sei uno Studente?

Acquista MATLAB e Simulink per studenti.

Scopri di più