分析常见建模模式
调节标定参数并分析导出函数和 AUTOSAR 模型
您可以纳入标定参数以实现分析的变异性，并使用不同的建模模式（例如导出函数模型和 AUTOSAR 模型）。以下各节说明如何对这些常见建模模式执行分析。
参数配置定义了参数的允许值范围。Simulink® Design Verifier™ 会在分析过程中考虑模型参数的值，包括在基础工作区或数据字典中设置的默认值。这使得 Simulink Design Verifier 可以在整个分析过程中将您的模型中的参数作为变量处理。要在分析过程中约束参数值，请使用 Simulink Design Verifier 来指定参数配置，这些配置是对模型中参数的多组约束。通过使用预设约束方法或引用配置集来选择参数配置。
在分析中使用建模模式（例如导出函数模型和用于 AUTOSAR 的 Simulink 函数）。Simulink Design Verifier 分析会创建一个调度器模型，该模型会根据采样时间和优先级调用导出函数。您可以分析同时具有周期和非周期函数调用组的导出函数模型。有关详细信息，请参阅分析导出函数模型。
函数
主题
为可调参数配置分析
- 在分析中使用参数配置
Simulink Design Verifier 分析的参数配置。 - 创建 Simulink Design Verifier 分析的参数配置
在模型中配置参数以进行分析。
- 变体模块的参数配置
使用参数选择模型中的变体。 - 指定结构或总线参数的参数配置
此示例描述了如何生成约束模型中的结构和总线信号值的测试。假设您的模型包含一个名为kpGainsStructure的变量，它是 MATLAB® 工作区中的一个结构体。该模型使用 Bus Selector 模块将结构体字段分离为单独的总线信号。您可以约束结构体的值或总线信号的值，以确保它们在仿真期间保持在指定的范围内。 - 指定全面覆盖的参数配置
如何指定参数约束值以实现完整模型覆盖率的示例。
建模模式的分析考虑因素
- 分析导出函数模型
使用 Simulink Design Verifier 分析导出函数模型。 - 使用全局 Simulink 函数分析导出函数模型
使用 Simulink Design Verifier 分析具有全局 Simulink 函数的导出函数模型。 - 分析带有函数调用子系统的导出函数模型
使用 Simulink Design Verifier 分析具有函数调用子系统的导出函数模型。 - 分析 Stateflow 原子子图
使用 Simulink Design Verifier 软件分析原子子图。 - 分析 Initialize、Reset、Reinitialize 和 Terminate 函数的计划测试框架
分析包含 Initialize、Reinitialize、Reset 和 Terminate 端口计划的模型。 (自 R2024b 起) - 分析 AUTOSAR 组件模型
分析 Classic 平台的 AUTOSAR 组件模型。 - Analyze Models in Parallel Using Parallel Computing Toolbox
Explains how to perform parallel analysis on multiple models using parallelfor-loop.
精选示例
使用命令行函数支持更改参数
此示例展示如何使用 Simulink® Design Verifier™ 命令行函数生成包含不同参数值的测试数据。
检测 AUTOSAR 软件组件模型中的设计错误
执行单元测试以检测 AUTOSAR 组件中的设计错误。
应用参数配置后扩展现有测试用例
此示例展示了如何应用参数配置后，通过扩展现有的测试用例来实现缺失覆盖率。
生成参数值
使用参数配置文件调节参数以进行分析。
