Polyspace Access

 

Polyspace Access

Identificazione dei difetti di codifica, revisione dei risultati delle analisi statiche e monitoraggio delle metriche di qualità del software

Identificazione dei bug dal proprio IDE

Trova i bug in fase di scrittura o modifica del codice utilizzando il plug-in Polyspace as You Code in un IDE come Visual Studio®, Visual Studio Code o Eclipse. Utilizza le API per l’integrazione in altri IDE ed editor.

Rispetto degli standard di codifica e delle norme di sicurezza

In fase di codifica, applica le regole di codifica del software embedded come MISRA C e MISRA C++, CERT C e CERT C++, AUTOSAR C++14, JSF++ e le regole di naming convention personalizzate.

Analisi e categorizzazione dei risultati dell'analisi statica

Analizza i risultati di Polyspace con il codice sorgente nel tuo browser web. Utilizza gli strumenti di navigazione per studiare e categorizzare i risultati. Condividi i risultati e i commenti per collaborare con i membri del team.

Monitoraggio della qualità del software del progetto

Organizza i tuoi progetti di analisi statica del codice per supportare i team di sviluppo e i relativi workflow. Utilizza le informazioni visualizzate sulle dashboard di progetto per monitorare la qualità del software, lo stato del progetto, il numero di difetti e le metriche del codice.

Integrazione nel tuo ambiente software

Integra Polyspace Access nella tua infrastruttura di sviluppo software per collegare le pipeline di integrazione continua ai risultati dell’analisi statica del codice e per collegare i risultati della verifica del codice al tuo strumento di tracking dei bug e alla gestione del ciclo di vita delle applicazioni (ALM). Installa ed esegui il server web Polyspace Access parallelamente alla distribuzione della tua toolchain, on-premise o sul Cloud.

Famiglia di prodotti Polyspace

I prodotti Polyspace rendono il codice critico sicuro testando e monitorando la qualità del software lungo l’intero ciclo di sviluppo.

Polyspace Access

Identificazione dei difetti di codifica, revisione dei risultati delle analisi statiche e monitoraggio delle metriche di qualità del software.

Polyspace Code Prover Server

Dimostrazione dell’assenza di errori di run-time nel software.  

Polyspace Bug Finder

Identificazione dei bug del software utilizzando l'analisi statica.

Polyspace Test

Sviluppo, gestione ed esecuzione di test per il codice C e C++ in sistemi embedded.

Polyspace Bug Finder Server

Identificazione di difetti software tramite analisi statiche in esecuzione su computer server.

Polyspace Client for Ada

Dimostrazione dell’assenza di errori di run-time nel codice sorgente.

Polyspace Code Prover

Dimostrazione dell’assenza di errori di run-time nel software.

Polyspace Server for Ada

Esecuzione della verifica del codice su cluster di computer e pubblicazione delle metriche.