“Molti dei nostri clienti, compresi quelli che operano in settori che sviluppano applicazioni critiche per la sicurezza, ci hanno segnalato la necessità di qualificare le librerie standard. Le librerie sono parte integrante delle applicazioni, eppure sul mercato mancavano strumenti professionali per la loro qualificazione. Questa constatazione ci ha spinto a sviluppare SuperGuard”, ha spiegato Marianne Damstra, CCO di Solid Sands. “In qualità di azienda leader a livello mondiale nel test dei compilatori per applicazioni critiche per la sicurezza, unita alla nostra profonda conoscenza dei test e dei requisiti, eravamo nella posizione ideale per creare SuperGuard, lo strumento di qualificazione delle librerie più completo oggi disponibile.”
SuperGuard garantisce la completa tracciabilità tra i requisiti derivati dalla definizione del linguaggio ISO C e la suite di test. SuperGuard mantiene la documentazione necessaria per fornire le informazioni e la trasparenza richieste dagli enti di certificazione internazionali.
“Tutti i compilatori C utilizzano una libreria standard. Le funzioni della libreria sono collegate all'applicazione e vengono eseguite sul sistema di destinazione. Ciò significa che gli sviluppatori di applicazioni critiche per la sicurezza devono dimostrare che il codice della libreria è testato con la stessa rigorosità del codice che scrivono loro stessi”, ha affermato Marcel Beemster, CTO di Solid Sands. “Il nostro prodotto attuale, SuperTest, non solo convalida il compilatore, ma contiene anche una suite completa di test per convalidare la libreria. Avevamo bisogno di fornire agli sviluppatori la documentazione che mostrasse come questi test della libreria si basassero sui requisiti e sulle specifiche di test, al livello richiesto dagli standard di sicurezza funzionale.”
La specifica del linguaggio C non definisce esplicitamente un insieme di requisiti testabili per ogni funzione di libreria, eppure questi requisiti sono una componente essenziale degli standard di sicurezza funzionale come ISO 26262. Pertanto, devono essere creati a partire dalla specifica del linguaggio dallo sviluppatore dei test, in questo caso Solid Sands. Questi requisiti e la tracciabilità dei test sono ciò che contraddistingue SuperGuard.
I prodotti Solid Sands si stanno rapidamente affermando come lo "standard di riferimento" per la qualificazione di compilatori e librerie in applicazioni critiche per la sicurezza.
La suite di qualificazione per la sicurezza della libreria C SuperGuard sarà disponibile nell'estate del 2021, sia come prodotto autonomo che come componente aggiuntivo per gli utenti di SuperTest. Un pacchetto simile per la libreria standard C++ è attualmente in fase di sviluppo.
