主要内容

创建模型顾问检查

定义自定义检查并提供修复操作

您可以使用Model Advisor API来创建模型顾问检查。自定义检查为您提供指定模型顾问评论的条件和配置设置的能力。对于工作流程，请参阅定义自己的自定义模型顾问检查。

班级

展开全部

advisor.authing.Customcheck. 定义自定义配置参数检查
advisor.authing.datafile. 与模型配置检查的数据文件进行交互
modeladadvisor.action. 为自定义检查添加操作
modeladadvisor.Check. 创建自定义检查
modeladadvisor.preferences. 通过指定要显示的文件夹和标签来设置模型顾问窗口首选项
modelodadodor.inputParameter. 为自定义检查添加输入参数
Modelodadvisor.ListViewParameter. 添加列表视图参数以自定义检查
Modelodadvisor.root.root. 识别根节点
ModelAdadodor.Formartemplate. 格式化模型顾问分析结果的模板
modelodadvisor.image. 在模型顾问输出中包含图像
Modelodadvisor.LineBreak. 插入换行休息时间
modeladadodor.list. 创建列表类
Modeladadodor.Paragraph. 创建和格式段落
modeladadodor.table. 为模型顾问结果创建表
modelodadopt.text. 创建模型顾问文本输出
modeladadodor.resultdetail. 定义结果详细信息对象
advisor.authing.positiveBlockParameterConstraint. 创建模型顾问约束，以检查是否受支持的块参数值金宝app
advisor.authing.negationblockParameterConstraint. 创建模型顾问约束，以检查不支持的块参数值金宝app
advisor.authing.positiveModelParameterConstraint. 创建模型顾问约束，以检查支持的型号参数值金宝app
advisor.authing.negativeModelParameterConstraint. 创建模型顾问约束，以检查不支持的模型参数值金宝app
advisor.authing.positiveBlockTypeConstraint. 创建模型顾问约束，以检查是否受支持的块类型金宝app
advisor.authing.negationblocktypeconstraint. 创建模型顾问约束，以检查不受支持的块金宝app
advisor.authing.compositeconstraint. 创建一个模型顾问约束，检查多个约束

职能

展开全部

advisor.authing.generateConfigurationParameterDatafile. 生成自定义配置参数检查的XML数据文件
advisor.authing.generateBlockConstraintSdatafile. 为块约束生成自定义检查的XML数据文件
advisor.authing.clateBlockConstraintCheck. 创建模型顾问检查块约束
AddPREREQUISITECONSTRAINTID. 检查先决条件约束实际之前的对象约束目的

话题

定义自己的自定义模型顾问检查

创建自定义检查，指定模型顾问的一组条件和模型配置设置。

根据“模型顾问”的条件查看模型

没有修复操作和信息检查，创建一个简单的通过/失败检查。

修复模型以符合使用模型顾问指定的条件

创建通过/失败检查该组按块或子系统结果，并提供修复操作。

创建模型顾问检查模型配置参数

要验证模型的配置参数，请创建配置参数检查。

定义自定义模型顾问检查的编译选项

要使用Model Advisor自定义检查来评估生成的代码，请指定每个检查的编译选项。

从自定义检查中排除块

此示例显示如何从自定义检查中排除块。

定义支持或不支持的块和参数的模型顾问检查金宝app

创建模型顾问检查，指定块和模型参数约束。

金宝appSimulink检查文档

金宝app

使用Simulink自动化验证和验证金宝app

使用Simulink自动化验证和验证金宝app

获取资源