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