Polyspace

Test del software e valutazione della qualità del codice

Hai domande? Contatta l’ufficio commerciale.

Polyspace consente di testare il software e analizzare il codice

I prodotti Polyspace forniscono un’unica soluzione per gestire, misurare e monitorare la qualità del software nel corso dell’intero ciclo di sviluppo.

Verifica in modo esaustivo le istruzioni fondamentali del codice C, C++ e Ada.
Individua centinaia di vulnerabilità del codice C/C++.
Controlla le regole di codifica, tra cui MISRA C™ 2012, AUTOSAR C++14 e CERT^® C/C++.
Crea, gestisci ed esegui casi di test e misura la coverage del codice su host e hardware target.
Analizza l’implementazione dell’architettura software.

Polyspace verifica che i software siano sicuri, protetti, affidabili e ad alte prestazioni

I prodotti Polyspace forniscono funzionalità di test e verifica del codice che aiutano i team di ingegneria dei software a raggiungere questi requisiti di qualità in un unico ambiente.

Garantisci l’affidabilità del software valutando la qualità del codice.
Incrementa la sicurezza del software individuando le vulnerabilità critiche.
Migliora la correttezza funzionale del software realizzando test basati sui requisiti.
Sviluppa software performanti profilando l’esecuzione e individuando il codice non ottimale.
Supporta standard di sicurezza come DO-178C, IEC 61508, ISO 26262 e ISO/SAE 21434.

Il centro software di Volvo Cars aumenta la velocità e la qualità dello sviluppo con Polyspace

“Con Polyspace, possiamo garantire la sicurezza e la qualità del software individuando e correggendo gli errori critici di runtime prima dell’unione dei codici.”

Polyspace è adatto a qualsiasi processo di sviluppo

I prodotti Polyspace possono essere integrati nei centri software, da IDE a pipeline di integrazione continua (CI), nel Cloud oppure on premise, con molti strumenti di sviluppo, come Jira o GitHub, per gestire i problemi di qualità in modo efficiente.

Controlla la qualità del codice all’interno dell’IDE.
Passa a Test Driven Development (TDD) con l’API di test xUnit.
Testa e verifica software generato automaticamente e scritto dall’uomo.
Automatizza l’esecuzione dei test e la verifica del codice in pipeline di CI.
Applica criteri standard di qualità del software lungo la supply chain.

Polyspace migliora l’efficienza dei team di ingegneria dei software

I prodotti Polyspace aiutano gli ingegneri dei software a migliorare le loro capacità di codifica e test attraverso una documentazione completa, suggerimenti di correzione e collaborazione sulla qualità del software.

Aumenta le capacità di codifica degli sviluppatori software apprendendo dai difetti di codifica nel loro IDE.
Fornisci agli ingegneri della qualità un’unica piattaforma per misurare la qualità del codice e raggiungere i requisiti di test.
Consenti agli architetti dei software di verificare l’implementazione del codice dei progetti di architetture.
Supporta gli ingegneri DevOps nell’integrazione degli strumenti di qualità del software nel loro centro software.
Fornisci ai responsabili dell’ingegneria dei software una visione completa della qualità dei progetti.

Semplificazione della conformità a ASPICE, ISO 26262 e ISO/SAE 21434 con l’analisi statica del codice Polyspace

“Polyspace ci ha aiutato a raggiungere i nostri obiettivi di qualità incrementando, o almeno mantenendo, l’efficienza.”

Polyspace supporta i progetti embedded in vari settori

Automotive

Assicura la qualità del software di tutti i componenti dell’auto nell’intera supply chain del settore automobilistico. Verifica la qualità del software embedded in relazione a tutte le aree, tra cui telaio, sicurezza attiva o passiva, motopropulsore ed EV/BMS.

HL Klemove migliora la qualità del codice per sistemi avanzati di assistenza alla guida con Polyspace Bug Finder

Aerospazio e Difesa

Valuta l’affidabilità del software embedded di satelliti, aerei, elicotteri e altri sistemi di difesa, che è fondamentale per il successo della missione.

Leonardo accelera lo sviluppo e la conformità del software di navigazione radar allo standard DO-178C

Dispositivi medici

Verifica la qualità del software embedded per pompe di infusione, sistemi terapeutici impiantabili, piattaforme robotiche e altri dispositivi medici vitali. Soddisfa i requisiti della norma IEC 62304, fino a dispositivi di classe III.