Slide 1

START TRIAL

Wählen Sie das Tool, das Sie testen möchten

Software Verifikationstools Testversion

static code analysis tool

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

Cantata

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.

Flow process QA-MISRA
  • 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.