Polyspace Access consente ai team di ingegneria dei software di verificare la qualità del loro codice durante tutto il ciclo di vita di sviluppo del software. Include Polyspace as You Code, un plugin IDE che consente agli sviluppatori di rilevare le deviazioni di conformità del codice, i difetti del software e le vulnerabilità di sicurezza prima dell’integrazione del codice. Fornisce anche l'accesso a un'interfaccia web per esaminare i risultati dell'analisi statica del codice sorgente integrato, prodotto da Polyspace Bug Finder Server e Polyspace Code Prover Server.
Polyspace as You Code rileva i difetti critici e le vulnerabilità in termini di sicurezza e verifica la conformità del codice agli standard delle regole di codifica come MISRA C®, MISRA C++, AUTOSAR -C++-14, CERT® C, CERT C++ e alle regole di naming convention personalizzate. Integrato come plugin nell’IDE dello sviluppatore come Visual Studio®, Visual Studio Code o Eclipse™, riporta i risultati nella vista del codice sorgente. Quando è collegato all’archivio centrale di Polyspace Access, è in grado di evidenziare solo i nuovi problemi aggiunti dallo sviluppatore rispetto alla baseline di sviluppo.
L'interfaccia web consente agli sviluppatori e agli ingegneri della qualità di collaborare per progetti sui risultati dell'analisi statica del codice. Dalla dashboard del progetto ai dettagli dei risultati, i membri del team possono monitorare le tendenze della qualità e analizzare, rivedere e assegnare le vulnerabilità del software, le metriche del codice, gli errori critici di run-time e la conformità agli standard di codifica. L'integrazione con strumenti di gestione dei progetti come JIRA consente la collaborazione team-based sulla qualità del codice. Polyspace Access include un archivio centrale, ospitato on-premise o su cloud, che si integra con sistemi di autenticazione come LDAP per controllare l'accesso ai dati del progetto.
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.
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.
Risorse di prodotto:
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.