Polyspace Copilot

KI-Assistent optimiert für Polyspace

Polyspace Copilot bietet generative KI-gestützte Funktionen im Polyspace as You Code-Plugin für die Visual Studio^® Code-IDE. Polyspace Copilot assistiert bei der Analyse und Behebung von Codierfehlern und Verstößen gegen Codierstandards, einschließlich MISRA C™:2023, MISRA C++™:2023 und CERT^® C/C++.

Polyspace Copilot bietet maßgeschneiderte Erklärungen zu Polyspace as You Code-Ergebnissen, die sich auf Ihre lokale Codebasis beziehen. Copilot Chat kann Codekorrekturen vorschlagen, um bei der Behebung dieser Ergebnisse zu helfen. Sie können Copilot Chat anweisen, Fragen zu Polyspace as You Code zu beantworten und so Informationen erhalten, die auf relevanter MathWorks Dokumentation basieren.

Screenshot von Polyspace Copilot, der die Schritte zur Konfiguration von Checkern für Zertifizierungsstandards erklärt, einschließlich der Auswahl von Codierstandards wie MISRA und AUTOSAR, der Angabe von Optionen und dem Speichern der Konfigurationen.

Möglichkeiten von Polyspace erkunden

Verwenden Sie die natürliche Sprache, um Polyspace-Fähigkeiten zu entdecken, die für Ihre aktuellen Verifikationsziele des Codes relevant sind. Die Antworten von Polyspace Copilot stützen sich auf die neuesten MathWorks Dokumentationen und Code-Beispiele.

Screenshot von Visual Studio Code, der die Polyspace Copilot-Erklärung für eine MISRA-Regelverletzung und C-Code mit bedingten Anweisungen zeigt, die eine else-Klausel zur Einhaltung erfordern.

Verstehen der Polyspace-Ergebnisse

Überprüfen Sie maßgeschneiderte und kontextbezogene Erklärungen zu Polyspace as You Code-Ergebnissen, einschließlich Einblicke in MISRA C:2023-, MISRA C++:2023- und CERT C/C++-Verstöße.

Screenshot von Visual Studio Code, der zeigt, wie Polyspace Copilot eine Lösung für ein C-Code-Problem vorschlägt, mit hervorgehobenem Code und einem Erklärungsfenster, das die vorgeschlagene Änderung und deren Begründung detailliert darstellt.

Überprüfen der vorgeschlagenen Korrekturen für Polyspace-Ergebnisse

Erhalten Sie Anleitungen, wie Sie Polyspace-Fundstellen bearbeiten können, einschließlich Codeausschnitten mit Vorschlägen zur Korrektur Ihres C/C++ Codes. Polyspace Copilot kann Polyspace-Begründungen für genehmigte Abweichungen von den Ergebnissen vorschlagen.

Screenshot von Visual Studio Code mit dem geöffneten Polyspace Copilot-Chat auf der linken Seite in Japanisch und auf der rechten Seite den Erweiterungseinstellungen, die eine Dropdown-Liste zur Auswahl der KI-Sprache anzeigen, wobei derzeit Japanisch unter vielen Sprachen hervorgehoben ist.

Interaktion in Ihrer bevorzugten Sprache

Stellen Sie Fragen und erhalten Sie Unterstützung in vielen Sprachen mit der Polyspace Copilot-Unterstützung für mehrsprachige Interaktionen.

Produktressourcen:

Dokumentation Anforderungen Versionshinweise

Polyspace-Produktfamilie

Polyspace-Produkte machen kritischen Code sicher und geschützt, indem die Softwarequalität während des gesamten Entwicklungslebenszyklus getestet und überwacht wird.