从生成的代码中确定参数
Simulink® Design Verifier™ 选择生成的代码中可以改变值的参数进行参数配置。
对于此类参数，会使用 Simulink.Parameter 对象中的最小值或最大值作为参数配置进行分析。
注意
如果您在运行分析之前已经生成了代码，则建议使用此工作流程。
此参数配置可用于模型和代码工作流。
PreLoadFcn 回调函数模型，在 MATLAB® 工作区中定义 codeTunableParam 和 constParam。
模型的代码生成设置：
将 constParam 的存储类设置为常量，将 codeTunableParam 的存储类设置为 ExportedGlobal。
使用基于生成的代码确定配置参数
本示例展示如何在 Simulink Design Verifier 分析过程中使用基于生成的代码确定工作流配置参数。
打开 模型设置 > Design Verifier > 参数和变体。
点击参数配置下拉菜单并选择基于生成的代码确定。
这会根据生成的代码自动推断将选择的参数以及基于其定义的参数设置。
在上面的例子中，参数 constParam 在生成的代码中不能被改变。所以 Simulink Design Verifier 选择 codeTunableParam 进行参数配置。
未定目标与 Multiport Switch1 对应的代码相关。
