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.
Polyspace Agentic Toolkit – Häufig gestellte Fragen
Das Polyspace Agentic Toolkit ermöglicht es KI-Coding-Agenten, Polyspace-Verifikationstechnologien innerhalb KI-gestützter Softwareentwicklungs-Workflows zu nutzen. KI-Agenten können Code analysieren, Verifikationsergebnisse prüfen, Befunde erklären, Korrekturen vorschlagen, Tests generieren und dazu beitragen, Softwarequalität und Compliance zu verbessern.
KI-Coding-Assistenten können Code schnell generieren, verifizieren jedoch nicht die Korrektheit der Software. Das Polyspace Agentic Toolkit verbindet KI-Agenten mit bewährten Softwareverifikationstechnologien, sodass Entscheidungen auf Basis statischer Analyse, Codierstandards, Laufzeitverifikationsergebnissen und Test-Workflows getroffen werden können, anstatt sich ausschließlich auf LLM-Schlussfolgerungen zu verlassen.
Das Polyspace Agentic Toolkit unterstützt:
- Polyspace as You Code
- Polyspace Bug Finder
- Polyspace Code Prover
- Polyspace Test
KI-Agenten können Analysen starten, Befunde prüfen, Ursachen erkennen, Korrekturen vorschlagen, Befunde begründen sowie Tests als Teil von Verifikations-Workflows erzeugen oder ausführen.
Ja. KI-Agenten können detaillierte Verifikationsergebnisse abrufen und interpretieren, einschließlich Issue-Tracebacks, Analysekontext, numerischer Werte, Konfigurationsinformationen und Prüfmetadaten, die über den Polyspace MCP Server bereitgestellt werden. Dadurch können die Agenten Befunde besser verstehen und genauere Erklärungen und Behebungsvorschläge liefern.
KI-Coding-Agenten können Polyspace-Analysen für C/C++-Dateien durchführen, nach Codierfehlern und Verstößen gegen Codierstandards suchen, Checker-Konfigurationen verwalten und Analyse‑→‑Behebung‑→‑Reanalyse-Workflows steuern.
Ja. KI-Agenten können mit den Polyspace-Verifikationstechnologien KI-generierten C- und C++-Code analysieren, um Fehler, Verstöße gegen Codierstandards, Sicherheitslücken und Laufzeitprobleme zu identifizieren.
KI-Agenten können Polyspace nutzen, um die Einhaltung von Codierstandards und Secure-Coding-Richtlinien zu prüfen, einschließlich:
- MISRA C/C++
- CERT C/C++
- CWE
- AUTOSAR-C++14
- Sicherheits- und Qualitäts-Checker, die von Polyspace unterstützt werden
Das Toolkit kann Agenten außerdem dabei unterstützen, Befunde zu erklären, zu beheben, zu begründen und als Teil eines automatisierten Workflows erneut zu analysieren.
Ja. KI-Agenten können die Polyspace Test xUnit API verwenden, um C/C++-Unit-Tests zu generieren, Tests lokal (on-host) und auf dem Zielsystem (on-target) auszuführen, Coverage-Informationen zu sammeln und Analyse‑→‑Behebung‑→‑Test‑→‑Retest-Workflows zu unterstützen.
Das Polyspace Agentic Toolkit bietet integrierte Unterstützung für gängige KI-Coding-Assistenten, darunter GitHub Copilot, OpenAI Codex, Claude Code, Cursor, Gemini CLI und Sourcegraph Amp.
Ja. Das Toolkit kann Agenten dabei helfen, Polyspace-Verifikationsergebnisse in Bezug auf Secure-Coding-Richtlinien und branchenübliche Sicherheitsstandards zu nutzen, sodass Teams Software-Schwachstellen früher im Entwicklungsprozess reduzieren können.
KI-Coding-Agenten können Checker-Konfigurationen für Codierstandards verwalten, formatierte Polyspace-Begründungen hinzufügen und genehmigte Begründungskataloge verwenden, um Verstöße gegen Codierregeln zu adressieren.
Das Toolkit ermöglicht verifikationsbewusste Agenten-Workflows, in denen KI-Agenten:
- Code analysieren
- Befunde prüfen
- Korrekturen vorschlagen oder anwenden
- Verifikation erneut ausführen
- Tests erzeugen
- Softwarequalität validieren
Dies hilft Organisationen, zuverlässige KI-unterstützte Entwicklungsprozesse mit größerem Vertrauen, Rückverfolgbarkeit und höherer Softwarequalität zu etablieren.
Ja. Das Toolkit unterstützt Teams dabei, Softwareverifikation auf KI-generierten und von Menschen geschriebenen Code anzuwenden, der in regulierten Branchen wie Automotive, Luft- und Raumfahrt, Verteidigung, Halbleiter, Industrie und Medizin eingesetzt wird. Verifikationsergebnisse bleiben für technische Überprüfungen, Compliance-Aktivitäten und Sicherheitsprozesse verfügbar.
Polyspace Copilot unterstützt Softwareingenieure direkt in Visual Studio Code, indem es Befunde erklärt und Korrekturen vorschlägt.
Das Polyspace Agentic Toolkit ermöglicht autonomen oder halbautonomen KI-Coding-Agenten, Verifikationsaktivitäten durchzuführen, Codeanalyse- und Test-Workflows auszuführen, mit Analyseergebnissen zu interagieren und mehrstufige Softwarequalitätsprozesse zu automatisieren.
Ja. Das Polyspace Agentic Toolkit ist als Open-Source-Toolkit auf GitHub verfügbar. Einige Workflows erfordern jedoch den Zugriff auf installierte Polyspace-Produkte und die entsprechenden Polyspace-Lizenzen, um Analysen auszuführen oder geschützte Verifikationsergebnisse zuzugreifen.
Das Polyspace Agentic Toolkit steht im MathWorks-Repository auf GitHub zum Download bereit.
