Slide 1

TOOLS

Einhalten, Testen, Analysieren

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.

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 TEAM REPORTING

Add-on für die Zusammenarbeit von verteilten Teams

ADATEST 95

Automatisierte Unit- und Integrationstests für Ada-Code