Software Verifikationstools Testversion
Statische Analyse
Einhaltung von Programmierstandards
Programmierstandards für funktionale Sicherheit (MISRA, AUTOSAR usw.) und Sicherheitsstandards (CERT und CWE usw.). Außerdem bietet es durch Metriken und Visualisierungen Einblicke in die Codequalität.
QA-MISRA in 90 Sekunden Video
Datenblatt
Mehr erfahren
Automatisierte
Unit- &
Integrationstests
Verifikation von standardkonformem oder geschäftskritischem C/C++-Code auf eingebetteten Ziel- und Host-Plattformen. Integriert in eine umfangreiche Reihe von Toolketten für die Entwicklung eingebetteter Systeme, von Cross-Compilern bis hin zu Tools für Requirements Management und Continuous Integration.
Cantata in 90 Sekunden Video
Datenblatt
Mehr erfahren
Einhaltung von Sicherheitsstandards
für GoogleTest Suites
Cantata Hybrid ist ein spezielles Subset von Cantata, das es ermöglicht, Nachweise der Testergebnisse sowie Code Coverage Metriken aus bestehenden GoogleTest Suites zu generieren.
Cantata Hybrid Video
Datenblatt
Mehr erfahren
Die Tools von QA Systems für die statische Analyse und Softwaretest unterstützen die Verifikation im linearen Fluss der Softwareentwicklung. Wir empfehlen die Anwendung eines sequenziellen Ansatzes für die Verifikationsphasen mit den entsprechend ausgerichteten Tools.
EINHALTEN > Nutzen Sie QA-MISRA für die schnelle Einhaltung von Programmierstandards direkt bei der Entwicklung.
TESTEN > Nutzen Sie Cantata für die automatisierte dynamsiche Ausführung der standardkonformen Software.
> Nutzen Sie Cantata Hybrid, um zertifizierte Cantata Testergebnisse aus bestehenden Google Tests zu generieren.
ANALYSIEREN > Nutzen Sie Astrée für den Nachweis der Abwesenheit von Laufzeitfehlern in der gesamten Anwendung.
NB: Astrée verwendet dasselbe Konfigurationsformat wie QA-MISRA, somit ist der Aufwand für eine spätere Anwendung in einem QA-MISRA Projekt gering.
