-
自动化软件测试领域的领导者,Parasoft率先宣布全面支持最新的MISRA标准,并计划于2025年5月发布的C/C++test 2025.1版本。
-
凭借数十年标准合规领域专业积淀,公司持续助力功能安全提升,同时降低开发成本、复杂性与风险。
-
Parasoft C/C++test为开发者提供更大的灵活性,自动遵守标准更新和编码最佳实践。
作为MISRA C和MISRA C++工作组的核心成员,Parasoft依托数十年MISRA合规经验,持续强化安全关键型软件开发能力。
"我们致力于通过支持最新MISRA指南赋能开发者,助力安全可靠代码的高效交付。作为首批支持MISRA C:2025的软件测试解决方案供应商,我们让客户更加有信心在技术快速变革时代提升软件质量。--Parasoft首席产品官Igor Kirilenko表示
降低合规成本 管控安全风险
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 专家Arthur Hicken和Joanna Schloss将邀请嘉宾 Michal Rozenau(Parasoft 项目首席工程师、MISRA 工作组成员)在“Parasoft Testing 1-2-3”播客的第 6 集( 4 月 9日)中解释最新的 MISRA C:2025 规则。请关注我们了解最新的 MISRA C:2025 见解和影响。