主要内容

评估模型模拟使用验证语句

您可以验证模型模拟,包括测试评估块在你的模型或测试工具,编写验证语句的测试评估块。验证语句返回通过,失败,或未测试的结果的总体仿真和个人时间的步骤。研究结果发表在《测试经理。

激活验证语句的测试评估

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

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

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

激活验证声明和测试序列的步骤

连接测试序列测试评估块的信号从积极的一步测试序列块。激活每一个验证声明与积极的一步。

例如,这个测试工具包含一个测试序列测试评估块。块的连接Active_Step信号。

测试评估块包含一个分解与四子步骤序列。每个包含一个验证声明和激活不同测试序列块的一步。

其他的一步在这个例子中没有行动和处理模拟条件不匹配任何前条件。这样一个步骤的名字其他的或任何其他所需的名字。这一步不能包含一个条件。

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

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

  1. 创建积极的一步数据输出测试序列块。

    1. 选择测试序列块。

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

    2. 在输入一个名称枚举的名字

      为测试序列块属性检查器

  2. 创建一个数据输入测试评估布洛克:

    1. 打开测试评估块。

    2. 符号窗格中,旁边徘徊输入,然后单击添加数据人数(添加图标

    3. 输入名称。

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

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

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

    2. 为每一个分解步骤,定义主动利用主动一步一步时枚举数据。例如:

      VerifyBothTSActiveStepIN= =Test_Sequence_Active_Step_Enum.PressBothButtons

    3. 添加验证语句来每个评估步骤。

激活验证与信号条件语句

如果你的模型不使用测试序列块源,或者测试序列步骤来验证不符合条件,使用独特的信号激活条件验证语句。的地方验证语句在一个分解序列,使用条件语句条件。

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

测试工具和测试评估阻止和输入信号编辑块

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

块当分解序列和相关测试评估验证语句

作者验证语句

验证评估逻辑表达式语句。你可以标签结果与可选参数测试经理。

一个验证语句返回一个通过,失败,或未测试的结果为每个时间步和整体仿真。一个失败在任何时间步的结果在一个整体失败。如果没有失败的结果,一个通过在任何时间步的结果在一个整体通过。否则,整体的结果未测试的。研究结果发表在《验证语句部分的测试结果。有关验证语法和考虑使用它,请参阅验证参考页面。

例子

在这两个值的比较,父步骤使用验证语句来评估两个局部变量xy在模拟。

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

  • 验证(x = = y)验证(x ~ = y)失败,因为他们失败step_1_2step_1_1,分别。

验证语句比较两个值

测试经理显示结果:

阴谋的结果,当x不等于y

另请参阅

||||||

相关的话题