Support hilft Embedded-Entwicklungsteams, ihre Konformitätsanalysen auf dem neuesten Stand zu halten
Parasoft, 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
http://www.parasoft.com
Pressekontakt
Agentur Lorenzoni GmbH, Public Relations
Beate Lorenzoni
Landshuter Straße 29
85435 Erding
+49 8122 559 17-0
http://www.lorenzoni.de
- Embedded (Wikipedia)
Einbettung, auch Einbetten oder englisch und fachsprachlich embedding steht für: Einbettung (Linguistik), Einschub einer untergeordneten sprachlichen Einheit Einbettung (Mathematik), eine Form der Abbildung Einbettung (Graphentheorie), linearer Graph in einer Ebene Einbettung (Informatik), das Integrieren von Inhalten in andere Softwarestrukturen Eingebettetes System, technisches Gerät mit eingebetteten Prozessor(en), embedded processors Embedded-PC, einen modular aufgebauten und kompakten Industrie-PC Einbettung (Kategorientheorie), treue oder volle oder volltreue Funktoren Einbettung (Fossilisation), eine Form der Fossilienentstehung die sozialstrukturelle, institutionelle und kulturelle Einbettung des Markthandelns, siehe Wirtschaftssoziologie #Zentrales Argument der Neuen Wirtschaftssoziologie vom Militär betreute und kontrollierte zivile Kriegsberichterstattung, siehe Embedded Journalist in der Metallografie das Fassen von Proben in polymeren Werkstoffen, siehe Metallografie #Probenvorbereitung und Einbetten in der Zahntechnik das Abformen für Einsatzstücke (Investment), siehe Einbettmasse in der mikroskopischen Probenaufbereitung, siehe Histologische Technik Siehe auch Liste aller Wikipedia-Artikel, deren Titel Einbettung enthält Liste aller Wikipedia-Artikel, deren Titel mit Embed beginnt Einbettungssatz – Einbinden – Integration (Begriffsklärungen) - Entwickler (Wikipedia)
Entwickler steht für: Entwicklungsingenieur Softwareentwickler Spieleentwickler Projektentwicklung (Immobilien), ein Immobilienentwickler Eine Chemikalie in der Analogfotografie, mit der das Bild auf Film oder Papier sichtbar wird, siehe Entwicklerflüssigkeit Siehe auch: - MISRA (Wikipedia)
MISRA steht für einen Programmierstandard der Automobilindustrie, siehe MISRA-C die Abkürzung der Motor Industry Software Reliability Association Siehe auch: Misra - Software (Wikipedia)
Software [ˈsɒf(t)wɛː] (englisch; wörtlich „weiche Ware“, soft = leicht veränderbare Komponenten als Gegenstück zu ‚Hardware‘ für die physischen Komponenten) ist ein Sammelbegriff für Computerprogramme und die zugehörigen Daten. Sie kann zusätzlich Bestandteile wie z. B. die Softwaredokumentation als Handbuch in digitaler oder gedruckter Form enthalten. Software bestimmt, was ein softwaregesteuertes Gerät tut und wie es das tut. Die Hardware (das Gerät selbst) führt Software aus (arbeitet sie ab) und setzt sie so in die Tat um. Software ist die Gesamtheit von Informationen, die man der Hardware hinzufügen muss, damit ein softwaregesteuertes Gerät für ein definiertes Aufgabenspektrum nutzbar wird. Durch das softwaregesteuerte Arbeitsprinzip kann eine starre Hardware individuell arbeiten. Es wird heute nicht nur in klassischen Computern angewendet, sondern auch in vielen eingebetteten Systemen wie beispielsweise in Waschmaschinen, Fernsehgeräten, Mobiltelefonen und Navigationssystemen. - Statische Analyse (Wikipedia)
Statische Code-Analyse oder kurz statische Analyse ist ein statisches Software-Testverfahren, das zur Übersetzungszeit durchgeführt wird. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden können, noch bevor die entsprechende Software (z. B. im Modultest) ausgeführt wird. Die Methodik gehört zu den falsifizierenden Verfahren, d. h., es wird die Anwesenheit von Fehlern bestimmt. In Anlehnung an das klassische Programm Lint wird der Vorgang auch als linten (englisch linting) bezeichnet.
