
案例研究
地平线 – 人工智能芯片
关于地平线


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


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


通过将爱科识集成到软件开发生命周期(SDLC)中,并采用鉴释的安全编码,地平线可以精准、快速识别出关键问题,包括AOB和NPD。通过使用自定义规则,地平线避免了常规测试中不容易发现的业务逻辑问题。
更多案例研究
了解鉴释可以如何帮助您
联系我们