Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto günstiger können sie behoben werden. Optimal ist es, wenn Fehler gar nicht erst entstehen, bzw. sofort entdeckt werden. Das ist eine wichtige Erfahrung, die Entwickler immer wieder machen: Je früher, desto besser.
Deshalb hat der Kooperationspartner von QA Systems, AbsInt, einen statischen Checker für Codierungsregeln entwickelt. Das Tool wird heute exklusiv von QA Systems unter dem Namen QA-MISRA vertrieben. „Wir kennen den Markt und die Beteiligten“, so Andreas Sczepansky, Geschäftsführer der QA Systems GmbH in Waiblingen.
900 potenzielle Source Code Probleme erkennt QA-MISRA bereits heute. Die statische Analyse mit QA-MISRA findet gefährliche Strukturen und zeigt frühzeitig Probleme bei Sicherheit, Wartbarkeit und Portabilität. Hier senken Entwickler zukünftige Kosten.
Selbst umfangreiche Softwarepakete analysiert QA-MISRA schnell und detailliert. Große und kleine Projekte können so auf Qualität und Einhaltung der geforderten Richtlinien überprüft werden. Das vereinfacht das Qualitätsmanagement und hilft, die wichtigen Sicherheitsstandards zu erfüllen. „Nach unserem langjährigen Engagement in Arbeitsgruppen des MISRA-Konsortiums haben wir ein komfortables Werkzeug zur effizienten Prüfung von Codierrichtlinien geschaffen, das mit Hilfe der Experten von QA Systems maximal auf die Bedürfnisse der Kunden ausgerichtet wurde.“, sagt Dr.-Ing. Christian Ferdinand, Geschäftsführer der AbsInt GmbH in Saarbrücken.
QA-MISRA ist voll integrierbar in QA Systems‘ Unit- und Integrationstesttool CANTATA.
QA-MISRA hilft, Programmcodes zuverlässiger, portabler und leichter wartbar zu machen.
QA-MISRA prüft automatisch C- oder C++-Code auf Einhaltung der MISRA- und AUTOSAR-Regeln sowie der Standards: SEI CERT C/C++, Common Weakness Enumeration (CWE), ISO/IEC TS 17961, Hersteller-Initiative Software (HIS Metriken) und weitere.
QA-MISRA wird international exklusiv vertrieben von QA Systems: https://www.qa-systems.de/tools/qa-misra/
Über AbsInt
AbsInt bietet hochmoderne Entwicklungswerkzeuge für eingebettete Systeme mit Schwerpunkt auf Validierung, Verifizierung und Zertifizierung von sicherheitskritischer und sicherheitsrelevanter Software. Zu den Schlüsselprodukten gehören statische Analysewerkzeuge zur Überprüfung von Codierrichtlinien, zur Timing- und Stack-Use-Analyse und zur Erkennung von kritischen Programmierfehlern in C/C++-Code sowie der formal verifizierte CompCert Compiler.
AbsInt wurde 1998 gegründet und ist ein privates Unternehmen mit Sitz in Saarbrücken, Deutschland. Unsere Kunden kommen aus verschiedenen Industriezweigen, einschließlich der Luft- und Raumfahrt, der Automobilindustrie, dem Gesundheitswesen und dem Energiesektor, und befinden sich in mehr als 40 Ländern auf der ganzen Welt.
Weitere Informationen finden Sie unter www.absint.com.
Seit über 25 Jahren unterstützt QA Systems Unternehmen dabei, qualitativ hochwertige und standardkonforme Software für eingebettete Systeme im sicherheits- und geschäftskritischen Bereich, zu entwickeln. Die Tools von QA Systems automatisieren Unit-Tests, Codeabdeckung, Integrationstests sowie Source-Code-Analysen unter Einhaltung aller üblichen sicherheitsrelevanten Softwarestandards (MISRA, AUTOSAR, CERT, CWE, ISO 26262, u. a.).
Das Unternehmen QA Systems wurde 1996 vom Geschäftsführer und Rennfahrer, Andreas Sczepansky, gegründet. Mit internationalen Standorten ist QA Systems weltweit direkt als auch über ein globales Reseller-Netzwerk tätig. Über 350 der größten Unternehmen stehen auf der Kundenliste von QA Systems. Als Kompetenzzentrum für bessere Software ist die QA Systems Akademie die Nahtstelle für den Know-how Transfer zu Softwareingenieuren weltweit.
Weitere Informationen finden Sie unter www.qa-systems.de
QA Systems GmbH
Roggenstr. 11
71334 Waiblingen
Telefon: +49 (711) 138183-0
Telefax: +49 (711) 138183-10
http://www.qa-systems.de
Telefon: +49 (711) 138183-0
E-Mail: marketing@qa-systems.de
AbsInt Angewandte Informatik GmbH
Telefon: +49 (681) 3836-00
E-Mail: tritz@absint.com
