帮助中心帮助中心

消除模型不兼容或分析超时问题

调整模型、模型参数或分析选项以更好地分析模型

在开始分析之前，您可以对模型运行兼容性检查。满足以下情况时，模型兼容，适合进行分析：

模型被编译成可执行形式。
模型与代码生成兼容。
模型执行零秒仿真且无错误；即，仿真开始和停止时间均为 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分析。
对大型模型进行分析
描述分析大型模型的技术。