1:00:01
视频长度为 1:00:01
采用静态代码分析软件Polyspace开发高质量嵌入式软件
在本次网络研讨会中,我们会谈到软件质量在高安全嵌入式系统中的重要性、嵌入式软件缺陷的类型以及如何使用基于抽象解释算法的代码分析工具Polyspace检测及证明代码中存在或不存在最难被发现的软件运行时错误,解释什么是抽象解释的算法以及Polyspace如何能证明代码的安全性。
随后用具体实例演示使用Polyspace的几种方式,并且介绍Polyspace在网络安全方面的更新。
出版年份: 2016 年 3 月 17 日
您也可以从以下列表中选择网站:
如何获得最佳网站性能
选择中国网站(中文或英文)以获得最佳网站性能。其他 MathWorks 国家/地区网站并未针对您所在位置的访问进行优化。
美洲
- América Latina (Español)
- Canada (English)
- United States (English)
欧洲
- 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)
亚太
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)