主要内容

评估和标准

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

功能测试包括评估模拟行为和将模拟数据与预期结果进行比较。你可以通过以下方法评估模拟行为:

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

  • 包括验证类中的语句和其他操作符测试评估测试序列块。使用测试序列块指定一系列步骤来刺激被测试的组件或系统。使用Test Assessment块来评估被测试组件或系统的行为。

  • 使用模型验证库中的块。

您可以通过以下方法评估模拟数据:

  • 在比较模拟数据和基线数据时使用值或时间公差。

  • 使用自定义标准脚本来处理模拟数据。

有关不同验证方法的概述,请参见评估模拟和比较输出数据

观察者参考 创建并包含一个Observer模型
观察者港口 无线连接信号使用验证
测试序列 创建模拟测试场景、函数调用和评估
测试评估 评估模拟测试场景、函数调用和评估
顺序查看器 在模拟过程中显示块之间的消息、事件、状态、转换和函数
断言 检查信号是否为零

工具

测试经理 在不同的执行环境中进行建模和代码测试,管理测试套件,并分析和报告结果

测试序列和测试评估语法操作符

验证 评估逻辑表达式并自动记录结果
断言 计算逻辑表达式,如果为假则停止模拟
测试步骤消耗的时间
t 模拟运行时间
自测试步骤开始以来所消耗的时间
之前 在测试步骤中经过的时间,直到指定的时间
持续时间 自测试步骤开始以来所消耗的时间
焕然一新 在测试步骤中检测数据变化
hasChangedFrom 在测试步骤中检测指定值的数据更改
hasChangedTo 在测试步骤中检测数据更改到指定值
广场 方波测试信号
锯齿波 锯齿波测试信号
三角形 三角波测试信号
斜坡 斜坡信号用于产生测试信号
亥维赛 重型台阶试验信号
门闩 保存表达式的值

主题

评估模拟和比较输出数据

概述用于评估模拟行为和将模拟输出与预期输出进行比较的用例和方法,包括信号比较、自定义标准、验证语句和模型中的运行时评估。

使用时间评估评估时间逻辑

在被测系统中,使用时序评估来评估模型时序并验证时序信号逻辑。

逻辑和时间评估语法

了解逻辑和时间评估的类型及其语法。

使用验证语句评估模型仿真

将Test Assessment块连接到您的模型,编写验证语句,并在同一时间步骤中验证多个条件。

一次验证多个条件

包括多个验证语句在单个测试步骤中使用如果语句。

测试序列和评估语法

中的操作符和表达式测试序列测试评估块和Stateflow®图表。

通过使用观察员无线访问模型数据

无线接入信号和数据信息。

设置信号公差

为基线和等效标准指定值和时间公差。

特色的例子