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

Cantata

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.

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.
                           > 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.