“TrustInSoft Analyzer ofrece un nivel único de garantías gracias al uso de métodos formales sólidos. Este enfoque se complementa perfectamente con el uso de la inteligencia artificial para el análisis y las pruebas. Combinamos la eficiencia de la IA con la capacidad de medición y la precisión de los métodos formales”, afirmó Caroline Guillaume, CEO de TrustInSoft. “Los equipos de desarrollo en sectores como IoT, automoción y defensa se beneficiarán de la capacidad de escalar la verificación de código en C, C++ y Rust de manera más eficiente al combinar la IA con los métodos formales”.
Qué puedes esperar en la versión de abril de 2026:
Generación de drivers de prueba y stubs con IA
Comienza con una configuración en un solo clic para generar stubs y drivers de prueba adaptados al contexto de forma instantánea mediante IA. Esta funcionalidad reducirá drásticamente el esfuerzo de análisis, manteniendo la consistencia y precisión necesarias para el cumplimiento en sistemas críticos.
Interfaz gráfica para soporte de Rust
Avanza hacia un análisis de Rust listo para producción con la integración de todos los flujos de trabajo, desde la configuración hasta la investigación de causas raíz y la generación de informes en una interfaz gráfica mejorada.
Análisis de cobertura MC/DC mediante métodos formales
Consigue el cumplimiento de cobertura MC/DC gracias a la generalización de entradas basada en métodos formales, reduciendo significativamente el esfuerzo de verificación para estándares como ISO 26262.
