HL Klemove 利用 Polyspace Bug Finder 提高高级驾驶辅助系统的代码质量
“Polyspace 使我们能够自动执行 ADAS 软件的静态代码分析，并将其集成到我们的 CI/CD 工作流中。从开发的最早阶段直到生产的整个过程中，Polyspace 都可以帮助我们查明并消除潜在的高成本问题，而这些问题是开发人员仅凭自己难以发现的。”
挑战
提高高级驾驶辅助系统软件的质量，满足 OEM 的安全编码要求
解决方案
在整个开发过程中，使用 Polyspace Bug Finder 和 Polyspace Access 来执行静态代码分析，发现缺陷，并确保符合编码标准
结果
- 减少源代码验证时间
- 在开发过程的早期阶段发现缺陷
- 符合 OEM 的编码要求和标准
HL Klemove 将为未来出行铺平道路。
随着高级驾驶辅助系统 (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 结果相关的工单成为了可能。
在典型项目开发期间，工程师将代码更改推送到 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 使我们的团队能够满足这一要求，并生成报告来展示我们的代码验证结果。我们已收到了客户的积极反馈，他们认为我们能够满足不断变化的软件质量相关要求。”
