使用Parasoft C/C++test、CLion和AI提升嵌入式软件质量
嵌入式软件开发面临着独特的压力:严格的安全与安防标准、复杂的工具链,以及尽早捕获缺陷的持续挑战。
自 CLion 2026.1.2 起,您可以直接在 CLion 中打开来自 Parasoft C/C++test 分析的 SARIF 发现结果(支持 MISRA C/C++、AUTOSAR C++14、CERT C/C++ 和 CWE 等标准)。从那里,您可以导航到相关源代码,并将整个分类处理流程保留在开发工作流中。
JetBrains 与 Parasoft 合作举办了一场网络研讨会,展示 CLion 和 C/C++test 如何协同工作,将高级静态分析直接引入您的开发工作流。
观看网络研讨会录播
网络研讨会内容
本次现场演示和问答环节聚焦于实际的嵌入式开发工作流。无论您是在开发安全关键型、安防关键型还是高可靠性软件,您都将学到以下具体技术:
- 在 CLion 内直接运行高级静态代码分析,无需离开 IDE。
- 在开发周期中更早地检测缺陷和编码标准违规。
- 支持符合行业标准,包括 MISRA C/C++、AUTOSAR C++14、CERT C/C++ 和 CWE。
- 减少开发和验证活动之间的上下文切换。
- 利用 AI 辅助和 MCP 支持的工作流来理解违规并加速修复。
集成的工作原理
CLion 调用 Parasoft C/C++test 命令行启动器,后者将 SARIF 报告写入您的项目。您可以直接在 CLion 内置的 SARIF Viewer 中打开此报告,从而从发现结果直接导航到受影响的源代码。结果形成一个紧密的反馈闭环:在 IDE 内部配置、分析、审查违规并修复问题。
超越通用检查
CLion 已经为 C 和 C++ 代码提供了可靠的 built-in 检查。Parasoft C/C++test 在此基础上增加了专为嵌入式和安全关键型项目设计的合规级分析。
这意味着提供完整的规则集和详细文档,涵盖 MISRA C/C++、AUTOSAR C++14、CERT C/C++ 和 CWE 等标准,以及可在审计和认证活动中经得起检验的可追溯性和合规报告。对于为汽车(ISO 26262)、医疗设备(IEC 62304)、铁路(EN 50716)、航空航天或工业自动化构建软件的团队而言,这种级别的合规支持并非可选,而是必不可少的。
该集成还支持在整个开发生命周期中进行一致的验证:在 CLion 中使用的相同 Parasoft C/C++test 分析配置可以在 CI/CD 流水线中重复使用,因此开发期间捕获问题的检查与集成运行时运行的检查保持一致。
AI 辅助修复
该集成最具前瞻性的方面之一是对 AI 辅助工作流的支持。开发人员可以使用 Parasoft C/C++test 的 AI 技能和 MCP 支持功能,更好地理解为何某个违规被标记,审查相关编码标准要求,并获得修复问题的建议,同时完全控制实际的代码更改。这在处理如 MISRA 或 AUTOSAR 等密集标准时尤其有价值,因为这些标准中规则背后的理由并不总是显而易见的。