Freitag, November 22, 2024

MISRA C:2023 – vollständige Unterstützung durch Parasoft

Parasoft C/C++test 2023.1 ermöglicht nahtlose Konformität

Monrovia (USA)/Berlin – Juni 2023 – Parasoft (https://parasoft.com), ein weltweit führender Anbieter von Testlösungen für embedded Software, gibt die Veröffentlichung von C/C++test 2023.1 mit vollständiger Unterstützung von MISRA C:2023 und MISRA C:2012 mit Amendment 4 bekannt. MISRA C ist der am weitesten verbreitete Programmierstandard für die sichere Entwicklung von C-Software. Parasoft C/C++test 2023.1 vereinfacht die Durchsetzung von Anforderungen an die Komplexität des Quellcodes und reduziert die Kosten für deren Einhaltung. Entwicklungsteams können mit einer Leistungssteigerung von 25% bei der Datenflussanalyse rechnen. Das bedeutet eine höhere Produktivität während des gesamten Lebenszyklus der Softwareentwicklung, niedrigere Entwicklungskosten und zugleich eine schnellere Time-to-Market. Weil weniger Dateien von der Analyse ausgeschlossen werden, steigt die Genauigkeit der Ergebnisse. Zudem ermöglicht die neueste Version das automatisierte Einhalten von Richtlinien und die Bereitstellung von sicheren und zuverlässigen Anwendungen.

Eines der wichtigsten Highlights von C/C++test 2023.1 ist die umfassende und durchgängige Anwendung von Sicherheitsstandards bei der Programmierung. Mit der Aufnahme von MISRA C:2023 werden 19 neue Regeln und drei neue Richtlinien eingeführt, die beim Schreiben von Code anzuwenden sind, einschließlich weiterer Anleitung für die Verwendung von unbenutzten Objekten, kleinen ganzzahligen Konstanten, verketteter Initialisierung und variabel modifizierter Arrays.

Als erweiterte Unterstützung für DevOps CI/CD Workflows bietet C/C++test 2023.1 das neue C/C++test Bazel Integration Package. Diese Integration ermöglicht es Entwicklern, die statische Analyse von Parasoft nahtlos in jede Bazel CI-Pipeline einzubinden und so den Entwicklungsprozess zu rationalisieren. Teams können die Bereitstellung von statischer Analyse für Bazel-basierte Projekte vereinfachen und den Zeitaufwand für die Integration und Wartung der Toolchain reduzieren.

Mit der Veröffentlichung von MISRA C:2023 stehen den Entwicklern nun Regeln für eine sichere Verwendung von C11-Funktionen wie u.a. Atome (_Atomic, ) und Multithreading () zur Verfügung.
Das Parasoft Compliance Reporting Modul wurde entsprechend aktualisiert, um sicherzustellen, dass MISRA-konforme Berichte in Parasoft DTP verfügbar sind und Testergebnisse in intelligenten Dashboards, detaillierten Berichten und umsetzbaren Analysen konsolidiert werden. Dadurch können Unternehmen die Konformität mit der neuesten Version des Standards MISRA C:2023 sicherstellen.

„Parasoft ist bestrebt, seinen Kunden die neueste Technologie im Bereich der Software-Testautomatisierung zur Verfügung zu stellen. Die Version 2023.1 von C/C++test bietet volle Unterstützung für den neuesten MISRA C:2023 Standard und enthält weitere Lösungen für die Software-Testautomatisierung, die den Aufwand und die Kosten reduzieren und die Bereitstellung sicherer und qualitativ hochwertiger Anwendungen gewährleisten“, so Igor Kirilenko, Chief Product Officer bei Parasoft.

Eine Präsentation (verfügbar auf Abruf (https://www.parasoft.com/products/parasoft-c-ctest/c-c-request-a-demo/)) zeigt, wie Parasoft C/C++test 2023.1 Embedded Entwicklungsteams dabei unterstützen kann, die neueste Ausgabe des MISRA C:2023 Programmierstandards zu erfüllen.

Parasoft unterstützt Unternehmen bei der kontinuierlichen Bereitstellung qualitativ hochwertiger Software mit seiner marktbewährten, integrierten Suite von automatisierten Softwaretest-Tools. Die Technologien von Parasoft unterstützen den Embedded-, Enterprise- und IoT-Markt und reduzieren den Zeit-, Arbeits- und Kostenaufwand für die Bereitstellung sicherer, zuverlässiger und konformer Software, indem sie alles von der tiefen Code-Analyse und Unit-Tests bis hin zu Web-UI- und API-Tests sowie Service-Virtualisierung und vollständiger Codeabdeckung in die Delivery-Pipeline integrieren. Das preisgekrönte Reporting- und Analyse-Dashboard von Parasoft bietet einen zentralen Überblick über die Qualität und ermöglicht es Unternehmen, mit Zuversicht zu liefern und in den strategisch wichtigsten Ökosystemen und Entwicklungsinitiativen von heute – Cybersicherheit, sicherheitskritisch, Agile, DevOps und kontinuierliche Tests – 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

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Ähnliche Artikel

- Advertisement -spot_img

Bitvavo - EU regulierte KryptoBörse



Neueste Artikel