主要内容

使用模型仿真评估验证语句

您可以通过包含测试评估块在您的模型或测试工具,和创作验证的声明测试评估块。验证语句返回通过失败,或未测试的整体模拟和个别时间步长的结果。结果显示在测试管理器中。

激活验证的声明测试评估

测试评估包含一个分解序列。的分解序列可以帮助您清楚地定义激活每个模拟条件验证声明:

  1. 如果你的模型使用测试序列块源,考虑激活每一个验证语句使用active测试序列块的一步。

  2. 如果您的模型没有使用测试序列块源,或者你的测试序列步骤不符合条件,要逐一验证,激活验证使用信号条件的语句。

激活验证带有测试序列步骤的语句

连接测试序列而且测试评估块的主动步进信号测试序列块。激活每一个验证语句的活动步骤。

例如,该测试工具包含测试序列而且测试评估块。这些块由Active_Step信号。

测试评估块包含分解序列有四个子步骤。每个都包含一个验证语句,并使用不同的方法激活测试序列块的一步。

其他的本例中的步骤没有任何操作,并处理与前面任何操作不匹配的模拟条件条件。这样一个步骤的名称可以是其他的或者任何其他想要的名字。此步骤不能包含条件。

测试序列块步骤、转换和下一步步骤,以及测试评估块步骤

激活验证中的语句测试评估在一个积极的步骤测试序列布洛克:

  1. 控件的活动步骤数据输出测试序列块。

    1. 选择测试序列块。

      创建一个新的枚举数据输出。在属性检查器中,选择创建数据以监视活动步骤并设置数据类型枚举

    2. 枚举的名字

      测试序列块的属性检查器

  2. 类的数据输入测试评估布洛克:

    1. 打开测试评估块。

    2. 符号窗格,悬停在旁边输入,然后按添加数据添加数据图标

    3. 命名输入。

  3. 在方框图中,连接测试序列块输出到测试评估块的输入。

  4. 创建一个中的分解序列测试评估块。

    1. 测试评估块默认配置为分解序列。在标准序列和分解序列,右键单击父步骤并选择当分解

    2. 为每一个分解步骤,通过使用活动步骤枚举数据定义步骤何时是活动的。例如:

      VerifyBothTSActiveStepIN= =...Test_Sequence_Active_Step_Enum。PressBothButtons

    3. 添加验证每个评估步骤的陈述。

激活验证带有信号条件的语句

如果您的模型没有使用测试序列阻塞源,或如果测试序列步骤不符合条件进行验证,则使用唯一的信号条件来激活验证语句。的地方验证中的语句的分解序列中使用条件语句条件。

例如,这个测试工具使用信号编辑器块的输入。

使用测试评估块和来自信号编辑器块的输入进行测试

测试评估块包含分解序列。每个子步骤包含一个验证声明。一个唯一的信号条件激活每一个子步骤。

分解序列和相关的测试评估何时验证语句的图

作者验证语句

验证语句计算逻辑表达式。您可以用可选参数在Test Manager中标记结果。

一个验证语句返回通过失败,或未测试的每个时间步骤和整个模拟的结果。一个失败在任何时候,步骤都会产生总体结果失败.如果没有不及格的结果,a通过在任何时候,步骤都会产生总体结果通过.否则,总的结果是未测试的.结果显示在验证语句部分测试结果。有关详情验证语法和使用它的注意事项,请参见验证参考页面。

例子

在这两个值的比较中,父步骤使用验证语句来计算两个局部变量x而且y模拟过程中。

  • 验证(x >= y)总体上通过,因为它适用于整个测试序列。

  • 验证(x == y)而且验证(x ~= y)失败是因为他们失败了step_1_2而且step_1_1,分别。

验证比较两个值的语句

测试管理器显示结果:

当x不等于y时的结果图

另请参阅

||||||

相关的话题