Simulink Verification and Validation

组件测试

Simulink Verification and Validation 提供了对模块中一个或多个引用模块、子系统或原子子图进行分析和仿真的 API。所有的组件测试功能都可在命令行使用或包含在 MATLAB® 脚本中。

工具模型生成

框架模块生成功能可让您隔离原子子系统或被更大的控制系统模块引用的模型,并将其提取到框架模型中进行额外的测试和分析。您可以使用框架模型对开发的组件进行穷举测试,或者在系统模型其余部分无法仿真时进行测试。

框架模型生成功能可自动进行根级输入和输出(包括复杂的深度嵌套总线)的接口配置。子系统相关性,如外部数据存储,已集成到工具中并与新的模型输入相关联。所有所需的信号标记和连接都自动进行,匹配测试环境下的组件属性

数据记录、导入和编写

通过数据记录功能,您可以捕获闭环仿真过程中的输入信号,并将记录的测试用例重用于工具模型仿真。由于底层数据格式兼容 Simulink Design Verifier™,您可以使用 Simulink Design Verifier 中提供的测试生成功能生成额外的测试用例。

在生成框架模型时,模型工具生成功能可以包含记录的数据并将其导入 Signal Builder 模块进行编辑。

包含 Signal Builder 模块的框架模型可用于调试和详细分析。Simulink Signal Builder 模块可让您以图形化方式编辑测试矢量并从文档电子表格中导入现有测试数据。

Workflow in Simulink Verification and Validation utilizing component testing functions to augment tests done on the control system model and to verify the model and code in the simulation.
Simulink Verification and Validation 的组件测试工作流。该工作流利用产品中的组件测试功能在控制系统模块中完成测试,并在仿真环境下验证模型和代码。

执行测试

通过使用测试执行功能,您可以在仿真环境及 SIL 和 PIL 模式下对模型和生成的代码自动执行测试用例。SIL 和 PIL 模式需要 Embedded Coder。

可以将组件测试结果导入 Data Inspector 进行进一步分析。测试执行函数集成了模型覆盖率和代码覆盖率工具以收集关于测试完整行的额外信息。

将测试链接到需求

您可以将 Signal Builder 中的测试用例链接到外部文档,如功能性需求和测试计划,这些可通过 Signal Builder 窗口中的“需求”面板完成。另外,您可以将断言分配给各个测试用例以自动分析通过/失败的结果。

Using the Simulink Signal Builder block to link test cases with verification blocks and requirements.
使用 Simulink Signal Builder 模块链接验证模块和需求。显示“验证模块设置”面板和“需求”面板。
下一页: 分析模型覆盖率

试用 Simulink Verification and Validation

获取试用版软件

为工程车辆开发多物理域的系统级模型

观看网上技术交流会录像