新闻动态

2020年Parasoft加入MISRA委员会,以帮助制定汽车和安全关键型软件准则

2020-01-19 10:11:27 275

位于MONROVIA CA自动化软件测试全球领导者Parasoft宣布它已加入MISRA C和MISRA C ++工作组,更加安全可靠的合作研发形式,来开发汽车和安全关键型产品软件。Parasoft在关键时刻加入了MISRA C ++工作组,致力于开发新的集成MISRA / AUTOSAR C ++编码标准。Parasoft为行业顶级汽车软件供应商提供了MISRA和AUTOSAR标准的最广泛覆盖支持。加入该委员会后,将继续Parasoft的承诺,即帮助客户保持在快速发展的安全关键领域的领先地位。

 

汽车工业软件可靠性协会(MISRA)委员会提供了编码准则,该准则已在汽车和安全至关重要的行业中广泛使用,以开发安全的软件。今年早些时候,AUTOSAR和MISRA财团宣布合并它们的标准,MISRA委员会目前正在努力将AUTOSAR C ++和MISRA C ++编码标准合并为一个单独的综合标准,以供行业使用

Parasoft产品经理Miroslaw Zielinski表示:“现代汽车软件包括许多新的高级功能,例如基于AI的自动驾驶,从而推动了设计复杂性和源代码的爆炸式增长。“像MISRA和AUTOSAR这样的编码准则对于开发这些先进的安全关键系统至关重要,这些准则帮助团队有效地消除可能导致程序行为无法预测、存在安全隐患或安全漏洞的高风险代码构造。

 

除了MISRA之外,Parasoft的静态分析工具还支持许多编码指南,从而为关注标准遵从性的静态分析检查器提供了一流的覆盖范围和准确性。通过加入MISRA委员会,Parasoft将能够与业界分享收集的经验,并为创建完整和最新的标准做出贡献。

Zielinski解释说:“在过去几年中,C++语言发展迅速,以应对软件系统设计日益复杂的情况。” “至关重要的是,编码指南必须与语言的发展保持一致,以使团队能够安全地构建最先进的功能。我们很高兴加入MISRA委员会,并贡献我们在编码标准合规性和C / C ++语言方面的专业知识,来准备新版的、应对令人兴奋的未来挑战的准则。”

Parasoft在汽车和安全至关重要的行业中拥有30多年的经验,Parasoft与客户紧密合作,以实施强大的软件质量流程,并简化合规性和报告。Parasoft C / C ++ test已通过TÜV SÜD的功能安全认证,并提供统一的、集成的解决方案,来自动化各种测试的最佳实践,包括静态分析、单元测试、运行时分析、安全性测试和覆盖率分析。利用Parasoft C / C ++ test,软件供应商不必将工具和供应商结合起来即可获得完整的代码质量解决方案,并且在行合规性工作中,只需对一个工具进行资格验证,从而简化了工具资格验证。

Parasoft提供了符合市场上最广泛的汽车、安全和安全编码标准的打包规则集。Parasoft Compliance Pack提供了静态分析检查器、测试配置和文档,以实现对特定于行业编码准则的遵守,包括MISRA C,AUTOSAR C ++ 14,CERT C / C ++等。Parasoft资格认证套件可自动完成对工具进行认证所需的大部分繁琐的手工工作,并生成记录工具认证过程所需的最终报告。资格认证套件适用于包括ISO 26262,IEC 61508和DO 178在内的标准。