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.
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
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
‚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 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.
- 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 TEAM REPORTING
Add-on für die Zusammenarbeit von verteilten Teams
ADATEST 95
Automatisierte Unit- und Integrationstests für Ada-Code