5:14视频长度为5:14。
使用基于模型的测试发现潜在的设计错误
使用Simulink Coverage™中的Model Coverage和Simu金宝applink design Verifier™中用于测试生成的形式化方法测试设计。使用基于模型的测试方法,在软件开发早期检测不正确的或过度指定的需求。
注意:在R2金宝app017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
相关产品下载188bet金宝搏
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。