Veröffentlicht
Parasoft C/C++test 2023.1 ermöglicht nahtlose Konformität mit MISRA C:2023 und MISRA C:2012 AMD4
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, <stdatomic.h>) und Multithreading (<threads.h>) zur Verfügung.
Intelligentes Dashboard informiert über Konformität
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.
Über Parasoft Corp.
Über Parasoft (www.parasoft.com):
Parasoft unterstützt Unternehmen bei der kontinuierlichen Bereitstellung qualitativ hochwertiger Software mit seiner markterprobten, integrierten Suite von automatisierten Software-Test-Tools. Die Technologien von Parasoft unterstützen den Embedded-, Enterprise- und IoT-Markt und reduzieren den Zeit- und Arbeitsaufwand sowie die Kosten 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 Bereitstellungspipeline integrieren. Das preisgekrönte Reporting- und Analyse-Dashboard von Parasoft bietet eine zentrale Sicht auf die Qualität und ermöglicht es Unternehmen, in den strategisch wichtigsten Ökosystemen und Entwicklungsinitiativen von heute - cybersicher, sicherheitskritisch, agil, DevOps und kontinuierliche Tests - mit Zuversicht und Erfolg zu liefern.