23:40
视频长度为 23:40
动态测试和静态分析的自动化加速行业标准认证
基于模型设计的仿真是帮助理解系统复杂设计之行为的一项关键能力。
本次演讲讨论了参考工作流程的验证功能,该工作流程采用基于模型的设计来自动化满足认证标准的手动步骤。涵盖了新的验证功能,以支持需求建模、标准检查自动化、测试和代码的形式化验证。本次演讲同时将向您展示如何在整个设计产品开发过程中系统地应用上述功能,以提高质量和生产率。
出版年份: 2020 年 7 月 16 日
特色产品
Simulink Test
您也可以从以下列表中选择网站:
如何获得最佳网站性能
选择中国网站(中文或英文)以获得最佳网站性能。其他 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 (한국어)