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