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, 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) 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.

Keywords:Parasoft, MISRA, MISRA_C:2023, Konformit?t, Softwarestandard, Software-Testautomatisierung, Dashboard,

adresse