Polyspace Copilot

Assistant IA optimisé pour Polyspace

Polyspace Copilot propose des fonctionnalités alimentées par l'IA générative pour le plugin Polyspace as You Code dans l’IDE Visual Studio^® Code. Polyspace Copilot assiste dans l'analyse et la résolution des défauts de codage ainsi que des violations des normes de codage, y compris MISRA C™:2023, MISRA C++™:2023 et CERT^® C/C++.

Polyspace Copilot propose des explications personnalisées des résultats Polyspace as You Code liés à votre base de code locale. Copilot Chat peut suggérer des corrections de code pour aider à résoudre ces problèmes. Vous pouvez demander à Copilot Chat de répondre à des questions liées à Polyspace as You Code et recevoir des informations basées sur la documentation pertinente de MathWorks.

Capture d'écran de Polyspace Copilot expliquant les étapes de configuration des vérificateurs pour les normes de certification, notamment la sélection de normes de codage telles que MISRA et AUTOSAR, la spécification des options et l'enregistrement des configurations.

Explorer les capacités de Polyspace

Utilisez un langage naturel pour découvrir les fonctionnalités de Polyspace pertinentes par rapport à vos objectifs actuels de vérification de code. Les réponses de Polyspace Copilot sont basées sur la documentation MathWorks la plus récente et des exemples de code.

Capture d'écran de Visual Studio Code montrant l'explication de Polyspace Copilot concernant une violation de règle MISRA et un code C avec des instructions conditionnelles nécessitant une clause « else » pour conformité.

Comprendre les résultats de Polyspace

Examinez des explications personnalisées et contextuelles des résultats Polyspace as You Code, incluant des analyses des violations des normes MISRA C:2023, MISRA C++:2023 et CERT C/C++.

Capture d'écran de Visual Studio Code montrant Polyspace Copilot suggérant une correction pour un problème de code C, avec le code surligné et un panneau d'explication détaillant la modification proposée et sa justification.

Examiner les corrections suggérées pour les résultats de Polyspace

Recevez des conseils sur la manière de traiter les résultats de Polyspace, y compris des extraits de code avec des suggestions pour corriger votre code C/C++. Polyspace Copilot peut suggérer une justification Polyspace pour les écarts approuvés associés aux résultats.