使用模型仿真评估验证
语句
您可以通过包含测试评估块在您的模型或测试工具,和创作验证
的声明测试评估块。验证
语句返回通过
,失败
,或未测试的
整体模拟和个别时间步长的结果。结果显示在测试管理器中。
激活验证
的声明测试评估块
的测试评估包含一个当
分解序列。的当
分解序列可以帮助您清楚地定义激活每个模拟条件验证
声明:
如果你的模型使用测试序列块源,考虑激活每一个
验证
语句使用active测试序列块的一步。如果您的模型没有使用测试序列块源,或者你的测试序列步骤不符合条件,要逐一验证,激活
验证
使用信号条件的语句。
激活验证
带有测试序列步骤的语句
连接测试序列而且测试评估块的主动步进信号测试序列块。激活每一个验证
语句的活动步骤。
例如,该测试工具包含测试序列而且测试评估块。这些块由Active_Step
信号。
的测试评估块包含当
分解序列有四个子步骤。每个都包含一个验证
语句,并使用不同的方法激活测试序列块的一步。
的其他的
本例中的步骤没有任何操作,并处理与前面任何操作不匹配的模拟条件当
条件。这样一个步骤的名称可以是其他的
或者任何其他想要的名字。此步骤不能包含当
条件。
激活验证
中的语句测试评估在一个积极的步骤测试序列布洛克:
控件的活动步骤数据输出测试序列块。
选择测试序列块。
创建一个新的枚举数据输出。在属性检查器中,选择创建数据以监视活动步骤并设置数据类型来
枚举
.在枚举的名字.
类的数据输入测试评估布洛克:
打开测试评估块。
在符号窗格,悬停在旁边输入,然后按添加数据.
命名输入。
在方框图中,连接测试序列块输出到测试评估块的输入。
创建一个
当
中的分解序列测试评估块。测试评估块默认配置为
当
分解序列。在标准序列和当
分解序列,右键单击父步骤并选择当分解.为每一个
当
分解步骤,通过使用活动步骤枚举数据定义步骤何时是活动的。例如:VerifyBoth当TSActiveStepIN= =...Test_Sequence_Active_Step_Enum。PressBothButtons
添加
验证
每个评估步骤的陈述。
激活验证
带有信号条件的语句
如果您的模型没有使用测试序列阻塞源,或如果测试序列步骤不符合条件进行验证,则使用唯一的信号条件来激活验证
语句。的地方验证
中的语句当
的分解序列中使用条件语句当
条件。
例如,这个测试工具使用信号编辑器块的输入。
的测试评估块包含当
分解序列。每个子步骤包含一个验证
声明。一个唯一的信号条件激活每一个子步骤。
作者验证
语句
验证
语句计算逻辑表达式。您可以用可选参数在Test Manager中标记结果。
一个验证
语句返回通过
,失败
,或未测试的
每个时间步骤和整个模拟的结果。一个失败
在任何时候,步骤都会产生总体结果失败
.如果没有不及格的结果,a通过
在任何时候,步骤都会产生总体结果通过
.否则,总的结果是未测试的
.结果显示在验证语句部分测试结果。有关详情验证
语法和使用它的注意事项,请参见验证参考页面。
例子
在这两个值的比较中,父步骤使用验证
语句来计算两个局部变量x
而且y
模拟过程中。
验证(x >= y)
总体上通过,因为它适用于整个测试序列。验证(x == y)
而且验证(x ~= y)
失败是因为他们失败了step_1_2
而且step_1_1
,分别。
测试管理器显示结果:
另请参阅
测试序列编辑器|测试序列|测试评估|验证|sltest.testmanager.Assessment
|sltest.testmanager.AssessmentSymbol
|sltest.testmanager.TestCase