评估模型模拟使用验证
语句
您可以验证模型模拟,包括测试评估块在你的模型或测试工具,编写验证
语句的测试评估块。验证
语句返回通过
,失败
,或未测试的
结果的总体仿真和个人时间的步骤。研究结果发表在《测试经理。
激活验证
语句的测试评估块
的测试评估包含一个当
分解序列。的当
分解序列可以帮助您清楚地定义了仿真条件,每个激活验证
声明:
如果你的模型使用一个测试序列每个块来源,考虑激活
验证
声明使用活动测试序列块的一步。如果你的模型不使用测试序列块源,或者你的测试序列步骤来验证不符合条件,激活每一个
验证
使用信号条件语句。
激活验证
声明和测试序列的步骤
连接测试序列和测试评估块的信号从积极的一步测试序列块。激活每一个验证
声明与积极的一步。
例如,这个测试工具包含一个测试序列和测试评估块。块的连接Active_Step
信号。
的测试评估块包含一个当
分解与四子步骤序列。每个包含一个验证
声明和激活不同测试序列块的一步。
的其他的
一步在这个例子中没有行动和处理模拟条件不匹配任何前当
条件。这样一个步骤的名字其他的
或任何其他所需的名字。这一步不能包含一个当
条件。
激活验证
语句在一个测试评估与积极的步骤测试序列布洛克:
创建积极的一步数据输出测试序列块。
选择测试序列块。
创建一个新的枚举数据输出。在属性检查器,选择创建数据监控活动步骤并设置数据类型来
枚举
。在输入一个名称枚举的名字。
创建一个数据输入测试评估布洛克:
打开测试评估块。
在符号窗格中,旁边徘徊输入,然后单击添加数据。
输入名称。
框图,连接测试序列块输出到测试评估块的输入。
创建一个
当
分解序列测试评估块。测试评估块是默认配置
当
分解序列。改变标准序列和当
分解序列,右键单击父步骤和选择当分解。为每一个
当
分解步骤,定义主动利用主动一步一步时枚举数据。例如:VerifyBoth当TSActiveStepIN= =…Test_Sequence_Active_Step_Enum.PressBothButtons
添加
验证
语句来每个评估步骤。
激活验证
与信号条件语句
如果你的模型不使用测试序列块源,或者测试序列步骤来验证不符合条件,使用独特的信号激活条件验证
语句。的地方验证
语句在一个当
分解序列,使用条件语句当
条件。
例如,这个测试工具使用信号编辑器块的输入。
的测试评估块包含一个当
分解序列。每个步骤都包含一个验证
声明。一个独特的信号条件激活每个子步。
作者验证
语句
验证
评估逻辑表达式语句。你可以标签结果与可选参数测试经理。
一个验证
语句返回一个通过
,失败
,或未测试的
结果为每个时间步和整体仿真。一个失败
在任何时间步的结果在一个整体失败
。如果没有失败的结果,一个通过
在任何时间步的结果在一个整体通过
。否则,整体的结果未测试的
。研究结果发表在《验证语句部分的测试结果。有关验证
语法和考虑使用它,请参阅验证参考页面。
例子
在这两个值的比较,父步骤使用验证
语句来评估两个局部变量x
和y
在模拟。
验证(x > = y)
通过整体,因为它适用于整个测试序列。验证(x = = y)
和验证(x ~ = y)
失败,因为他们失败step_1_2
和step_1_1
,分别。
测试经理显示结果:
另请参阅
测试序列编辑器|测试序列|测试评估|验证|sltest.testmanager.Assessment
|sltest.testmanager.AssessmentSymbol
|sltest.testmanager.TestCase