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.

- 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