NVIDIA CUDA und Parasoft

C/C++test Statische Analyse für CUDA C/C++

Was leistet der Parasoft C/C++test?

C/C++test führt ein Vollständige Unterstützung für statische Analyse von CUDA-Quelldateien (.cu). Das Tool analysiert und parst CUDA C/C++-Code unter Anwendung der gleichen, in der Branche bewährten Standards und Codierungsregeln, die auch für herkömmliche C/C++-Codebasen verwendet werden. Dies umfasst MISRA C/C++, CERT C/++, AUTOSAR C++ 14, JSF und HICPP.

Das Ergebnis ist ein einheitlicher, automatisierter Prozess zur Identifizierung von Fehlern, zur Durchsetzung von Standards und zur Sicherstellung einer gleichbleibenden Qualität über alle CPU- und GPU-Codemodule hinweg.

Wie die CUDA-Analyse funktioniert

Die Integration von C/C++test in Ihren Entwicklungsworkflow ermöglicht Teams Folgendes:

• Führen Sie mit einer einzigen Konfiguration eine statische Analyse von CUDA-Kerneln und Host-Code durch.
• Durchsetzung von Sicherheits-, Schutz- und Zuverlässigkeitsstandards in CUDA- und herkömmlichem C/C++-Code.
• Leistungsbeeinträchtigenden oder nicht konformen Code frühzeitig im Lebenszyklus erkennen.
• Erstellung von Konformitätsberichten und Rückverfolgbarkeitsmatrizen gemäß funktionalen Sicherheitsstandards wie ISO 26262, DO-178C, IEC 62304, IEC 61508Und andere.
• Durch verbesserte Analysealgorithmen werden Fehlalarme reduziert und die Regelgenauigkeit erhöht.

Zusammen schließen diese Fähigkeiten die seit langem bestehende Qualitätslücke zwischen traditioneller eingebetteter Software und GPU-beschleunigten Komponenten.

Warum es wichtig ist

Die Erweiterung der statischen Analyse auf CUDA durch Parasoft stellt einen wichtigen Meilenstein in der modernen Software-Qualitätssicherung dar. Sie ermöglicht es Unternehmen, dieselben strengen, nachvollziehbaren und konformen Prozesse auch auf die KI- und GPU-Schichten anzuwenden, die autonome Systeme, Fahrerassistenzsysteme und industrielle Intelligenz ermöglichen.

Sofortige Vorteile

• Optimierte Analyse mit weniger falsch positiven Ergebnissen.
• Reduzierter Aufwand für manuelle Überprüfung.
• Schnellere Berichterstattung über Konformität und Zertifizierung.

Strategische Vorteile

• Zukunftsfähige Infrastruktur für KI-gestützte Entwicklungsworkflows.
• Einheitliche Test- und Konformitätsprüfung für hybride CPU/GPU-Umgebungen.
• Stiftung für KI-gestützte Software-Qualitätssicherung in sicherheitskritischen Bereichen.