使用 When
分解评估模型
此示例显示如何在 Test Sequence 模块中使用 When
分解来在测试框架中编写评估。
该模型实现了一个简单的信号跟踪器,以三种模式运行:0
(关闭)、1
(慢速)和 2
(快速)。
为了观测信号跟踪器的输出和误差,对模型仿真。
打开测试框架
SimpleTracker 子系统有一个包含 Test Assessment 模块的测试框架。
Test Assessment 模块使用 When
分解测试序列来评估 SimpleTracker 子系统的行为。
测试序列根据 mode
的值确定要运行的适当的 verify() 语句。CheckError
步骤具有 When
分解,其中包含三个子步骤:
当
mode
的值为0
(关闭)时,OffMode
处于活动。当
mode
的值为1
(慢速)时,SlowMode
处于活动。QuickMode
对于mode
的所有其他值均活动。
运行模型评估
要运行评估,仿真测试框架。打开仿真数据检查器来检查评估结果。
另请参阅
Test Assessment | Test Sequence | sltest.testmanager.Assessment
| sltest.testmanager.AssessmentSymbol
| sltest.testmanager.TestCase