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.
