Parasoft C/C++test 2022.2 unterstützt das neue MISRA C:2012 Amendment 3 und eine Entwurfsversion von MISRA C++ 202x. Erfahren Sie mehr >>

Wir haben den Parasoft C / C ++ Test 10.4.2 veröffentlicht!

Von Miroslaw Zielinski

16. April 2019

4  min lesen

Die neue Version des Parasoft C / C ++ - Tests enthält Verbesserungen der statischen Analyse, Unterstützung für AUTOSAR C ++ 14 Version 18.10 und ein erweitertes Codeabdeckungsmodul. Was bedeutet das alles? Lesen Sie weiter unten.

Am 29. Januar kündigten die Konsortien MISRA und AUTOSAR den Zusammenschluss der beiden beliebtesten Codierungsstandards für die sicherheitskritische C ++ - Entwicklung an, um zwei wichtige Punkte zu klären:

  • AUTOSAR C ++ 14 wird aktualisiert, um Änderungen in der in C ++ 17 eingeführten C ++ - Sprache widerzuspiegeln
  • Es gibt keine zwei wettbewerbsfähigen Codierungsstandards auf dem Markt für sicherheitsorientierte Entwicklung in C ++

Dies ist eine hervorragende Nachricht für die wachsende Anzahl von Unternehmen, die sicherheitskritische Systeme in C ++ entwickeln und nun sicher in ihre Compliance-Prozesse für AUTOSAR C ++ 14 investieren können, da die Zukunft des Standards klar definiert ist.  

In Erwartung dieser Fusion investierte Parasoft stark in die Verbesserung der Unterstützung der AUTOSAR C ++ 14-Codierungsrichtlinien. Die neueste Version von Parasoft C / C ++ test bringt ein aktualisiertes Kfz-Compliance-Paket und Verbesserungen der statischen Analyseleistung. Teams, die mit großen Codebasen arbeiten, können jetzt ihre Produktivität durch kürzere Feedback-Zyklen und die Möglichkeit verbessern, die Ergebnisse nach einer Änderung des Quellcodes frisch zu überprüfen.

Auf der Seite der Laufzeitprüfungen haben wir unsere Kunden dabei unterstützt, Kennzahlen zur Codeabdeckung aus Tests auf Anwendungs- / Systemebene zu erfassen. Ein erweitertes Codeabdeckungsmodul vereinfacht den Einrichtungsprozess, ermöglicht es Benutzern, alle Arten von Abdeckungsmetriken aus System- / Integrations- / Komponententests zu erfassen, und unterstützt das Zusammenführen, um einheitliche Berichte zu erstellen.

Lesen Sie weiter unten!

Das Automotive Compliance Pack unterstützt jetzt AUTOSAR C ++ 14 Version 18.10

Das Automotive Compliance Pack des Parasoft C / C ++ - Tests unterstützt jetzt die neueste Version des AUTOSAR C ++ 14 Coding Standard. Die neueste Version, 18.10, wurde im Oktober 2018 veröffentlicht und bietet signifikante Verbesserungen gegenüber den vorherigen Ausgaben der Codierungsrichtlinien. Es gibt neue Richtlinien hinzugefügt zum Standard, und  einige Richtlinien haben neue IDs. Mannschaften Planen der Migration auf die neueste Ausgabe der Codierungsrichtlinien sollte etwas Zeitbudget zur Verfügung stellen, um die Verbesserungen im Standard zu analysieren, um dies zu vermeiden Überraschungen bei der Überprüfung von Compliance-Berichten.   

Die neue C / C ++ - Testversion bietet die beste Abdeckung für den auf dem Markt verfügbaren AUTOSAR-Codierungsstandard, kombiniert mit dedizierten Compliance-Berichten. Diese leistungsstarke Lösung hilft Unternehmen bei der Erstellung von AUTOSAR C ++ 14-kompatiblem Code und beschleunigt den Prozess der Erreichung der Konformität. Das Berichts-Framework hilft bei der Verwaltung des Compliance-Prozesses und generiert automatisch die Compliance-Dokumentation gemäß dem Standard „MISRA 2016“, wodurch der manuelle Aufwand für die Compliance-Aktivitäten erheblich reduziert wird. 

