NVIDIA CUDA et Parasoft

Analyse statique des tests C/C++ pour CUDA C/C++

Que fait Parasoft C/C++test ?

C/C++test introduit Prise en charge complète de l'analyse statique des fichiers sources CUDA (.cu). Cet outil analyse le code CUDA C/C++ en appliquant les mêmes normes et règles de codage éprouvées que celles utilisées pour les bases de code C/C++ classiques. Cela inclut MISRA C/C++, CERT C/C++, AUTOSAR C++ 14, JSF et HICPP.

Il en résulte un processus unifié et automatisé permettant d'identifier les défauts, d'appliquer les normes et de garantir une qualité constante pour l'ensemble des modules de code CPU et GPU.

Fonctionnement de l'analyse CUDA

L'intégration de C/C++test dans votre flux de développement permet aux équipes de :

• Effectuez une analyse statique des noyaux CUDA et du code hôte avec une configuration unique.
• Appliquer les normes de sûreté, de sécurité et de fiabilité à l'ensemble du code CUDA et du code C/C++ traditionnel.
• Détectez dès le début du cycle de vie les codes ayant un impact sur les performances ou non conformes.
• Générer des rapports de conformité et des matrices de traçabilité alignés sur les normes de sécurité fonctionnelle telles que ISO 26262, DO-178C, IEC 62304, IEC 61508 et autres.
• Réduisez les faux positifs et améliorez la précision des règles grâce à des algorithmes d'analyse améliorés.

Ensemble, ces fonctionnalités comblent le fossé qualitatif qui existait depuis longtemps entre les logiciels embarqués traditionnels et les composants accélérés par GPU.

Pourquoi ça compte

L'extension de l'analyse statique de Parasoft à CUDA constitue une étape clé dans l'assurance logicielle moderne. Elle permet aux entreprises d'appliquer les mêmes processus de rigueur, de traçabilité et de conformité aux couches d'IA et de GPU qui sous-tendent les systèmes autonomes, les systèmes avancés d'aide à la conduite et l'intelligence industrielle.

Avantages immédiats

• Analyse simplifiée avec moins de faux positifs.
• Réduction des efforts de vérification manuelle.
• Rapports de conformité et de certification plus rapides.

Avantages stratégiques

• Infrastructure adaptée aux flux de travail de développement assistés par l'IA pour l'avenir.
• Tests et conformité unifiés pour les environnements hybrides CPU/GPU.
• Fondation pour une assurance logicielle basée sur l'IA dans les domaines critiques pour la sécurité.