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
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.
- ANALYSIEREN > Nutzen Sie Astrée für den Nachweis der Abwesenheit von Laufzeitfehlern in der gesamten Anwendung.
NB: ASTRÉE und QA-MISRA verwenden dasselbe Konfigurationsformat, somit ist der Aufwand für eine spätere Anwendung in einem ASTRÉE-Projekt,
und umgekehrt, gering.