Polyspace在软件代码验证中的应用
京滨电子装置研究开发(上海)有限公司 Hua Sun
随着汽车电子的快速发展，汽车嵌入式软件的规模日益膨大，如何保证软件的正确无误和提高开发效率一直是各大公司的共同课题。本演讲主要介绍京滨公司在整个软件开发过程中，如何利用Polyspace®进行代码验证，找到隐藏的BUG，从而减低纠错的代价。
录制日期: 2014 年 6 月 19 日
京滨电子装置研究开发(上海)有限公司 Hua Sun
随着汽车电子的快速发展，汽车嵌入式软件的规模日益膨大，如何保证软件的正确无误和提高开发效率一直是各大公司的共同课题。本演讲主要介绍京滨公司在整个软件开发过程中，如何利用Polyspace®进行代码验证，找到隐藏的BUG，从而减低纠错的代价。
录制日期: 2014 年 6 月 19 日
