Découvrez GoogleTest certifié TÜV avec Agentic AI pour les tests C/C++ !
Plus de détails »
Contenu recommandé
WEBINAIRE
Les équipes de développement de logiciels embarqués modernes subissent une pression croissante pour livrer des logiciels plus rapidement tout en maintenant les normes les plus élevées en matière de qualité, de sûreté, de sécurité et de conformité. Avec l'intégration du code généré par l'IA, la complexité croissante du C/C++, les applications accélérées par GPU et l'évolution des chaînes d'outils dans le développement quotidien, les entreprises ont besoin de flux de travail de vérification plus intelligents et automatisés, couvrant le développement, les tests, la conformité et les pipelines CI/CD.
Regardez les experts de Parasoft présenter les dernières innovations de C/C++test et C/C++test CT 2026.1. Grâce à des démonstrations pratiques, vous découvrirez comment les flux de travail assistés par l'IA, l'analyse statique améliorée, la prise en charge étendue des normes et l'intégration plus poussée avec l'écosystème permettent aux équipes d'améliorer la productivité des développeurs, de renforcer la qualité des logiciels et de rationaliser les activités de vérification. Découvrez comment une approche de vérification unifiée peut accélérer le développement tout en garantissant la conformité des logiciels critiques pour la sécurité.
Vous découvrirez :
Cette nouvelle version de Parasoft C/C++test et C/C++test CT aide les équipes de développement de logiciels embarqués à automatiser la vérification, à tirer parti des flux de travail pilotés par l'IA et à intégrer plus facilement les activités de qualité et de conformité au développement quotidien. Il en résulte une livraison plus rapide de logiciels plus sûrs, plus sécurisés et conformes.
L'un des plus grands défis pour les équipes de développement n'est pas seulement de détecter les défauts logiciels et les violations des normes de codage, mais aussi de les corriger efficacement. Ce défi s'accentue avec l'essor de la génération de code assistée par l'IA. Si l'IA peut accélérer le développement, le code qu'elle produit n'est pas toujours conforme aux normes. conforme aux normes telles que MISRA C/C++ ou AUTOSAR C++14, ce qui augmente l'effort requis pour examiner et corriger les logiciels.
Parasoft C/C++test 2026.1 introduit des flux de travail de correction assistés par l'IA, basés sur les compétences d'IA. Ces fonctionnalités spécialisées offrent aux agents d'IA un accès structuré aux données de vérification Parasoft, aux recommandations de normes de codage et aux connaissances en matière de vérification de logiciels embarqués, permettant ainsi des recommandations de correction plus précises et conformes aux exigences.
L'IA permettant aux développeurs d'écrire du code plus rapidement, la vérification doit suivre le même rythme. Plutôt que de rechercher manuellement chaque violation, les développeurs peuvent utiliser des compétences d'IA pour recevoir des conseils de correction ciblés et générer des propositions de mises à jour de code, tout en conservant la maîtrise totale de l'examen et de l'approbation des modifications.
Il en résulte une réduction du temps consacré au traitement des résultats d'analyse statique, une productivité accrue des développeurs, des revues de code plus rapides et une confiance renforcée dans conformité aux normes de codage.
Avec C/C++test 2026.1, prise en charge de la norme de codage VVSG 2.0. Correspondances avec les énumérations de faiblesses communes (CWECes améliorations ont également été optimisées. Elles permettent aux équipes de détecter plus tôt les vulnérabilités, de mieux comprendre les risques de sécurité, de renforcer la conformité et d'améliorer la préparation aux audits.
Ceci est particulièrement avantageux pour les organisations soumises à des exigences de sécurité spécifiques. Les équipes peuvent identifier plus facilement les violations des normes de codage et les failles de sécurité susceptibles d'affecter la conformité, tout en fournissant des preuves pour les certifications et les audits. Les correspondances CWE améliorées aident les équipes à comprendre le lien entre les résultats et les faiblesses logicielles connues, ce qui permet une meilleure priorisation des actions correctives et un alignement plus solide avec les meilleures pratiques de sécurité du secteur.
Avec l'adoption par les entreprises de technologies embarquées avancées telles que l'IA et la robotique, les logiciels sont de plus en plus répartis entre les CPU et les GPU. NVIDIA CUDA est devenu essentiel pour de nombreuses applications hautes performances. Cependant, les outils d'analyse statique traditionnels peinent souvent à gérer les structures de programmation propres aux GPU, ce qui peut entraîner des résultats inexacts ou la non-détection de défauts.
C/C++test 2026.1 se développe Prise en charge de l'analyse statique pour CUDA C et C++Cela permet une meilleure compréhension du langage CUDA et des constructions de programmation spécifiques aux GPU. Il en résulte une analyse plus précise, une réduction du temps consacré aux faux positifs et une meilleure visibilité des défauts et des vulnérabilités des applications CUDA.
Les organisations peuvent désormais appliquer les mêmes pratiques de vérification de la sécurité et de la qualité aux systèmes basés sur le CPU et à ceux accélérés par GPU, créant ainsi un processus de vérification plus cohérent et évolutif. Ceci est important compte tenu de l'adoption croissante des GPU dans des secteurs tels que l'automobile, l'aérospatiale et l'automatisation industrielle.
La complexité du code tend à augmenter avec le temps, ce qui rend les logiciels plus difficiles à maintenir, plus coûteux à vérifier et plus complexes à comprendre. Ce problème se pose également avec le code généré par l'IA, dont la complexité peut s'accumuler rapidement en l'absence de surveillance.
C/C++test 2026.1 introduit une nouvelle fonctionnalité de reporting de la complexité du code. Les équipes peuvent générer des rapports HTML détaillés offrant une visibilité sur les indicateurs de complexité de l'ensemble du code, sans avoir besoin de la solution Parasoft DTP. Cela leur permet d'identifier rapidement les zones problématiques potentielles, de suivre l'évolution de la dette technique et de prendre de meilleures décisions en matière de refactoring.
Cette visibilité est de plus en plus importante avec le code généré par l'IA. Avoir une vision claire du code écrit par les humains et du code généré par l'IA contribue à maintenir la qualité du logiciel sur le long terme. Ces rapports peuvent être générés localement par les développeurs ou automatiquement dans les pipelines CI/CD, permettant ainsi une surveillance continue tout au long du cycle de vie du développement logiciel.
Au fil du temps, les suppressions d'analyse statique peuvent s'accumuler. Si nombre d'entre elles étaient valides lors de leur ajout, les modifications de code, l'évolution des normes et les mises à jour de projets peuvent les rendre obsolètes. Cela engendre des coûts de maintenance supplémentaires et peut compliquer la fiabilité des enregistrements de suppression.
C/C++test 2026.1 introduit une nouvelle fonctionnalité permettant d'identifier les suppressions inutilisées directement dans les rapports d'analyse statique. Les équipes peuvent ainsi rapidement repérer et supprimer les suppressions devenues inutiles, garantissant des configurations d'analyse claires et précises. Ce gain de temps sur la gestion des suppressions obsolètes renforce la fiabilité des résultats d'analyse statique et facilite la préparation des preuves de conformité pour les audits.
Lors de l'évaluation des solutions de vérification, la compatibilité avec la chaîne d'outils est un critère essentiel pour les équipes de développement embarqué. Les outils de vérification doivent s'intégrer naturellement aux environnements de développement existants, sans nécessiter d'efforts d'intégration supplémentaires ni contraindre les équipes à modifier leurs méthodes de développement.
C/C++test 2026.1 continue d'étendre sa prise en charge à un large éventail de compilateurs et d'environnements d'outils modernes. Cela permet aux entreprises de moderniser leur écosystème de développement tout en conservant leur processus de vérification existant. Les équipes peuvent ainsi adopter des versions plus récentes de compilateurs, prendre en charge des architectures cibles supplémentaires et intégrer facilement Parasoft à leurs flux de travail existants, réduisant ainsi les risques liés au développement et simplifiant l'adoption.
C/C++test CT enrichit les fonctionnalités destinées aux équipes de développement de systèmes critiques, notamment la couverture structurelle du code, la traçabilité des exigences et la génération de rapports de conformité. Il peut être combiné avec C/C++test pour une stratégie de vérification unifiée.
Pour la version 2026.1, C/C++test CT continue d'étendre la prise en charge de Certification TÜV de GoogleTestIl inclut également une prise en charge étendue des environnements de compilation modernes tels que GCC 12 et 15, et Clang 20 et 21, ainsi que de certains compilateurs TI et Tasking. Ceci contribue à réduire les efforts et les risques liés à la qualification des outils.
L'obtention d'une couverture conditionnelle/décisionnelle modifiée (MC/DC) peut s'avérer complexe. Identifier les lacunes de couverture est souvent la partie la plus simple ; comprendre leurs causes et concevoir des cas de test pour les combler représente la véritable difficulté.
C/C++test CT 2026.1 étend ses capacités de vérification assistée par l'IA pour automatiser bon nombre de ces activités. Il peut désormais analyser les lacunes de couverture MC/DCCe système permet d'identifier les conditions non couvertes et les résultats de décision, de recommander les vecteurs de test manquants, de générer des cas de test ciblés et de faciliter la justification de la couverture. Les équipes peuvent ainsi consacrer moins de temps à l'analyse manuelle des rapports, accélérer la création des tests, améliorer la cohérence des preuves de conformité et atteindre plus efficacement leurs objectifs de couverture.
Ceci est particulièrement précieux pour les organisations développant des logiciels selon des normes telles que ISO 26262, DO 178C et IEC 61508, où la couverture MC/DC est essentielle.
Pour fluidifier le processus de développement, les fonctionnalités de vérification se rapprochent des environnements de développement logiciel. Passer d'un EDI à l'autre, d'un tableau de bord à l'autre et d'un outil d'analyse à l'autre peut s'avérer fastidieux.
Parasoft est enthousiaste à propos de son intégration avec JetBrains CLionGrâce à cette intégration, les équipes peuvent accéder aux fonctionnalités d'analyse statique de Parasoft directement depuis l'IDE CLion. Cela permet d'identifier les défauts, les failles de sécurité et les violations des normes de codage sans quitter CLion. La vérification devient ainsi une composante du flux de travail de développement quotidien, ce qui permet d'identifier et de résoudre les problèmes plus rapidement, de réduire les changements de contexte et d'améliorer la productivité.
Cette intégration s'inscrit dans la stratégie d'IA de Parasoft, combinant des flux de travail IDE modernes avec une analyse et une correction assistées par l'IA pour accélérer la résolution des problèmes tout en maintenant les exigences de qualité et de conformité.
Ce webinaire présente également un flux de travail d'intégration continue piloté par l'IA qui corrige automatiquement les violations d'analyse statique. Lorsqu'un développeur ouvre une demande de fusion, le pipeline d'intégration continue déclenche une analyse statique. Si des violations sont détectées, un agent d'IA est chargé de les corriger automatiquement. L'agent applique les corrections dans une branche distincte, créant des commits avec des descriptions pour faciliter la relecture. Il ouvre ensuite une nouvelle demande de fusion pour que le développeur puisse y intégrer les corrections.
Ce flux de travail utilise les compétences de test C++ disponibles sur GitHub. L'agent peut corriger toutes les violations ou une par une. La démonstration a montré un pipeline défaillant en raison de violations, mais l'agent d'IA les a corrigées avec succès, en ouvrant une demande d'extraction de correction automatique. Après fusion de cette demande, le pipeline a fonctionné correctement, indiquant que le code était propre et prêt à être intégré à la branche principale.
