Polyspace Copilot 為 Visual Studio® Code IDE 中的 Polyspace as You Code 外掛提供生成式 AI 功能。Polyspace Copilot 可協助分析並解決程式碼缺陷，以及編碼標準違規問題，包括 MISRA C™: 2023、MISRA C++™:2023 與 CERT® C/C++。
Polyspace Copilot 能針對您本機程式碼庫中 Polyspace as You Code 的分析結果，依據程式碼情境提供專屬說明。Copilot Chat 可提供程式碼修正建議，協助解決這些發現項目。您也可以向 Copilot Chat 詢問與Polyspace即時程式碼分析工具相關的問題，並獲得根據相關 MathWorks 官方文件所提供的資訊。
透過自然語言對話，探索與您目前程式碼驗證目標相關的 Polyspace 功能。Polyspace Copilot 的回覆內容，是根據最新的 MathWorks 官方文件與程式碼範例所提供。
檢視針對 Polyspace as You Code 分析結果所提供的客製化、具情境脈絡的說明，內容涵蓋 MISRA C:2023、MISRA C++:2023 與 CERT C/C++ 違規項目的深入解析。
取得如何處理 Polyspace 分析結果的指引，包括附有修正建議的 C/C++ 程式碼片段。Polyspace Copilot 也能針對經核准可接受的分析結果偏差，提供 Polyspace合理化說明建議。
Polyspace Copilot 支援多語言互動，讓您能以多種語言提問並取得指引。
Polyspace 系列產品透過在整個開發生命週期中測試與監控軟體品質，確保關鍵程式碼的功能安全與資安防護。
辨識程式碼缺陷、檢視靜態分析結果，並監控軟體品質指標。
專為 Polyspace 最佳化的 AI 助理。
針對嵌入式系統中的 C 與 C++ 程式碼，開發、管理及執行測試。
直接從 IDE 中辨識編碼標準違規與軟體弱點
檢查程式碼規則、安全標準與程式碼指標，並找出錯誤。
在 CI 流程中，持續且完整無遺漏地驗證關鍵 C 與 C++ 程式碼陳述式。
在CI 流程中，辨識軟體缺陷並落實程式碼規則。
運用形式化方法，完整無遺漏地驗證關鍵 Ada 程式碼單元。
運用形式化方法，對最關鍵的 C 與 C++ 陳述式進行完整無遺漏的驗證。
在 CI 流程中，持續且完整無遺漏地驗證關鍵 Ada 程式碼陳述式。
商業與學術客戶皆可購買個人授權。部分方案已內含Polyspace Copilot，例如校園授權（Campus-Wide access）與機構授權（Institute-Wide License）。Home、Student、Academic Teaching，以及 Community and Technical College 等方案則不含 Polyspace Copilot。此外，Polyspace Copilot 僅於特定地區提供。
使用 Polyspace Copilot 不需要額外安裝軟體。取得 Polyspace Copilot 授權後，連結使用者即可。使用者只要以其 MathWorks 帳號登入 Visual Studio Code（R2026a 或更新版本）中的 Polyspace as You Code 外掛程式，即可開始使用 Polyspace Copilot。詳情請參閱〈設定與使用Polyspace Copilot〉。
Polyspace Copilot 僅能透過 Visual Studio Code 中的 Polyspace as You Code 外掛程式使用。
Polyspace Copilot 專注於協助您理解並處理 Polyspace 分析所偵測到的問題，直接在 Visual Studio Code 中進行。它會根據您本機的程式碼情境，提供客製化的分析結果說明，並建議可行的程式碼修正方案。Polyspace Copilot 的回覆內容是根據 MathWorks 官方文件所提供。
Polyspace Copilot 包含多項功能（例如 Copilot Chat），皆透過大型語言模型（LLM）生成回應。這些 LLM 是以 MathWorks 官方文件與 Polyspace 分析情境為基礎。Polyspace Copilot 使用雲端託管的 LLM 來產生回應內容。
Polyspace Copilot 並不會產生或修改 C/C++ 程式碼；不過，它可以針對 Polyspace 回報的程式碼缺陷，提供程式碼片段建議與修正指引。
您可以隨時在 Visual Studio Code 中 Polyspace as You Code 外掛程式的設定裡，登出您的 MathWorks 帳號，以此停用 Polyspace Copilot。
關於MathWorks 在您使用Polyspace Copilot 時如何保護您的資料，詳情參閱 MathWorks 隱私權政策。
MathWorks 不會使用終端使用者透過 Polyspace Copilot 提交的資料來訓練 AI 模型。您的資料僅用於處理您的請求。
Polyspace Copilot 可能會使用額外的情境資訊（例如鄰近的程式碼），以提升產生結果的品質。
鈦思科技可協助台灣企業、學研單位與研發團隊了解 MATLAB Copilot、Simulink Copilot與 Polyspace Copilot等相關工具，並依據既有工程流程討論可能的導入方向。
0:05