Parasoft C/C++test: Voller Support für MISRA C++:2023 TC1

Support hilft Embedded-Entwicklungsteams, ihre Konformitätsanalysen auf dem neuesten Stand zu halten

Parasoft (https://www.parasoft.com), ein weltweit führender Anbieter automatisierter Softwaretests für sicherheits- und sicherheitskritische Software, gibt bekannt, dass Parasoft C/C++test die „MISRA C++:2023 Technical Corrigenda 1 (TC1:2026)” vollständig unterstützt. Ab sofort steht ein umfassender Support zur Verfügung, der es Embedded-Entwicklungsteams ermöglicht, die neuesten, korrigierten und präzisierten MISRA-C++-Richtlinien direkt in ihre bestehenden Workflows für statische Analyse und Konformitätsprüfung zu integrieren.

Die MISRA C++:2023 TC1-Richtlinien befassen sich mit Problemen, die seit der Veröffentlichung der ursprünglichen Richtlinien festgestellt wurden. Einige Änderungen korrigieren Beispiele und Terminologie, während andere die Auslegung und Durchsetzung der Regeln beeinflussen, einschließlich Änderungen in Bezug auf Ausnahmen, dem Analyseumfang und die Klassifizierung von konformem und nicht konformem Code.

So fügt TC1 beispielsweise eine Ausnahme hinzu, die Kontrollausdrücke zulässt, die aus dem Assert-Makro resultieren, und klärt die Behandlung notwendiger Schreibvorgänge, möglicher Ausführungspfade und der vielleicht nicht verwendeten Elemente. Zudem werden die Leitlinien für moderne C++-Konstrukte und -Praktiken aktualisiert, darunter Templates, numerische Konvertierungen, Speicherverwaltung, verschobene-Objekte und das „Curious Recurring Template Pattern“ (CRTP). Insbesondere betrifft die Änderung bezüglich CRTP einen Fall, in dem die ursprüngliche Regel die Verwendung des Musters ungerechtfertigterweise untersagte.

„Die Einhaltung der MISRA-Richtlinien hängt von mehr ab als nur von einer Regel mit der richtigen Nummer. Die statische Analyse muss die Absicht, die Ausnahmen und die Analyseanforderungen, die hinter dieser Regel stehen, widerspiegeln”, betont Michal Rozenau, leitender Softwareentwickler bei Parasoft. „Dank der vollständigen Unterstützung von MISRA C++:2023 TC1 gibt C/C++test den Teams die Gewissheit, dass ihre Analyse mit den neuesten MISRA-Leitlinien übereinstimmt.”

Für Unternehmen, die sicherheits- und schutzkritische C++-Software entwickeln, trägt die Anpassung der statischen Analyse an die MISRA-Aktualisierungen dazu bei, unnötige Untersuchungen von Befunden, die auf veralteten Auslegungen beruhen, zu vermeiden und gleichzeitig sicherzustellen, dass neu geklärte Fällen korrekt identifiziert werden.

Parasoft C/C++test automatisiert die Durchsetzung der aktualisierten MISRA-C++:2023-Richtlinien in den Arbeitsabläufen der Entwickler:innen sowie in den CI/CD-Workflows. Damit unterstützt das Tool dabei, Verstöße zu identifizieren, zu beheben und Nachweise zur Konformität zu erstellen. C/C++test integriert die anwendbaren TC1-Änderungen direkt in den Konformitäts-Workflow. Dadurch müssen Teams die Korrekturen nicht mehr manuell auswerten und die Auswirkungen der einzelnen Änderung auf ihre Analyse beurteilen.

Durch die vollständige Unterstützung von MISRA C++:2023 TC1 hilft Parasoft Unternehmen dabei, ihre Konformitätsprogramme auf dem neuesten Stand zu halten und gleichzeitig moderne C++-Praktiken für die Entwicklung sicherheitskritischer Software sicher einzuführen.

Erfahren Sie mehr über Parasoft C/C++test und die Einhaltung der MISRA-Richtlinien

Parasoft unterstützt Unternehmen mit seiner KI-basierten Software-Testplattform und automatisierten Testlösungen dabei, Software in gleichbleibend hoher Qualität zu liefern. Die bewährten Technologien von Parasoft sind auf die Märkte für Embedded-, Enterprise- und IoT-Software ausgerichtet. Sie reduzieren den Zeit-, Arbeits- und Kostenaufwand für die Bereitstellung sicherer, zuverlässiger und konformer Software, indem sie tiefgehende Codeanalysen und Unit-Tests, Web-UI- und API-Tests, Service-Virtualisierung und vollständige Code Coverage in die Delivery-Pipeline integrieren. Durch die Kombination all dieser Elemente bietet das preisgekrönte Reporting- und Analyse-Dashboard von Parasoft einen zentralen Überblick über die Qualität und ermöglicht es Unternehmen, zuverlässige Software zu liefern und in den strategisch wichtigsten Ökosystemen und Entwicklungsinitiativen von heute – Safety, Security, Agile, DevOps und Continuous Testing – erfolgreich zu sein.

Firmenkontakt
Parasoft Corp.
Dirk Giesen
E. Huntington Drive 101
91016 Monrovia, CA
001 (626) 256-3680
www.parasoft.com

Pressekontakt
Agentur Lorenzoni GmbH, Public Relations
Beate Lorenzoni
Landshuter Straße 29
85435 Erding
+49 8122 559 17-0
www.lorenzoni.de