主要内容

使用时间评估评估时间逻辑

具有离散和连续时间行为的混合系统可能需要复杂的时序相关信号逻辑。金宝app®test™使您可以通过创作评估模型时序和事件排序,包括在测试管理器中具有测试用例的时间评估。

使用时间评估:

  1. 选择评估模板。

  2. 输入评估条件。

    • 将符号映射到模型元素,例如信号,时间序列或常量。

    • 查看评估摘要。

  3. 运行测试用例。

  4. 使用结果来评估测试的系统(SUT)以防止您的要求。

例如,考虑具有此要求的强制振荡阻尼问题:

对于一个信号S.,如果信号幅度超过值P.,然后在内部D.秒,它必须达到低于价值问:并保持下面问:为了秒。

振荡阻尼信号

创建时间评估

创建时间评估:

  1. 在测试管理器中创建或打开测试用例。

  2. 导航到逻辑和时间评估编辑。

  3. 点击添加评估。这些评估模板可用:

    • 逻辑评估模板

      • 界检查 -检查信号和表达式的最大和最小界限。

      • 风俗 -检查逻辑表达式是否具有所有时间步骤的TRUE。

    • 时间评估模板

      • 触发 - 响应 -检测到触发时检查信号响应。

    逻辑和时间评估菜单选项

    对于此示例,请选择触发 - 反应

    触发响应模板

出现触发器响应模板。要完成评估,请在SUT的上下文中定义时间评估条件。

定义时间评估条件

触发响应评估需要:

  • 扳机范围

  • 回复范围

  • 可选的延迟范围

对于强制振荡阻尼问题:

  1. 选择每当是真的时作为触发并输入ABS(s)> p作为健康)状况。触发条件是在评估响应信号之后的条件模式。当信号幅度时触发响应条件S.超过价值P.

  2. 选择至少必须保持真实作为响应和进入abs(s)作为健康)状况矿步时间分别。响应条件描述了响应于触发条件的SUT的行为。响应条件是信号的大小S.必须达到低于价值问:并保持下面问:至少秒。

  3. 选择最多的延迟作为延迟类型和集合D.作为最大时间范围。延迟是从时间参考参考参考参数开始的可选时间间隔,并继续到预期响应条件的点。延迟至多D.秒。

所有时间单位都是秒。

添加符号作为时间评估参数的一部分时逻辑和时间评估编辑器,它将添加到符号列表中作为未解决的符号。通过使用来解决符号符号窗格在编辑器中。

解决评估参数符号

要解决符号,请右键单击符号。有两种选择:

  1. 地图到模型元素 -使用映射对话框将符号映射到SUT中的信号,参数或块。

    选定的信号和映射对话框

    从“映射”对话框顶部的下拉列表中选择符号映射。

    完成将映射符号映射到模型元素后,符号窗格显示与模型元素对应的元数据。

    映射符号名称,路径,端口索引和字段

    运行测试用例时,会记录映射到编辑器中的评估中使用的符号的信号。

    如果将总线或数组映射到符号,请使用字段/元素行在符号窗格从总线或数组中选择标量信号。例如:

    • 将符号映射到包含总线元素的总线信号实地, 进入。菲尔德

    • 将符号映射到对应于信号阵列中的索引(5,5)的信号元素,输入(5,5)

    • 要结合两个表达式,请输入。菲尔德(5,5)

  2. 映射到表达式 -将标量常量值或变量分配给符号。

    当你选择地图到表达式,您必须输入一个表达式表达场地。您可以分配标量常量值或定义的变量评估回调部分。看在评估回调部分中定义变量有关定义变量的更多信息。

    因为T.符号自动绑定到模拟时间,您无需将其映射到表达式。T.不可见符号窗格。

    提示

    进入sig = sltest_simout.logsout.get('mysignal')在里面评估回调部分和使用地图到表达式将符号映射到s变量相当于使用映射到模型元素将符号映射到mysignal.信号。然而评估回调允许您将变量定义为测试,型号和模拟数据的函数。看在评估回调部分中定义变量有关定义变量的更多信息。

如果将符号映射到线性内插的离散数据信号,则在评估评估期间,插值将自动更改为零阶保持。此外,信息图标()出现在符号名称旁边符号窗格。指向图标和工具提示,表示覆盖了线性插值。

查看时间评估摘要

输入评估参数后,单击评估说明左侧的箭头以查看评估摘要。

视觉表现窗格提供了评估的传递案例的图形插图。

通过单击浏览模式查看通过和失败的案例进行评估图标。从下拉列表中选择要查看的情况类型,然后单击查看不同的传递和失败的情况。触发器与传递和失败案件的时间

评估SUT.

运行测试用例以评估SUT。通过使用记录信号数据在仿真之后评估时间评估。使用测试案例结果以审查SUT获取您的要求。

您可以在多个版本中运行包含逻辑或时间评估的测试用例。有关更多信息,请参阅评估多个版本中的时间逻辑

查看评估结果

查看评估评估结果结果和文物测试经理的窗格。选择测试用例,然后单击评估结果树打开一个新的评估结果标签。金宝appSimulink测试评估评估并显示评估执行的预期行为和实际结果,并在不同时间步骤的评估失败的描述下进行评估执行。

预期成果和实际结果

笔记

评估结果数据不能出口到一个金宝appSimulink测试报告。

使用该方法调查SUT行为按钮和故障点处的文本描述。

有关更详细的调查,请展开表达式树以查看评估的每个单个元素的结果。

扩展的表达式树与所有评估的结果

使用缩放,平移和数据光标功能分析表达式树中的评估评估结果。

将时间评估链接到要求

如果你有一个金宝appSimulink要求™许可证,您可以通过将评估链接到要求,在时间评估和要求之间建立可追溯性。要创建与需求的链接,请选择评估逻辑和时间评估编辑器并单击要求柱打开要求编辑器对话框。看链接到要求想要查询更多的信息。

相关话题