消除模型不兼容或分析超时问题
调整模型、模型参数或分析选项以更好地分析模型
在开始分析之前,您可以对模型运行兼容性检查。满足以下情况时,模型兼容,适合进行分析:
模型被编译成可执行形式。
模型与代码生成兼容。
模型执行零秒仿真且无错误;即,仿真开始和停止时间均为
0
。
如果模型不兼容,您可以通过诊断查看器消息识别并修复不兼容问题。您可以使用测试生成顾问结果更好地了解模型,尤其是大型模型、复杂模型或您不确定是否与 Simulink® Design Verifier™ 兼容的模型。
主题
入门知识
- 自下而上的模型分析方法
解释从低级元素开始分析模型的好处。 - 用于分析的模型表示
描述Simulink Design Verifier用于分析的模型表示。 - 配置模型表示选项
描述如何配置模型表示选项。Simulink Design Verifier用于分析。 - 使用测试生成顾问识别可分析组件
使用测试生成顾问来指导模型和组件分析。
参数配置
- 分析参数配置
Simulink Design Verifier分析的参数配置概览。 - 指定全面覆盖的参数配置
如何指定参数约束值以实现完整模型覆盖率的示例。 - 指定结构或总线参数的参数配置
此示例描述了如何生成约束模型中的结构和总线信号值的测试。假设您的模型包含一个名为kpGainsStructure
的变量,它是 MATLAB® 工作区中的一个结构体。该模型使用Bus Selector模块将结构体字段分离为单独的总线信号。您可以约束结构体的值或总线信号的值,以确保它们在仿真期间保持在指定的范围内。
消除模型不兼容问题
- 使用自动桩件处理不兼容性
如何使用自动桩件。 - 配置S-Function以生成测试用例
此示例显示如何编译S-Function以与 Simulink® Design Verifier™ 兼容以生成测试用例。Simulink Design Verifier 支持的 S 函数如下:
消除分析超时问题
- 共享 Simulink 缓存文件以便更快地进行分析
使用Simulink缓存文件共享和重用模型表示进行分析。 - 运行附加分析以减少有理近似的情况
此示例显示如何通过运行附加分析来减少有理近似的实例。您分析一个模型,在分析过程中,Simulink® Design Verifier™ 识别出近似值的存在,并且相关目标通过测试用例报告为未确定。 - 证明大型模型中的属性
描述证明大型模型中的属性的工作流程和最佳实践。 - 增加用于生成分析报告的分配内存
解释如何增加内存量,以便软件可以为大型模型创建报告。 - 管理模型数据以简化分析
简化您的模型以简化Simulink Design Verifier分析。 - 对大型模型进行分析
描述分析大型模型的技术。