案例研究

地平线为智能驾驶领域提供定制解决方案。借助其专有的AI处理器和计算平台，可以提供外部环境感知，车载多模式交互以及高精度地图建模等服务。

地平线希望在提升生产率的同时，提高软件质量。由于地平线的扫描工具仅覆盖MISRA规则，所以一些重要的缺陷，比如数组越界（AOB ）和空指针解引用（NPD ）在编码期间不能被检测到。这也极大地影响了开发效率，据统计，约30％的开发时间被浪费在查找错误和分析原因上。

通过将爱科识集成到软件开发生命周期（SDLC）中，并采用鉴释的安全编码，地平线可以精准、快速识别出关键问题，包括AOB和NPD。通过使用自定义规则，地平线避免了常规测试中不容易发现的业务逻辑问题。