Parasoft optimiert die Einhaltung und Berichterstellung von AUTOSAR und ermöglicht es Unternehmen, die erforderlichen Sicherheitsstufen in eingebetteten Systemen effizient zu erreichen

Die neuen Compliance-Funktionen von Parasoft C / C ++ werden auf der Embedded World 2019 vorgestellt

Nürnberg, Deutschland & Monrovia, Kalifornien – Parasoft, weltweit führender Anbieter von automatisierten Softwaretests, hat heute die neueste Version von Parasoft C/C++test veröffentlicht, seiner einheitlichen Testlösung für die Entwicklung von C- und C++-Anwendungen für eingebettete Systeme. Die Version 10.4.2 von Parasoft C/C++test setzt den Fokus des Produkts auf die Reduzierung des manuellen Aufwands bei der Einhaltung von Codierungsstandards fort und bietet die umfassendste Lösung zum Testen von C- und modernem C++-Code. Mit dieser Version stellt Parasoft C/C++test die branchenweit umfassendste Testlösung zur Verfügung, die AUTOSAR C++ erfüllt und die Herausforderungen bei der Entwicklung sicherheitskritischer Software in C++ bewältigt.

Um eine kostenlose Testversion der automatisierten Softwaretest-Toolsuite von Parasoft für C und C++ anzufordern, besuchen Sie bitte: https://www.parasoft.com/products/parasoft-c-ctest/

Die Konsortien AUTOSAR und MISRA haben kürzlich die Zusammenführung ihrer Standards für C ++ zu einem einzigen Industriestandard angekündigt. Damit ist AUTOSAR C ++ der wichtigste Satz von Codierungsrichtlinien für die sicherheitskritische Entwicklung mit C ++. Der Parasoft C / C ++ - Test bietet jetzt einen gepackten Regelsatz von Prüfern für Kfz- und Sicherheitscodierungsstandards sowie spezielle Compliance-Berichte, mit denen Kfz-Unternehmen das erforderliche Sicherheitsniveau in ihren Systemen erreichen können. Der Parasoft C / C ++ - Test wurde bereits mit vollständiger Unterstützung für Sicherheitsstandards wie CERT C, CERT C ++, UL 2900 und MISRA ausgestattet. Dies wird jetzt durch erstklassige Unterstützung für die neueste Version von AUTOSAR C ++ ergänzt 14 Kodierungsrichtlinien.

Das einzigartige Angebot von Parasoft für den AUTOSAR C ++ - Standard umfasst eine Sammlung statischer Analyseprüfer, die in einer gebrauchsfertigen Testkonfiguration zusammengefasst sind, sowie ein spezielles Modul für Compliance-Berichte, das den Compliance-Prozess erleichtert und automatisch die von Sicherheitsbeauftragten und unabhängigen Auditoren geforderte Dokumentation generiert. Der manuelle Aufwand für Compliance-Aktivitäten wird erheblich reduziert.

„Die innovativsten Softwareentwicklungsteams in der Embedded-Branche setzen verstärkt auf die moderne Programmiersprache C++ in ihren sicherheitskritischen Anwendungen. Das kürzlich erfolgte umfassende Update des AUTOSAR C++-Codierungsstandards sowie dessen Zusammenschluss mit MISRA sind speziell auf diese Entwicklungsteams zugeschnitten“, so Miroslaw Zielinski, Produktmanager für C/C++-Tests bei Parasoft. „Mit unserer neuesten Version stärkt Parasoft seine Marktführerschaft im Bereich der Codierungsstandards und erweitert seine umfassende Sicherheitslösung um die vollständigste Lösung für die sicherheitskritische C++-Entwicklung.“

Zusätzlich zu spezifischen Updates für den AUTOSAR C ++ - Codierungsstandard wurden durch die neue Version des Parasoft C / C ++ - Tests mehrere Entwicklungsworkflows für die Einhaltung erweitert, mit neuen Funktionen, darunter:

• Verbesserte Unterstützung für Code-Coverage-Metriken auf Anwendungsebene:
  Diese Version enthält eine vereinfachte Integration in Build-Systeme und Verbesserungen des Parasoft C / C ++ - Testabdeckungsmoduls, um erweiterte Abdeckungsanalysen, die von Sicherheitsstandards wie Zweigstellenabdeckung, Anrufabdeckung und MC / DC-Abdeckung gefordert werden, besser zu unterstützen.
• Verbesserte Leistung für erweiterte Build-Systeme:
  Die statische Analyse-Engine, die für die Überwachung der Einhaltung musterbasierter Regeln verantwortlich ist, wurde jetzt optimiert, um die Analysezeit zu verkürzen. Dies ist eine Reaktion auf die zunehmende Größe der Codebasen und die zunehmende Verwendung fortschrittlicher Build-Systeme wie Bazel, die stark teamweites Caching und verwenden Ein inkrementeller Ansatz zum Erstellen von Quellcode.

Weitere Informationen zur statischen Codeanalyse von Parasoft finden Sie unter https://www.parasoft.com/solutions/static-code-analysis

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