Slide 1

TOOLS ZUM
EINHALTEN, TESTEN, ANALYSIEREN

EINGEBETTETER SOFTWARE

Die zertifizierten Softwaretesttools von QA Systems beschleunigen die Entwicklung eingebetteter Software und gewährleisten gleichzeitig Qualität und die Einhaltung von Sicherheitsstandards. Mit umfassenden Funktionalitäten unterstützen sie die meisten Testanforderungen und ermöglichen eine frühzeitige Identifizierung, Vermeidung und Behebung von Fehlern sowie eine kontinuierliche Qualitätssicherung und die Einhaltung von Industriestandards.

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

Astrée DS image

‚Sound Static Analysis‘ zum Nachweis
der Abwesenheit von Laufzeitfehlern

Überprüfung auf Abwesenheit von Fehlern. Es meldet Fehler, die durch nicht spezifiziertes und undefiniertes Verhalten gemäß den C- und C++-Sprachstandards verursacht werden, sowie Fehler, die durch ungültiges gleichzeitiges Verhalten verursacht werden. Des Weiteren berechnet Astrée Programmeigenschaften, welche für die funktionale Sicherheit relevant sind.

Astrée DS image

Astrée ist vom NIST zugelassen

Datenblatt (EN)

Mehr erfahren

Wie unsere Tools in Ihren Verifikationsprozess passen

Schneller zu besserer Software. QA Systems unterstützt Sie mit statischen und dynamischen Softwaretesttools, Sicherheitsstandards bei der Softwareentwicklung schneller zu erfüllen. Mit den automatisierten Unit- und Integrationstests und der statischen Analyse entwickeln Sie schneller qualitativ bessere eingebettete Software für den sicherheits- und geschäftskritischen Bereich.

QA-MISRA und Cantata sind unabhängig vom SGS TÜV zertifiziert. Sie erfüllen die höchsten Anforderungen, die an die Entwicklung sicherheitskritischer Software gestellt werden – gemäß den wichtigsten Standards (ISO 26262, IEC 61508, IEC 62304, EN 50128/50657 und IEC 60880) und ebenso qualifiziert für DO-178C & DO-330.

Für Astrée bieten wir ein Qualification-Support-Kit (QSK) an, das eine vollständige Testreihe zur Verifikation der Tool-Qualifikation auf der installierten Tool-Konfiguration automatisch ausführt, und die erforderlichen Berichte für die Tool-Qualifikation erstellt.

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 verwendet dasselbe Konfigurationsformat wie QA-MISRA, somit ist der Aufwand für eine spätere Anwendung in einem QA-MISRA Projekt gering.

Kontaktieren Sie uns für nähere Informationen zu unseren Softwaretesttools.

STATISCHE ANALYSE

QA-MISRA

Automatisierte Einhaltung von Programmierstandards für C/C++ Code

ASTRÉE

'Sound' Analyse zum Nachweis der Abwesenheit von Laufzeitfehlern und 'Dataraces' für C/C++

SOFTWARETESTS

CANTATA

Automatisierte Unit- und Integrationstests für C/C++-Code

CANTATA HYBRID

Einhaltung von Sicherheitsstandards für GoogleTest Suites

CANTATA TEAM REPORTING

Add-on für die Zusammenarbeit von verteilten Teams

ADATEST 95

Automatisierte Unit- und Integrationstests für Ada-Code