提高软件质量,减少ADAS软件源代码验证时间

描述

随着高级驾驶辅助系统 (ADAS) 和自动驾驶 (AD) 系统日趋复杂,赋能这些系统的软件也变得愈加复杂。另一方面,汽车 OEM 要求供应商压缩 ADAS/AD 软件的交付周期,同时还提高了软件质量要求。因此,供应商可谓举步维艰。通常情况下,依靠手动过程,他们只能在开发生命周期的后期发现缺陷。更糟的是,如果系统已投入生产,则召回需要付出高昂的成本。

凭借 Polyspace 静态代码分析产品,HL Klemove 的工程团队在高级 ADAS/AD 软件开发过程的早期阶段即可发现运行时错误、安全漏洞和编码标准偏差。他们已将 Polyspace Bug Finder 和 Polyspace Access 集成到其自动化持续集成/持续交付 (CI/CD) 工作流中,从而减少了代码验证时间,提高了软件质量,并促进了团队间和团队内的协作。

HL Klemove 团队负责人 Minchae Lee 表示,“即使 ADAS/AD 软件项目的数量和复杂性有所增加,Polyspace Bug Finder 也能让我们在开发过程的早期阶段发现问题,从而交付质量更高的软件。它还使我们的团队能够满足 OEM 客户现行的安全编码标准要求,而 Polyspace Access 让我们可通过 Web 访问静态分析结果,从而改进协作。”

挑战

过去,HL Klemove 团队需要结合使用手动代码审查和独立工具,对 ADAS/AD 软件进行源代码分析。但是,视觉检查以及工具的配置和维护复杂且耗时。此外,将这些工具集成到 CI/CD 工作流也非易事。开发人员必须在他们的工作站上使用这些工具,但这既消耗资源,又使得他们很难执行其他开发任务。

因此,团队不得不将静态代码分析推迟到开发过程的后期进行,而这时用来发现并解决累积的各种问题的时间已经所剩无几。HL Klemove 需要一种新的工具来应对这些挑战,并使团队能够满足新的客户要求,即符合新 UNECE WP.29 法规所要求的 CERT C 编码标准。

解决方案

通过使用 Polyspace 产品,HL Klemove 可在整个开发过程中发现缺陷和编码违规行为,因而提高了 ADAS/AD 软件质量。

在 MathWorks 应用工程师的协助下,HL Klemove 的工程师将 Polyspace 工具集成到了他们的 CI 工具链,其中包括用于 CI/CD 的 Atlassian Bamboo,以及用于 Git 存储库管理的 Bitbucket。他们创建了 Bamboo 作业来触发 Polyspace Bug Finder Server 自动执行静态代码分析,并将分析结果发布到 Polyspace Access 以进行基于 Web 的协同审查。为了简化项目管理,他们还将 Polyspace Access 与 Atlassian JIRA 相集成,使得在 Polyspace Access 中创建与 Polyspace 结果相关的工单成为了可能。

“Polyspace 使我们能够自动执行 ADAS 软件的静态代码分析,并将其集成到我们的 CI/CD 工作流中。从开发的最早阶段直到生产的整个过程中,Polyspace 都可以帮助我们查明并消除潜在的高成本问题,而这些问题是开发人员仅凭自己难以发现的。”

—— Minchae Lee,HL Klemove

在典型项目开发期间,工程师将代码更改推送到 Bitbucket。更新后的代码随后由 Polyspace Bug Finder Server 进行分析,作为计划的或手动触发的 Bamboo 作业的一部分。一旦静态代码分析完成,用户就会收到通知电子邮件,其中包含指向 Polyspace Access 网页中相应结果的链接。通过 Polyspace Access Web 浏览器界面,经理和工程师们可以一边查看代码的静态分析结果一边展开协作,这些代码可能是他们处理过的代码、其他团队生成的代码,或使用 Embedded Coder 从 Simulink 模型自动生成的代码。Polyspace Bug Finder Server 的结果包括运行时错误、并发问题,以及 MISRA 和 CERT C 编码标准违规行为。软件工程师关注由 Polyspace Bug Finder Server 生成的来自功能分支的结果,而开发运营一体化工程师则关注来自发布分支的结果。

为了缩短开发人员的反馈回路,多个团队最近已经开始在编码的同时,使用 Polyspace as You Code IDE 插件来检查代码质量。这样,在向 Bitbucket 提交代码更改之前,他们便可解决其中 MISRA 或 CERT C 不合规的问题了。

目前,HL Klemove 正将 Polyspace 产品应用于所有的 ADAS/AD 开发计划,其中涉及数十个项目和数百种量产车型。

结果

减少源代码验证时间。

Lee 表示,“使用 Polyspace Bug Finder,我们将源代码验证时间减少了高达 80%。而且,通过自动生成报告,我们将为 OEM 客户创建综合报告所需的时间,从长达一小时缩短至 10 分钟甚至更短。”

在开发过程的早期阶段发现缺陷。

Lee 表示:“Polyspace 让我们在开发过程的早期阶段即可发现、诊断并解决问题。这对我们来说至关重要,因为即使只有一个缺陷未被发现,也可能会导致安全召回,潜在成本高达数百万美元。”

符合 OEM 的编码要求和标准。

Lee 说道,“我们最大的一个客户是一家 OEM,他们现在要求所有供应商都要遵循编码规范,包括 MISRA 和 CERT C。Polyspace 使我们的团队能够满足这一要求,并生成报告来展示我们的代码验证结果。我们已收到了客户的积极反馈,他们认为我们能够满足不断变化的软件质量相关要求。”

审核编辑 :李倩

打开APP阅读更多精彩内容
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

全部0条评论

快来发表一下你的评论吧 !

×
20
完善资料,
赚取积分