Polyspace Agentic Toolkit intègre des capacités de vérification Polyspace fiables, directement dans les workflows de développement pilotés par l'IA, permettant à vos agents de codage IA d'analyser automatiquement le code C/C++. Les agents de codage IA peuvent interpréter les résultats de Polyspace, expliquer les problèmes et suggérer des solutions, transformant ainsi les résultats d'analyse en améliorations concrètes. Vous pouvez également générer des tests C/C++ à partir de scénarios de code vérifiés, en utilisant l'API xUnit de Polyspace Test, afin d'étendre la couverture et d’exploiter les capacités de couverture de code et d'exécution des tests. Toutes les actions des agents reposent sur les capacités fiables de Polyspace, ce qui permet la fiabilité et le contrôle du code généré par l'IA, tandis que l'intégration avec des agents de codage IA modernes vous permet d'intégrer ces capacités à votre chaîne d'outils existante.
Laisser les agents de codage IA effectuer une analyse Polyspace
Autorisez les agents de codage IA à exécuter l'analyse Polyspace as You Code sur les fichiers C/C++ pour vérifier le code et examiner les résultats. Guidez les agents de codage IA en leur fournissant les compétences nécessaires pour gérer les configurations de vérification et les options de compilation avec des paramètres spécifiques au projet.
Boucler la boucle sur les résultats
Guidez les agents de codage IA à travers des workflows d'analyse, de correction et de réanalyse, pour aider à corriger les défauts et les violations des normes de codage avant la revue de code ou l'intégration. Aidez les agents de codage à ajouter des justifications Polyspace formatées et à utiliser les catalogues de justifications approuvés.
Créer des tests unitaires avec Polyspace Test
Permettez aux agents de codage IA de générer des tests unitaires C/C++ à l'aide de l'API xUnit de Polyspace Test, rationalisant ainsi l'exécution des tests, l'instrumentation du code et la collecte de la couverture du code.
Connecter les agents grâce aux outils et compétences MCP
Autorisez les agents de codage IA à exécuter des commandes Polyspace et à interpréter les résultats Polyspace à l'aide du serveur Polyspace MCP. Les compétences spécifiques à Polyspace peuvent guider les agents de codage IA pour prendre en charge les configurations Polyspace, accéder à la documentation et gérer les résultats Polyspace. Prise en charge intégrée des assistants de codage IA tels que Claude® Code, GitHub Copilot®, OpenAI® Codex, Gemini CLI® et Sourcegraph Amp.
FAQ sur Polyspace Agentic Toolkit
Polyspace Agentic Toolkit permet aux agents d'intelligence artificielle de codage d'utiliser les technologies de vérification Polyspace au sein des workflows de développement logiciel pilotés par l'IA. Les agents d'intelligence artificielle peuvent analyser le code, examiner les résultats de vérification, expliquer les constats, proposer des corrections, générer des tests et aider à améliorer la qualité et la conformité du logiciel.
Les assistants de codage IA peuvent générer du code rapidement, mais ils ne vérifient pas la correction du logiciel. Polyspace Agentic Toolkit connecte les agents d'intelligence artificielle aux technologies de vérification logicielle éprouvées afin qu'ils puissent prendre des décisions basées sur l'analyse statique, les normes de codage, les résultats de vérification d'exécution et les workflows de test, plutôt que de se fier uniquement au raisonnement des LLM.
Polyspace Agentic Toolkit inclut :
- Polyspace as You Code
- Polyspace Bug Finder
- Polyspace Code Prover
- Polyspace Test
Les agents d'intelligence artificielle peuvent lancer des analyses, examiner les constats, comprendre les causes profondes, proposer des corrections, justifier les constats et générer ou exécuter des tests dans le cadre des workflows de vérification.
Oui. Les agents d'intelligence artificielle peuvent accéder aux résultats de vérification détaillés et les interpréter, y compris les traces des incidents, le contexte d'analyse, les valeurs numériques, les informations de configuration et les métadonnées de revue exposées via le Polyspace MCP Server. Cela aide les agents à comprendre les constats et à fournir des explications et des suggestions de remédiation plus précises.
Les agents d'intelligence artificielle de codage peuvent exécuter des analyses Polyspace sur des fichiers C/C++, rechercher des défauts de codage et des violations de normes de codage, gérer les configurations des vérificateurs et piloter des workflows analyser-corriger-réanalyser.
Oui. Les agents d'intelligence artificielle peuvent analyser du code C et C++ généré par l'IA en utilisant les technologies de vérification Polyspace pour identifier des défauts, des violations de normes de codage, des faiblesses de sécurité et des problèmes d'exécution.
Les agents d'intelligence artificielle peuvent utiliser Polyspace pour vérifier la conformité aux normes de codage et aux directives de codage sécurisé, y compris :
- MISRA C/C++
- ERT C/C++
- CWE
- AUTOSAR-C++14
- Security and quality checkers supported by Polyspace
L'outil peut également aider les agents à expliquer, corriger, justifier et réanalyser les constats dans le cadre d'un workflow automatisé.
Oui. Les agents d'intelligence artificielle peuvent utiliser l'API Polyspace Test xUnit pour générer des tests unitaires C/C++, exécuter des tests sur l'hôte et sur la cible, collecter des informations de couverture et prendre en charge les workflows analyser-corriger-tester-retester.
Polyspace Agentic Toolkit offre une prise en charge intégrée pour des assistants de codage IA populaires, notamment GitHub Copilot, OpenAI Codex, Claude Code, Cursor, Gemini CLI et Sourcegraph Amp.
Oui. L'outil peut aider les agents à utiliser les résultats de vérification Polyspace relatifs aux directives de codage sécurisé et aux normes de sécurité reconnues par l'industrie, aidant les équipes à réduire les vulnérabilités logicielles en amont du processus de développement.
Les agents d'intelligence artificielle de codage peuvent gérer les configurations des vérificateurs pour les normes de codage, ajouter des justifications Polyspace formatées et utiliser des catalogues de justifications approuvés pour aider à traiter les violations des règles de codage.
L'outil permet des workflows d'agents sensibles à la vérification où les agents d'intelligence artificielle peuvent :
- Analyser le code
- Examiner les constats
- Proposer ou appliquer des corrections
- Rélancer la vérification
- Générer des tests
- Valider la qualité du logiciel
Cela aide les organisations à établir des processus de développement assistés par l'IA plus fiables, avec une plus grande confiance, une meilleure traçabilité et une qualité logicielle accrue.
Oui. L'outil aide les équipes à appliquer la vérification logicielle au code généré par l'IA et au code écrit par des humains utilisé dans des industries réglementées telles que l'automobile, l'aérospatiale, la défense, les semi-conducteurs, l'industrie et les systèmes médicaux. Les résultats de vérification restent disponibles pour la revue d'ingénierie, les activités de conformité et les processus de sécurité.
Polyspace Copilot assiste les ingénieurs logiciels travaillant directement dans Visual Studio Code en expliquant les constats et en proposant des corrections.
Polyspace Agentic Toolkit permet à des agents d'intelligence artificielle autonomes ou semi-autonomes d'exécuter des activités de vérification, d'effectuer des analyses de code et des workflows de test, d'interagir avec les résultats d'analyse et d'automatiser des processus qualité logiciel multi-étapes.
Oui. Polyspace Agentic Toolkit est disponible en open source sur GitHub. Certains workflows nécessitent l'accès aux produits Polyspace installés et aux licences Polyspace appropriées pour exécuter des analyses ou accéder à des résultats de vérification protégés.
Polyspace Agentic Toolkit est disponible en téléchargement sur GitHub dans le dépôt MathWorks.
