图片

做嵌入式 C/C++ 开发的工程师,大概率都遇到过这样的割裂体验:在 CLion 中写代码、调试、重构十分高效,但到代码质量与合规验证环节,却要跳出 IDE 切换另一套验证工具。 等待报告导出、逐条定位违规问题,再切回源码修改,反复切换工具打断开发上下文,拉低整体开发效率。Parasoft C/C++test与JetBrains CLion 的集成,正是为了解决这个痛点:把高级静态分析、编码标准合规校验、AI 辅助缺陷修复能力,直接融入开发者日常使用的 CLion 开发环境。

三步跑通本地开发验证闭环

集成并不复杂,核心是三个动作:

  1. CLion 先生成 compile_commands.json编译数据文件,完整输出项目编译信息,交付给 C/C++test,保障代码分析的准确性;

  2. 在 CLion 内调用C/C++test命令行工具 cpptestcli,输出标准 SARIF 格式结果文件;

  3. 结果直接在 CLion 内置的 SARIF 查看器中打开,缺陷、漏洞、违规项一目了然,还能追溯执行路径、一键跳回源码。

图片

开发 → 分析 → 审阅 → 整改 → 验证,整套流程在同一个 IDE 内闭环。质量验证不再是后置的独立环节,而是开发流程里自然的一部分。

不离开 CLion,完成缺陷排查与整改

CLion 拥有优秀的 C/C++ 编辑、代码跳转、重构与高级检查能力。而Parasoft C/C++test 补充面向安全关键嵌入式软件的高级静态分析能力,这是 IDE 内置检查无法替代的。缓冲区溢出、空指针解引用、除零错误、受污染数据流等高风险问题,都可以在编码阶段提前识别。

AI + MCP加持,让修复再快一步

AI 辅助整改是这套集成方案的一大亮点。

随着双方产品持续迭代,AI 能力还在演进。CLion 开放的 Coding Agent 生态,以及全新的 JetBrains Air 带来的 IDE 原生智能体开发环境,让 AI 智能体能够获取完整的工程上下文,深度感知整个代码工程。结合 Parasoft 的 MCP 能力,还可进一步拓展缺陷溯源、合规规则解读、整改说明辅助生成等场景,AI 可以帮助工程师解读告警含义、解释对应编码规则,给出可行修复方案,为高可靠嵌入式 C/C++ 开发提供新的效率空间。

面向高安全等级项目的合规支撑

和 IDE 自带的基础代码检查不同,这套集成方案面向汽车、工业、医疗等高要求嵌入式项目。C/C++test原生支持 MISRA C/C++、AUTOSAR C++14、CERT C/C++、CWE,以及企业自定义标准。配合可复现的合规报告、全套工具资质认定配套资料,可为 ISO 26262、ISO/SAE 21434、IEC 61508、IEC 62304、EN 50716 等功能安全、网络安全标准的审计与认证工作提供佐证材料。

图片

图片

从桌面延伸到CI/CD流水线

本地开发环境与 CI/CD 流水线可以复用同一套 C/C++test 分析配置:

  1. 开发者本地写代码时,快速获取质量反馈,把问题消灭在编码阶段;

  2. TeamCity等自动化流水线在代码集成与版本发布环节持续执行验证,保证全研发周期的质量口径统一。

强大的 IDE + 专业级验证引擎 + AI 辅助缺陷修复,赋能安全关键嵌入式软件开发,这正是 CLion 搭配 Parasoft 1+1>2的理由。

欢迎联系我们获取完整版datasheet~

✅ 1 对 1 专属 Demo 演示

✅ 优先获取最新版本与资料。

图片

关于CLion

CLion 是 JetBrains 为那些在代码质量、工程构建可靠性上有着高标准要求的工程团队打造的专业级 C 和 C++ 开发环境。该工具的确定性代码引擎能够解析每一处用法、依赖和类型,为工程师提供与最新标准一致的准确分析,并为 AI 智能体提供精确的上下文,从而减少错误轮次、Token 消耗和延迟。

您的团队可以并行运行多个智能体,并查看每个智能体所做的更改,从而掌控每一个决策——编译、芯片调试、性能分析和测试都只需一键即可完成。

借助 CLion,团队可以在混合环境中使用同一款工具,支持任意操作系统、编译器、构建系统、硬件目标、AI 智能体或模型,并可通过 BYOK、本地智能体或 JetBrains AI 使用。嵌入式团队从项目伊始就能获得配置好的交叉编译和硬件工作流,从而降低运维开销、保持工具链一致,并获得一个能适配其现有环境的开发环境。

▊ 关于PARASOFT 

Parasoft AI驱动的软件测试平台,助力企业持续交付高质量软件。我们具备成熟的技术解决方案,面向汽车电子、医疗设备、工业自动化、低空装备、机器人等重点领域,同时覆盖银行、金融等行业的企业级应用开发场景。平台借助AI智能体实现单元测试无人化执行,支持通过自然语言生成代码及业务级测试用例;整合深度代码静态分析、Web UI自动化测试、服务虚拟化与完整代码覆盖率统计能力,可无缝接入CI/CD交付流水线,大幅缩短安全、可靠且符合合规要求的软件交付周期,降低研发成本。

Parasoft软件测试平台可自动生成满足合规规范的报告与可视化分析仪表盘,提供集中化的软件质量全景视图,支撑团队落地信息安全、功能安全、DevOps及持续测试等核心战略。

如需了解更多关于Parasoft的解决方案和服务,请访问我们的官方网站或联系我们的专业团队。我们期待与您携手共创美好未来!

Logo

openEuler 是由开放原子开源基金会孵化的全场景开源操作系统项目,面向数字基础设施四大核心场景(服务器、云计算、边缘计算、嵌入式),全面支持 ARM、x86、RISC-V、loongArch、PowerPC、SW-64 等多样性计算架构

更多推荐