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 Verifizierung der Toolqualifikation auf der installierten Toolkonfiguration automatisch ausführt, und die erforderlichen Berichte für die Toolqualifizierung 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 und QA-MISRA verwenden dasselbe Konfigurationsformat, somit ist der Aufwand für eine spätere Anwendung in einem ASTRÉE-Projekt,
    und umgekehrt, gering.

STATISCHE ANALYSE

QA-MISRA

Einhaltung von Programmierstandards und Qualitätssicherung für C/C++ Code

ASTRÉE

'Sound Static Analysis' zum Nachweis der Abwesenheit von C/C++ Laufzeitfehlern und 'Dataraces'

SOFTWARETESTS

CANTATA

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

CANTATA TEAM REPORTING

Add-on für die Zusammenarbeit von verteilten Teams

ADATEST 95

Automatisierte Unit- und Integrationstests für Ada-Code