„TrustInSoft Analyzer bietet dank seiner robusten formalen Methoden ein einzigartiges Maß an Sicherheit. Dieser Ansatz wird durch den Einsatz von künstlicher Intelligenz für Analyse und Tests optimal ergänzt. Wir vereinen die Effizienz von KI mit der Messbarkeit und Präzision formaler Methoden“, so Caroline Guillaume, CEO von TrustInSoft. „Entwicklungsteams in Branchen wie IoT, Automobil und Verteidigung profitieren von der Möglichkeit, die Codeverifizierung in C, C++ und Rust durch die Kombination von KI und formalen Methoden effizienter zu skalieren.“.
Was Sie in der Version vom April 2026 erwarten können:
KI-gestützte Testtreiber- und Stub-Generierung.
Mit nur einem Klick erstellen Sie kontextsensitive Testtreiber und Stubs mithilfe von KI. Diese Funktion reduziert den Analyseaufwand erheblich und gewährleistet gleichzeitig die für die Compliance in unternehmenskritischen Systemen erforderliche Konsistenz und Genauigkeit.
Grafische Oberfläche für Rust-Unterstützung.
Optimieren Sie Ihre Rust-Analyse für den Produktiveinsatz, indem Sie alle Workflows – von der Einrichtung über die Ursachenanalyse bis hin zur Berichterstellung – in eine verbesserte grafische Oberfläche integrieren.
MC/DC-Abdeckungsanalyse mit formalen Methoden.
Erreichen Sie die MC/DC-Abdeckungskonformität durch Eingabegeneralisierung auf Basis formaler Methoden und reduzieren Sie so den Verifizierungsaufwand für Standards wie ISO 26262 deutlich.
