Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>

X

Parasoft加速支持全新MISRA C:2025合规标准,强化推进对安全关键型软件开发的承诺

03.10.2025

人工智能自动化软件测试解决方案的领导者Parasoft宣布,基于最新发布的MISRA C:2025编码标准,加速推出C/C++test 2025.1解决方案。作为MISRA C和MISRA C++工作组的核心成员,Parasoft依托数十年MISRA合规经验,持续强化安全关键型软件开发能力。

新闻亮点

    • 自动化软件测试领域的领导者,Parasoft率先宣布全面支持最新的MISRA标准,并计划于2025年5月发布的C/C++test 2025.1版本
    • 凭借数十年标准合规领域专业积淀,公司持续助力功能安全提升,同时降低开发成本、复杂性与风险。
    • Parasoft C/C++test为开发者提供更大的灵活性,自动遵守标准更新和编码最佳实践。

Parasoft加速支持全新MISRA C:2025合规标准,强化推进对安全关键型软件开发的承诺

 

 

 

 

 

 

 

 

 

 

"我们致力于通过支持最新MISRA指南赋能开发者,助力安全可靠代码的高效交付。"Parasoft首席产品官Igor Kirilenko表示,"作为首批支持MISRA C:2025的软件测试解决方案供应商,我们让客户更加有信心在技术快速变革时代提升软件质量。"

Parasoft加速支持全新MISRA C:2025合规标准,强化推进对安全关键型软件开发的承诺

降低合规成本 管控安全风险

Parasoft C/C++test 2025.1计划于2025年5月发布,将确保用户无缝过渡到最新的MISRA C标准,从而降低合规成本和复杂度。汽车、航空航天、医疗、工业自动化、铁路等受到严格监控的业客户将从这一快速响应中受益,可以率先按最新MISRA规则开发源代码。
MISRA C:2025通过删除过时的规则、强化编码最佳实践,有效降低合规负担。特别是,通过更严格的规则对联合和指针进行管理,以减少未定义行为的风险,从而增强功能安全性。此外,开发者现在有更大的灵活性来终止switch子句(例如,返回、继续),使他们能够简化审计,同时避免耗时的返工。

AI驱动工具兴起下标准的未来适用性

通过加速采用新的MISRA C:2025标准,Parasoft帮助客户避免了昂贵的生产延迟和不合规处罚。在安全关键行业,尽早遵循最新MISRA指南至关重要,特别是针对AI工具的应用。例如,最新的 MISRA 指南通过澄清AI生成的代码应与手写代码同等对待来解决人工智能生成的代码状态的歧义。因此,不建议使用 MISRA 自动生成代码指南对人工智能生成的代码进行重新分类。

MISRA C:2025合规整体解决方案

Parasoft C/C++test 极大地简化了对一系列功能安全、安全性和编码标准(包括新的MISRA C:2025)的合规性要求。全面覆盖MISRA指南可确保合规性,同时与CI /CD 工作流程无缝集成,可直接向开发人员提供可操作的反馈。
最新的VS Code扩展使用GenAI来加速解决MISRA等标准违规修复,通过点击即可获取上下文相关的违规解释和代码的修复建议。从而自动替换违规代码。Parasoft DTP还为MISRA C:2025提供了专门的合规报告,从而简化了代码认证,基于web的报告提供了合规流程进度的更新,报告包括指南执行计划、重分类计划、偏差报告与合规摘要等专业模板,可以显著降低审计压力。
Parasoft最新的GenAI代理等创新成果在2025嵌入式世界展览会上亮相。Parasoft 专家Arthur Hicken和Joanna Schloss将邀请嘉宾 Michal Rozenau(Parasoft 项目首席工程师、MISRA 工作组成员)在 “Parasoft Testing 1-2-3”播客的第 6 集( 4 月 9日)中解释最新的 MISRA C:2025 规则。加入这场生动而内容丰富的演讲,了解最新的 MISRA C:2025 见解和影响。

关于PARASOFT

Parasoft通过其AI驱动的软件测试平台和自动化测试解决方案帮助组织持续提供高质量的软件。Parasoft成熟的技术支持嵌入式、企业和物联网市场,通过将深度代码分析和单元测试,Web UI和API测试,以及服务虚拟化和完整代码覆盖率整合到交付管道中,减少了为提供安全、可靠和合规软件所需的时间、精力和成本。Parasoft屡获殊荣的报告和分析仪表板汇集了所有以上所述,提供了集中的质量视图,使组织能够自信地交付,并在当今最具战略性的生态系统和开发计划中取得成功——信息安全、功能安全、敏捷、DevOps和持续测试。

Parasoft | 业务咨询

赵晨怡 Saliha Zhao
Parasoft中国营运总监
电话|021-60932819-212
手机|18930203323
邮箱|Saliha.Zhao@parasoft.com