30:42
视频长度为 30:42
MBD中简化基于需求的测试
采用基于模型的设计使得非标准化的文字形式的需求就能用模型表达并进行早期的仿真验证,然而基于时序的信号逻辑的需求往往会表述的不完整或者不一致。这会导致产生各类设计错误和交流困难。
本演讲展示了对需求建模并使用Simulink Test™中Logical and Temporal Assessments编辑器将非标准化的文字需求用清晰的预先定义的语义进行无二义性的评价,以发现需求中的不一致,并进行可视化及调试设计中的错误。
出版年份: 2019 年 7 月 9 日
您也可以从以下列表中选择网站:
如何获得最佳网站性能
选择中国网站(中文或英文)以获得最佳网站性能。其他 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 (한국어)