Das Polyspace Agentic Toolkit integriert die bewährte Polyspace-Verifizierung direkt in KI-gesteuerte Entwicklungsworkflows und ermöglicht es Ihren KI-Codierungsagenten, C/C++ Code automatisch zu analysieren. KI-Codierungsagenten können Polyspace-Ergebnisse interpretieren, Probleme erklären und Lösungen vorschlagen, wodurch Analyseergebnisse in umsetzbare Verbesserungen verwandelt werden. Sie können außerdem C/C++ Tests aus verifizierten Code-Szenarien mithilfe der Polyspace Test xUnit API generieren, um die Testabdeckung zu erweitern und die Möglichkeiten der Codeabdeckung und Testausführung zu nutzen. Alle Agentenaktionen basieren auf bewährten Polyspace-Funktionen, die Zuverlässigkeit und Kontrolle des KI-generierten Codes ermöglichen. Die Integration mit modernen KI-Codierungsagenten erlaubt es Ihnen, diese Funktionen in Ihre bestehende Toolchain einzubinden.
Polyspace-Analyse von KI-Codierungsagenten durchführen lassen
Aktivieren Sie KI-Codierungsagenten, um Polyspace as You Code-Analysen auf C/C++ Dateien durchzuführen, um den Code zu überprüfen und die Ergebnisse zu analysieren. Leiten Sie KI-Codierungsagenten mit Skills zur Verwaltung von Prüfkonfigurationen und Build-Optionen mit projektspezifischen Einstellungen an.
Kreislauf bei Fundstellen schließen
Führen Sie KI-Codierungsagenten durch Workflows zur Analyse-Behebung-Neuanalyse, um Fehler und Verstöße gegen Codierungsstandards vor der Codeüberprüfung oder Integration zu beheben. Unterstützung der Codierungsagenten beim Hinzufügen formatierter Polyspace-Begründungen und der Verwendung genehmigter Begründungskataloge.
Erstellen von Unit-Tests mit Polyspace Test
Aktivieren Sie KI-Codierungsagenten, um C/C++ Unit-Tests mithilfe der Polyspace Test xUnit API zu generieren und so die Testausführung, die Codeinstrumentierung und die Codeabdeckungserfassung zu optimieren.
Vernetzen von Agenten mithilfe von MCP-Tools und Skills
Aktivieren Sie KI-Codierungsagenten, damit diese Polyspace-Befehle ausführen und Polyspace-Ergebnisse mithilfe des Polyspace MCP Servers interpretieren können. Polyspace-spezifische Skills können KI-Codierungsagenten dabei unterstützen, Polyspace-Konfigurationen zu verwalten, auf Dokumentationen zuzugreifen und Polyspace-Ergebnisse zu verwalten. Integrierte Unterstützung für KI-Codierungsassistenten wie Claude® Code, GitHub Copilot®, OpenAI® Codex, Gemini CLI® und Sourcegraph Amp.
