Polyspace Agentic Toolkit

Polyspace Agentic Toolkit

使用可靠的 Polyspace 能力增强 AI 编码智能体

Polyspace Agentic Toolkit 将可靠的 Polyspace 验证功能直接引入 AI 驱动的开发工作流中,使您的 AI 编码智能体能够自动分析 C/C++ 代码。AI 编码智能体可以解读 Polyspace 的检查结果、解释问题并提出修复建议,将分析结果转化为切实可行的改进。您还可以使用 Polyspace Test xUnit API,基于已验证的代码场景生成 C/C++ 测试,以扩展覆盖范围并利用代码覆盖率与测试执行功能。智能体的所有操作均基于值得信赖的 Polyspace 能力,从而确保 AI 生成代码的可靠性与控制力,同时,与现代 AI 编码智能体的集成使您能够将这些功能纳入现有的工具链中。

让 AI 编码智能体运行 Polyspace 分析

使 AI 编码智能体能够对 C/C++ 文件运行 Polyspace as You Code 分析,以检查代码并审阅检查结果。通过各项技能指导 AI 编码智能体,使其能够使用项目特定设置来管理检查器配置和构建选项。

实现检查结果的闭环处理

引导 AI 编码智能体完成“分析-修复-重新分析”工作流,帮助在代码审查或集成之前解决代码缺陷并处理违反编码标准的问题。协助编码智能体添加格式化的 Polyspace 申述并使用经过批准的申述目录。

使用 Polyspace Test 创建单元测试

使 AI 编码智能体能够使用 Polyspace Test xUnit API 生成 C/C++ 单元测试,从而简化测试执行、代码插桩以及代码覆盖率收集。

通过 MCP 工具与技能连接智能体

使 AI 编码智能体能够使用 Polyspace MCP Server 执行 Polyspace 命令并解读 Polyspace 结果。Polyspace 的特定技能可指导 AI 编码智能体支持 Polyspace 配置、访问文档并管理 Polyspace 结果。内置支持 Claude® Code、GitHub Copilot®、OpenAI® Codex、Gemini CLI® 以及 Sourcegraph Amp 等 AI 编码助手。