帮助中心帮助中心
足够大和复杂的模型会导致缓慢和不完整的分析。当您在一个工具模型上运行测试用例时,模型覆盖的百分比对于您的设计来说可能是不够的。的分析一个大模型主题描述如何降低大型模型的复杂性。的什么是块替换?主题描述如何定义规则来自动替换模型中的块,以更好地满足设计目标。
使用Simulink设计验证器分析的参数配置文件调整参数。金宝app模型包含参数control_mode这将启用活动控制器并将其输出选择为模型输出。金宝appSimulink Design Verifier将此参数作为一个输入,它被限制为1或2,并为每个测试用例生成适当的值。
control_mode
使用Simulink®Design Verifier™时态运算块为属性证明和测试用例生成建模时态系统需求。金宝app
使用Simulink®Design Verifier™时间运算块在功率窗控制器模型中建模时间系统需求,用于属性证明和测试用例生成。金宝app
你点击了一个对应于这个MATLAB命令的链接:
在MATLAB命令窗口中输入命令来运行该命令。Web浏览器不支持MATLAB命令。金宝app
选择一个网站,在可用的地方获得翻译的内容,并查看当地的活动和优惠。根据您的地理位置,我们建议您选择:.
您也可以从以下列表中选择网站:
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。
联系当地办事处