金宝app检查检查

金宝app^®检查™检查有助于为必须满足安全或关键任务需求和建模准则的应用程序生成代码的模型进行设计和故障排除。

有关建模标准检查的描述，请参见

需求的工具箱检查

要求工具箱™检查有助于在需求文档和模型之间建立联系。

有关需求一致性检查的描述，请参见一致性检查(需求工具箱)．

建模标准检查

建模标准检查有助于为必须满足安全或关键任务需求的应用程序或全局MathWorks生成代码的模型进行设计和故障排除^®咨询委员会(MAB)建模指南。

一个金宝app仿真软件检查执行这些MAB检查需要license。在适用的情况下，在特定于检查的文档中确定了额外的许可要求。

有关验证是否符合建模标准的Model Advisor检查的描述，请参见: