Polyspace Access consente ai team di ingegneria del software di gestire la qualità del codice C, C++ e Ada lungo tutto il ciclo di sviluppo. Fornisce un repository per centralizzare i risultati provenienti da Polyspace Bug Finder Server, Polyspace Code Prover Server, Polyspace Server for Ada e Polyspace Test. Tramite l’applicazione web è possibile esplorare componenti e versioni del progetto, tenere sotto controllo l’evoluzione della qualità, approfondire i risultati e collaborare nella gestione e prioritizzazione dei problemi.
Integrandosi con strumenti di gestione dei progetti e sistemi di autenticazione, Polyspace Access consente una collaborazione strutturata e controllata tra i team sulla qualità del software. Se collegato a Polyspace as You Code, Polyspace Access allinea i risultati provenienti dalla CI con le modifiche locali, così puoi concentrarti sui problemi introdotti di recente.
Dashboard di progetto e metriche di qualità
Monitora la qualità del progetto direttamente dal browser con dashboard a livello di progetto, che includono schede e grafici su difetti, regole di codifica, controlli a runtime, risultati dei test e copertura del codice. Puoi approfondire i dati per progetto, file o risultati di analisi e test, e aprire dashboard specifiche per concentrarti su particolari tendenze di qualità. Definisci inoltre obiettivi di qualità in base ai tuoi requisiti di sicurezza e affidabilità.
Revisione collaborativa e triage dei risultati
Analizza i risultati dell’analisi statica del codice, dell’analisi dinamica e dei test direttamente nel browser, con il contesto del codice sorgente. Imposta lo stato dei risultati (Da fare, In corso, Completato), assegna responsabili, aggiungi commenti e filtra i risultati.
Cronologia, baseline e confronti tra esecuzioni
Visualizza le statistiche delle esecuzioni precedenti e confronta i risultati attuali di Polyspace con le baseline, monitorando regressioni e progressi nel tempo per valutare la prontezza del rilascio. Identifica rapidamente nuovi problemi e quantifica i miglioramenti della qualità tra le versioni.
Integrazione con la Software Factory
Centralizza i risultati generati nelle pipeline di CI da Polyspace Bug Finder Server, Code Prover Server, Polyspace Server per Ada e Polyspace Test caricandoli nel repository di Polyspace Access per la revisione via web. Configura i job della CI affinché vengano eseguiti o bloccati in base alle soglie di qualità stabilite per il progetto.
Accesso scalabile basato sui ruoli
Proteggi e controlla l’accesso ai risultati delle analisi per il codice sensibile integrando il sistema con le soluzioni di identity management aziendale tramite LDAP. Aumenta la sicurezza utilizzando SSO.
Distribuzione aziendale
Distribuisci Polyspace Access on-premise o nel cloud utilizzando template per macchine virtuali, container Docker o Kubernetes. Integra l’autenticazione aziendale tramite single sign-on (accesso unico). Monitora lo stato di salute dei server con integrazioni a dashboard di terze parti.
Risorse di prodotto:
Famiglia di prodotti Polyspace
I prodotti Polyspace rendono il codice critico più sicuro e affidabile, testando e monitorando la qualità del software lungo tutto il ciclo di sviluppo.
Polyspace Access
Individua i difetti di codifica, revisiona i risultati dell’analisi statica e monitora le metriche di qualità del software.
Polyspace Copilot
Assistente IA ottimizzato per Polyspace.
Polyspace Test
Sviluppa, gestisci ed esegui test per il codice C e C++ in sistemi embedded.
Polyspace as You Code
Identifica le violazioni degli standard di codifica e le vulnerabilità del software dal tuo IDE.
Polyspace Bug Finder
Controlla le regole di codifica, gli standard di sicurezza e le metriche del codice e individua i bug.
Polyspace Code Prover Server
Verifica in modo continuo ed esaustivo le istruzioni fondamentali del codice C e C++ nelle pipeline di CI.
Polyspace Bug Finder Server
Individua i difetti del software e applica le regole di codifica nelle pipeline di CI.
Polyspace Client for Ada
Verifica in modo esaustivo le unità fondamentali delle istruzioni Ada utilizzando metodi formali.
Polyspace Code Prover
Verifica in modo esaustivo le istruzioni fondamentali di C e C++ utilizzando metodi formali.
Polyspace Server for Ada
Verifica in modo continuo ed esaustivo le istruzioni fondamentali del codice C e C++ nelle pipeline di CI.