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