案例研究

案例研究

地平线 – 人工智能芯片

关于地平线

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

痛点

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

鉴释的解决方案

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

更多案例研究

驭势 – 无人驾驶

驭势致力于打造面向未来的出行和物流解决方案。通过人工智能AI...

了解案例详情

了解鉴释可以如何帮助您

联系我们

通过使用我们的网站,表明您已经阅读并理解我们的Cookie政策及隐私政策