Erfahren Sie, wie die Continuous Quality Platform von Parasoft dabei hilft, Testumgebungen zu steuern und zu verwalten, um zuverlässig hochwertige Software zu liefern. Für Demo registrieren >>

BLOG

Wir haben den Parasoft C / C ++ - Test 10.4.1 veröffentlicht, der sich auf Sicherheit und funktionale Sicherheit konzentriert

Wir haben den Parasoft C / C ++ - Test 10.4.1 veröffentlicht, der sich auf Sicherheit und funktionale Sicherheit konzentriert Lesezeit: 5 Minuten

Die neue Version des Parasoft C / C ++ - Tests konzentrierte sich auf die C ++ - Sprache, einschließlich der vollständigen Unterstützung von CERT C ++ und eines speziellen Compliance-Berichtsmoduls für AUTOSAR. Lesen Sie weiter für weitere Details!

Der Herbst dieses Jahres war eine inspirierende Zeit für uns! Wir hatten viele großartige Gelegenheiten für interessante Gespräche mit unseren bestehenden und potenziellen Kunden, einschließlich mehrerer Automobilunternehmen, die an automatisierten Fahrsystemen (dh autonomem Fahren) arbeiten. Was wir unter anderem gelernt haben, ist, dass modernes C ++ immer wichtiger wird. Mit C ++ ist die volle Leistung von CPUs und GPUs verfügbar, um komplexe KI-Algorithmen auszuführen, während weiterhin Software zulässig ist Ingenieur Schaffung und Durchsetzung einer ordnungsgemäßen Architektur der Systeme durch objektorientierte Entwurfsmuster.

C ++ ist aber auch eine fortgeschrittene und komplexe Sprache, die mit Vorsicht verwendet werden muss, um Sprachkonstrukte zu eliminieren, die zu undefiniertem Verhalten führen können. Aus diesem Grund bleiben hohe Codequalität, funktionale Sicherheit und Sicherheit das Hauptanliegen von Teams, die AI-basierte Automobilsysteme mit C ++ entwickeln. 

Um Teams, die führende Innovatoren der Branche sind, besser unterstützen zu können, veröffentlichen wir gerne das neueste Parasoft C / C ++ 10.4.1, das sich stark auf das Testen von C ++ - Code konzentriert. Das Produkt bietet jetzt vollständige Unterstützung für den SEI CERT C ++ - Sicherheitscodierungsstandard, den kein anderes Produkt bietet, sowie dedizierte Compliance-Berichte und das Parser-Update für die C ++ 17-Unterstützung. Darüber hinaus haben wir die Darstellung von Verstößen gegen statische Analysen verbessert, um das Verständnis der Hauptursache für gemeldete Probleme noch einfacher zu machen. Für Unit-Tester haben wir Verbesserungen zum Erstellen und Bearbeiten parametrisierter Testfälle hinzugefügt. Und natürlich haben wir wie immer eine Sammlung neuer Compiler und IDEs, die jetzt unterstützt werden. Es war eine arbeitsreiche Zeit! 

Vollständige Unterstützung für CERT C++

Das Parasoft C / C ++ - Test-Compliance-Pack bietet jetzt volle Unterstützung für den SEI CERT C ++ - Sicherheitscodierungsstandard. Parasoft C / C ++ - Test 10.4.1 unterstützt alle 83 Regeln, die im SEI CERT C ++ - Standard definiert sind. Im Gegensatz zu CERT C enthält die C ++ - Edition des Standards derzeit keine offiziellen Empfehlungen. Aber Sie können sicher sein, dass wir sie unterstützen werden, sobald sie hinzugefügt wurden! 

Wenn Sie aus Sicherheitsgründen ein Compliance Pack erwerben, erhalten Sie auch das dedizierte CERT C ++ - Berichtsmodul, mit dem Sie viel Zeit bei der Verwaltung des Compliance-Prozesses sparen. Eine der aufregendsten Funktionen des Berichtsrahmens ist ein automatischer Rahmen für die Risikobewertung, mit dem Sie sich ganz einfach auf die relevantesten Probleme konzentrieren können.  

Mit einem Kompletter Satz statischer Analyseprüfer für SEI CERT C ++ und Compliance-BerichteTeams, die mit C ++ entwickeln, verfügen jetzt über ein hervorragendes Tool, um anfälligen Code zu beseitigen und die Einhaltung des bekanntesten Sicherheitsstandards für C ++ zu erreichen.   

Compliance-Reporting für AUTOSAR C++14

Die Version 10.4.1 enthält außerdem spezielle Compliance-Berichte für AUTOSAR C ++ 14. Mit einem Compliance Pack können Benutzer jetzt einen dynamischen Überblick über ihre Compliance-Prozesse erhalten, um besser zu verstehen, inwieweit sie formkonform sind. Ein spezielles Berichtsmodul zeigt Verstöße gegen statische Analysen an, die nach allen im Standard definierten Kategorisierungen gruppiert sind. Ein kurzer Blick auf die Compliance-Widgets reicht jetzt aus, um fundierte Entscheidungen darüber zu treffen, wo Entwicklungsressourcen zugewiesen werden sollen.  Siehe Beispiel unten:

