“TrustInSoft Analyzer offre un livello di garanzia unico grazie all'utilizzo di solidi metodi formali. Questo approccio è perfettamente integrato dall'impiego dell'intelligenza artificiale per l'analisi e il testing. Uniamo l'efficienza dell'IA alla misurabilità e alla precisione dei metodi formali”, ha affermato Caroline Guillaume, CEO di TrustInSoft. “I team di sviluppo in settori come l'IoT, l'automotive e la difesa trarranno vantaggio dalla possibilità di scalare la verifica del codice in C, C++ e Rust in modo più efficiente, combinando l'IA con i metodi formali.”.
Cosa aspettarsi dalla release di aprile 2026:
Generazione di test driver e stub basata sull'IA.
Inizia con una configurazione con un solo clic per generare istantaneamente test driver e stub contestualizzati utilizzando l'IA. Questa funzionalità ridurrà drasticamente lo sforzo di analisi, mantenendo al contempo la coerenza e l'accuratezza richieste per la conformità sui sistemi mission-critical.
Interfaccia grafica per il supporto di Rust.
Passa all'analisi Rust pronta per la produzione integrando tutti i flussi di lavoro, dalla configurazione all'indagine sulle cause principali e alla creazione di report, in un'interfaccia grafica migliorata.
Analisi della copertura MC/DC utilizzando metodi formali.
Raggiungi la conformità della copertura MC/DC attraverso la generalizzazione degli input basata su metodi formali, riducendo significativamente lo sforzo di verifica per standard come ISO 26262.
