评估、标准和验证
逻辑和时间验证,数据比较,值和时间公差,专门的结果处理
功能测试包括评估仿真行为和将仿真数据与预期结果进行比较。你可以通过以下方法评估模拟行为:
在测试用例中使用时间和逻辑评估。
包括
验证
类中的语句和其他操作符测试评估或测试序列块。使用Test Sequence块指定一系列步骤来刺激被测试的组件或系统。使用Test Assessment块来评估被测组件或系统的行为。使用来自Model Verification库的块。
您可以通过以下方法评估模拟数据:
在比较仿真数据与基线数据或比较两个仿真时使用值或时间公差。可用的公差类型有相对公差、绝对公差、超前公差和滞后公差。超前和滞后公差对于数据计时不同的比较很有用,比如不同求解器之间的比较,或者在桌面上运行的模型和在目标上运行的代码之间的比较。
使用自定义标准脚本处理模拟数据。
对于比较输出与基线数据的测试,或比较两个模拟的测试,可以使用
有关不同验证方法的概述,请参见评估模拟和比较输出数据.
块
类
sltest.testmanager.Assessment |
逻辑或时间评估对象 |
sltest.testmanager.AssessmentSymbol |
评估中使用的符号 |
sltest.testmanager.TestCase |
创建或修改测试用例 |
工具
测试经理 | 在不同的执行环境中建模和编码测试,管理测试套件,并分析和报告结果 |
语法运营商
主题
- 评估模拟和比较输出数据
评估模拟行为并与预期输出比较,使用
验证
而且断言
语句和运行时评估。 - 使用时态评估来评估时态逻辑
使用时间评估来评估模型时序,并在被测系统中验证时间信号逻辑。
- 逻辑和时态评估语法
了解逻辑和时间评估的类型及其语法。
- 使用verify语句评估模型仿真
将Test Assessment块连接到您的模型,编写验证语句,并在同一时间步骤中验证多个条件。
- 同时验证多个条件
包括多个
验证
语句中的单个测试步骤使用如果
语句。 - 测试顺序和评估语法
中的操作符和表达式测试序列而且测试评估block和statflow®图表。
- 通过观察者无线访问模型数据
无线访问信号和数据信息。
- 观察消息
观察消息信号,获取消息详细信息。
- 观察条件子系统信号
观察条件子系统中的信号。
- 观察FMU的内部变量
使用观察者访问FMU的内部变量。
- 设置信号公差
指定基线和等价标准的值和时间公差。