Vollständige Unterstützung von MISRA C:2023 ermöglicht nahtlose Konformität

• Vollständige Unterstützung von MISRA C:2023 ermöglicht nahtlose Konformität
• Parasoft C/C++test 2023.1 steigert die Produktivität von Embedded-Entwicklern und gewährleistet sichere Software-Entwicklung

Monrovia (USA)/Berlin – 1. 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 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 Programmierstandards zu erfüllen.