La verifica delle regole di codifica e la dimostrazione dell'assenza di errori in fase di esecuzione. Queste caratteristiche garantiscono la robustezza del software embedded, che deve operare ai massimi livelli di qualità e sicurezza.
Polyspace Code Prover è uno strumento di verifica formale che dimostra la correttezza del codice. Gli ingegneri responsabili della sicurezza e della certificazione del codice possono utilizzare Polyspace Code Prover per determinare in modo affidabile, in tempo reale, dove si verificheranno o meno errori. I risultati, basati su test e codificati a colori, semplificano le attività di verifica, portando a un processo di sviluppo software più efficiente e di alta qualità. Polyspace Code Prover sfrutta inoltre la piattaforma MATLAB per fornire agli utenti l'accesso a potenti funzionalità di MATLAB, come la robusta distribuzione dei job tra cluster di team, la creazione di script per l'automazione, la visualizzazione dei risultati e la generazione di report per la certificazione. Polyspace Code Prover integra le funzionalità precedentemente disponibili in Polyspace Client per C/C++ e Polyspace Server per C/C++.
Polyspace Bug Finder identifica errori di runtime, problemi di flusso dati e altri difetti nel software embedded. Attraverso l'analisi statica, Polyspace Bug Finder analizza il controllo, il flusso dati e il comportamento interprocedurale del software. È in grado di rilevare vari difetti, come errori numerici e di memoria, nonché altri errori di programmazione. A differenza della tradizionale revisione manuale, Polyspace Bug Finder consente agli ingegneri di identificare, analizzare e correggere rapidamente i difetti del codice per accelerare il processo di sviluppo. Questo strumento verifica anche la conformità con gli standard delle regole di codifica come MISRA e JSF++, nonché con regole personalizzate, e produce metriche sulla qualità e la complessità del codice. Come Polyspace Code Prover, Polyspace Bug Finder sfrutta la piattaforma MATLAB per la distribuzione dei job ai cluster di team, la creazione di script e la visualizzazione dei risultati. Entrambi i prodotti sono integrati con Simulink per l'utilizzo con codice generato automaticamente.
"Offrendo una soluzione completa per la verifica del codice, la famiglia di prodotti Polyspace garantisce agli ingegneri una maggiore fiducia nella qualità e nella sicurezza del software embedded durante l'intero processo di sviluppo", afferma Paul Barnard, direttore marketing per l'automazione della progettazione presso MathWorks. "Polyspace Bug Finder e Polyspace Code Prover combinano l'analisi statica e le tecniche di verifica del codice utilizzando metodi formali per aiutare gli ingegneri a individuare i bug nelle prime fasi della progettazione e a dimostrare che il loro software è sicuro e pronto per la distribuzione."
Polyspace Code Prover e Polyspace Bug Finder sono ora disponibili.
