深圳航盛电子股份有限公司

随着电子系统在汽车行业中越来越多的应用，安全性已经成为汽车系统开发过程中的一个重要因素。ISO 26262标准的发布就是为了满足汽车中的特定电子系统的安全性要求。为了适应 ISO 26262标准对于汽车电子软件的安全性要求，航盛电子有限公司在调研了多个软件测试工具后，认为 LDRA 工具套件完全满足 ISO 26262在软件验证过程中的要求，最终选用 LDRA 工具套件作为他们的代码验证工具。

软件测试人员使用 LDRA 工具套件进行静态分析、单元和集成测试并获得代码覆盖信息，测试人员的重心从传统的编写测试驱动程序转变成测试用例设计，提高了测试效率并且提升了测试的质量，同时满足了 ISO 26262标准对于软件验证的要求。

斑马智行

为了适应 ISO 26262标准对于汽车电子软件的安全性要求，作为主要功能安全认证项目的一部分，斑马智行使用SuperTest执行符合ISO 26262标准的GCC V8.6编译器安全认证，以确保其软件在提供下一代驾驶体验时达到尽可能高的安全标准——将互联网连接、人工智能和边缘计算相结合，优化和人性化驾驶体验，自动学习和适应用户的情绪和偏好，并无缝地提供情境和基于位置的服务。每月运行一次SuperTest可立即发现与最新GCC编译器和库版本相关的回归问题，确保Banma对编译器的使用符合ISO 26262功能安全要求。