Main Content

评估、准则和验证

逻辑和时间验证,数据比较,值和时间容差,专业结果处理

功能测试包括评估仿真行为以及将仿真数据与预期结果进行比较。您可以通过以下方式评估仿真行为:

  • 在测试用例中使用时间和逻辑评估。

  • Test AssessmentTest 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评估逻辑表达式,若为 false 则停止仿真
et测试步骤已用时间
t仿真已用时间
after自测试步骤开始以来经过的时间
before测试步骤中指定时间已用时间
duration自条件成立以来经过的时间
hasChanged检测测试步骤中的数据变化
hasChangedFrom检测测试步骤中指定值的数据变化
hasChangedTo检测测试步骤中指定值的数据变化
square方波测试信号
sawtooth锯齿波测试信号
triangle三角波测试信号
ramp返回测试信号生成的输入值
heavisideHeaviside 阶跃测试信号
latch保存表达式的值

主题