评估、准则和验证
功能测试包括评估仿真行为以及将仿真数据与预期结果进行比较。您可以通过以下方式评估仿真行为:
在测试用例中使用时间和逻辑评估。
在 Test Assessment 或 Test Sequence 模块中包含
verify
语句以及其他运算符。使用 Test Sequence 模块指定一系列步骤来仿真在测组件或在测系统。使用 Test Assessment 模块来评估在测组件或在测系统的行为。使用 Model Verification 库中的模块。
您可以通过以下方式评估仿真数据:
将测试输出与基线数据进行比较,或使用等效性准则比较两个仿真的输出。
比较仿真数据与基线数据或比较两个仿真时使用值或时间容差。可用的容差类型包括相对容差、绝对容差、超前容差和滞后容差。超前容差和滞后容差对于数据时序不同的比较(例如不同求解器之间的比较)或者桌面上运行的模型与目标上运行的代码之间的比较非常有用。
使用自定义准则脚本处理仿真数据。
有关不同验证方法的概述,请参阅评估仿真并比较输出数据。
模块
Observer Reference | 创建并包含 Observer 模型 |
Observer Port | 无线连接信号以供验证使用 |
Test Sequence | 创建仿真测试场景、函数调用和评估 |
Test Assessment | 评估并验证在测系统的行为 |
Sequence Viewer | 在仿真期间显示模块之间的消息、事件、状态、转移和功能 |
Assertion | 检查信号是否为零 |
类
sltest.testmanager.Assessment | 逻辑或时序评估对象 (自 R2022a 起) |
sltest.testmanager.AssessmentSymbol | 评估中使用的符号 (自 R2022a 起) |
sltest.testmanager.TestCase | 创建或修改测试用例 |
工具
Simulink 测试管理器 | 在不同的执行环境中进行模型和代码测试,管理测试套件,并分析和报告结果 |
语法运算符
主题
- 评估仿真并比较输出数据
评估仿真行为并与预期输出进行比较,使用
verify
和assert
语句和运行时评估。 - 使用时序评估来评估时序逻辑
使用时序评估来评估模型时序并验证在测系统中的时序信号逻辑。
- 逻辑和时序评估语法
了解逻辑和时序评估的类型及其语法。
- 使用 verify 语句评估模型仿真
将 Test Assessment 模块连接到您的模型,编写验证语句,并在同一时间步中验证多个条件。
- 一次验证多个条件
使用
if
语句在单个测试步骤中包含多个verify
语句。 - 测试序列和评估语法
Test Sequence 和 Test Assessment 模块以及 Stateflow® 图中使用的运算符和表达式。
- 使用观测器以无线方式访问模型数据
以无线方式访问信号和数据信息。
- 观测消息
观测消息信号并获取消息详细信息。
- 观测条件子系统信号
观测条件子系统中的信号。
- 观测 FMU 的内部变量
使用观测器访问 FMU 的内部变量。
- 设置信号容差
指定基线和等效性准则的值和时间容差。