Das Compliance-Reporting umfasst noch eine weitere wichtige Funktion: die automatische Erstellung von Compliance-Dokumentationen. Wenn Ihr Team einen formaleren Compliance-Prozess verfolgen muss, werden Sie erfreut sein zu hören, dass das Compliance-Berichtsmodul von Parasoft eine Dokumentation erstellen kann, die dem MISRA 2016-Standard entspricht. Der Richtlinien-Durchsetzungsplan (GEP), die Richtlinien-Konformitätszusammenfassung (GEP) und die Abweichungsberichte können jetzt automatisch erstellt und für die Code-Audits ausgedruckt werden. Durch das automatische Generieren dieser Compliance-Dokumentation sparen Sie viel Zeit!  

Verbesserte Darstellung von Verstößen gegen die statische Analyse 

Bei der statischen Analyse können komplexe Fehler in Ihrem Quellcode gefunden werden. Manchmal sind diese Probleme jedoch so kompliziert, dass es sehr schwer zu verstehen ist, warum das Problem auftritt und was die Hauptursache dafür ist. Um Ihnen zu helfen, mehr Zeit bei der Überprüfung der Ergebnisse zu sparen, haben wir die Darstellung der Ergebnisse der statischen Analyse verbessert. Problemberichte werden jetzt mit zusätzlichen Informationen versehen, z. B. Werten von bedingten Anweisungen oder fehlerhaften Datenträgern, und verschiedene Farben werden verwendet, um die Lesbarkeit zu verbessern. Die neue Präsentation ist in IDE-, HTML-, PDF-Berichten und im zentralen Berichts-Dashboard verfügbar. Unten sehen Sie einen Screenshot eines beispielhaften HTML-Berichts, der die neue Darstellung der Verstöße zeigt.

Verbesserungen beim Komponententest

Das Erstellen von Komponententests ist nicht immer eine aufregende Aktivität, insbesondere wenn Sie mehrere Testfälle (möglicherweise Hunderte oder Tausende) hinzufügen müssen, um viele Äquivalenzklassen oder Eckfälle zu testen. Mit der neuen Version 10.4.1 können Sie einfach und automatisch parametrisierte Testfälle erstellen, die in Form einer Tabelle oder einer CSV-Datei mit einer Datenquelle verbunden sind. Sobald der parametrisierte Testfall erstellt wurde, können Sie zur Datenquelle für einen bestimmten Testfall springen und Testparameter hinzufügen. Dies ist so einfach wie das Bearbeiten einer Excel-Tabelle oder einer CSV-Datei. Diese Funktionalität reduziert den Aufwand für die Erstellung größerer Teststapel, um die Frustration der Benutzer zu vermeiden. 

Neue Umgebungen und Compiler

Benutzer, die ihre Systeme mit Wind River Workbench 4.x und VxWorks 7.x entwickeln, können jetzt das Parasoft C / C ++ - Test-Plugin direkt in ihrer IDE installieren und die volle Leistung mehrerer Testtechniken in ihrer Entwicklungsumgebung nutzen. Die spezielle Unterstützung für die neueste Toolchain von Wind River Workbench umfasst die Projektintegration (keine zusätzlichen Einrichtungsschritte erforderlich) und dedizierte Testkonfigurationen zum Erstellen und Ausführen von Komponententests oder zur Anwendungsüberwachung für DKM- und RTP-Projekte. Selbstverständlich steht den Workbench-Benutzern jederzeit die volle Leistung von mehr als 2000 statischen Analyseprüfern zur Verfügung.  

Zusätzlich zur Wind River-Entwicklungsumgebung bietet die Version 10.4.1 Unterstützung für eine andere Architektur aus der IAR-Toolsuite RL78, der neuesten Version von Keil MDK-ARM und dem GCC 8-Compiler.

Dies war eine arbeitsreiche Zeit für uns; Jetzt müssen wir ein paar Atemzüge machen, unseren Rückstand verbessern und zu den Zeichenbrettern zurückkehren, um mit der Arbeit an der nächsten Version zu beginnen! Wenn Sie bereits Kunde sind, gehen Sie zu Kundenportal um Ihre Software zu aktualisieren. Wenn Sie neu bei Parasoft sind und eine möchten kostenlose Testversion des Parasoft C / C ++ - TestsKopf rüber   um es zu packen. 

Einheitliche Entwicklungstests für C- und C ++ - Anwendungen

„MISRA“, „MISRA C“ und das Dreieckslogo sind eingetragene Marken von The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Alle Rechte vorbehalten.

Geschrieben von

Miroslaw Zielinski

Zu den Spezialitäten von Miroslaw, dem Produktmanager für die eingebetteten Testlösungen von Parasoft, gehören C / C ++, RTOS, statische Code-Analyse, Komponententests, Verwaltung der Softwarequalität für sicherheitskritische Anwendungen und Einhaltung der Sicherheitsstandards durch die Software.

Erhalten Sie die neuesten Nachrichten und Ressourcen zum Testen von Software sofort.