Verbesserte Leistung der statischen Analyse

Mit der Version C / C ++ Test 10.4.2 wird die statische Analyse-Engine Die Überwachung der Einhaltung musterbasierter Regeln ist jetzt optimiert, um die Analysezeit in inkrementellen Builds zu verkürzen und die Rückkopplungszyklen zwischen der Änderung des Codes und der Überprüfung der statischen Analyseergebnisse zu verkürzen.

Die Verbesserung reagiert auf die wachsende Größe der Codebasen und die zunehmende Verwendung fortschrittlicher Build-Systeme wie Bazel, die das teamweite Caching und den inkrementellen Ansatz zum Erstellen des Quellcodes stark nutzen. Es wird erwartet, dass kürzere Rückkopplungsschleifen den Entwickler verbessern sollten Produktivität, da sie früher auf gemeldete Probleme reagieren können, während der geänderte Code noch in ihrem Kopf ist. Diese Optimierungen wurden für die CI / CD-Bereitstellung entwickelt, aber Benutzer, die in der IDE arbeiten, können auch davon profitieren und eine verkürzte Analyse erfahren. 

Verbesserungen beim Sammeln der Codeabdeckung aus Anwendungstests

Um unseren Benutzern zu helfen, die Gründlichkeit ihrer Tests auf System- / Integrationsebene effektiv zu überwachen, haben wir den Parasoft C / C ++ - Test erweitert Codeabdeckungsmodul um komplexe Build-Systeme besser zu unterstützen. Benutzer können jetzt den vereinfachten Einrichtungspfad auswählen, ohne ein dediziertes Projekt in der IDE zu erstellen, um die instrumentierte Binärdatei vorzubereiten. C / C ++ - Test bietet jetzt ein leichtes Dienstprogramm zur Codeabdeckung, das einfach in jedes Build-System integriert und zur Vorbereitung von Test-Binärdateien verwendet werden kann. Der generierte Coverage-Build kann mit einer Reihe von Testszenarien eines Benutzers ausgeführt werden, und gesammelte Coverage-Protokolle können zusammengeführt werden, um das vollständige Bild der Code-Coverage-Ergebnisse zu erhalten. Darüber hinaus können Benutzer die Ergebnisse der Codeabdeckung aus System-, Integrations- und Unit-Level-Tests kombinieren, um ein vollständiges Bild ihrer Testbemühungen zu erhalten.  

Berichte können automatisch über die Befehlszeilenschnittstelle generiert oder zur Entwickleranalyse und zum Schließen der Lücken mit Punkt-Unit-Tests in die IDE geladen werden. Die erweiterte Lösung verwendet bereits vorhandene C / C ++ - TestkomponentenDies bietet den effektivsten Weg, um 100% der Codeabdeckung für branchenweit beliebte Metriken zu erreichen, angefangen bei der Anweisungsabdeckung über die Block-, Anruf- und Bedingungsabdeckung bis hin zur MC / DC-Abdeckungsmetrik.

Into die Zukunft 

Unsere letzten drei Releases konzentrierten sich stark auf die Verbesserung der statischen Analyse. Wir haben daran gearbeitet, unsere statischen Analyseprüfer präziser und zeiteffizienter zu gestalten und unseren Benutzern die bestmögliche Abdeckung für wichtige Sicherheitscodierungsstandards auf dem Markt zu bieten. Wir bekommen sehr gutes Feedback! Besonders Kunden schätzen die breite Abdeckung von CERTMISRAund AUTOSAR - ein kritischer Faktor bei der Auswahl eines neuen statischen Analysewerkzeugs auf dem hart umkämpften Markt.  

Mit Blick auf die nahe Zukunft werden wir etwas mehr Zeit in die dynamischen Testfunktionen von C/C++test investieren, insbesondere in das Unit-Testing-Framework. Wir haben eine Sammlung von Innovationen in unserem Backlog, die darauf warten, umgesetzt zu werden. Wir können sie nicht zu lange warten lassen … erwarten Sie einige interessante Unit-Testing-Goodies im Herbst dieses Jahres!

Holen Sie sich eine einheitliche C- und C ++ - Entwicklungstestlösung für eingebettete und sicherheitskritische Softwareprojekte

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

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.