10:36
视频长度为 10:36
Polyspace在软件代码验证中的应用
京滨电子装置研究开发(上海)有限公司 Hua Sun
随着汽车电子的快速发展,汽车嵌入式软件的规模日益膨大,如何保证软件的正确无误和提高开发效率一直是各大公司的共同课题。本演讲主要介绍京滨公司在整个软件开发过程中,如何利用Polyspace®进行代码验证,找到隐藏的BUG,从而减低纠错的代价。
录制日期: 2014 年 6 月 19 日
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)