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