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 编码智能体,使其能够使用项目特定设置来管理检查器配置和构建选项。
使用 Polyspace Test 创建单元测试
使 AI 编码智能体能够使用 Polyspace Test xUnit API 生成 C/C++ 单元测试,从而简化测试执行、代码插桩以及代码覆盖率收集。