本页翻译不是最新的。点击此处可查看最新英文版本。

生成参数值

打开脚本

此示例说明如何使用参数配置文件调节参数以进行 Simulink® Design Verifier™ 分析。该模型包含参数 control_mode，该参数启用活动控制器并选择其输出作为模型输出。Simulink Design Verifier 将此参数视为取值被约束为 1 或 2 的输入，并为每个测试用例生成适当的值。

open_system('sldvdemo_param_identification');