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