MBD中简化基于需求的测试

采用基于模型的设计使得非标准化的文字形式的需求就能用模型表达并进行早期的仿真验证，然而基于时序的信号逻辑的需求往往会表述的不完整或者不一致。这会导致产生各类设计错误和交流困难。

本演讲展示了对需求建模并使用Simulink Test™中Logical and Temporal Assessments编辑器将非标准化的文字需求用清晰的预先定义的语义进行无二义性的评价，以发现需求中的不一致，并进行可视化及调试设计中的错误。

出版年份: 2019 年 7 月 9 日

了解更多

查看幻灯片
查看MATLAB EXPO 2019中国的所有活动记录
相关信息
申请试用版

反馈

下一个:

MathWorks Vision for Systematic Verification and Validation

相关视频:

Simulation Testing in Model-Based Design

MathWorks工具在基于模型的设计方面的最新进展

使用Simulink进行基于模型的设计开发

MBD在BCM软件快速开发中的应用

查看更多相关视频