主要内容

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

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

进行时间评估:

  1. 选择评估模板。

  2. 输入评估条件。

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

    • 查看评估摘要。

  3. 运行测试用例。

  4. 根据您的需求使用结果来评估被测系统(SUT)。

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

对一个信号年代,如果信号幅度超过该值P,然后在d秒,它必须达到低于价值并保持下面u秒。

创建时间评估

要创建一个时间评估:

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

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

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

    • 逻辑评估模板

      • 绑定检查 -检查信号和表达式的最大值和最小值。

      • 自定义- - - - - -检查逻辑表达式是否有关所有时间步骤的真实情况。

    • 时间评估模板

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

    对于本例,选择触发响应

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

界定时间评估条件

触发器响应评估需要:

  • 扳机范围

  • 回复范围

  • 可选延迟范围

对于强迫振荡阻尼问题:

  1. 选择只要是真的作为触发并输入abs(s)> p随着状况.触发条件是条件模式,在此之后响应信号被计算。响应条件触发时,信号的幅度年代超过价值P

  2. 选择至少要保持真实吗作为响应而进入abs(s)u随着状况min-time分别。响应条件描述了响应于触发条件的SUT的行为。响应条件是信号的大小年代必须达到低于价值并保持下面至少u秒。

  3. 选择最多也只能耽搁一会儿作为延迟类型和设置d随着max-time参数。延迟是一个可选的时间间隔,从一个时间参考参数开始,持续到预期会满足响应条件的点。拖延最多d秒。

所有的时间单位都是秒。

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

解析评估参数符号

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

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

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

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

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

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

    • 将符号映射到包含总线元素的总线信号基坑,输入。菲尔德

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

    • 结合两个表达式,输入.fieldA (5,5)

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

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

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

    提示

    进入sig = sltest_simout.logsout.get(“mySignal”)在里面评估调部分和使用映射到表达式将一个符号映射到团体变量等价于使用映射到模型元素将一个符号映射到mySignal信号。然而,评估调允许您将变量定义为测试、模型和模拟数据的函数。看到在评估回调部分中定义变量有关定义变量的更多信息。

如果您将一个符号映射到线性插值的离散数据信号,则在评估评估期间,该插值将自动转换为零阶保持器。此外,还有一个信息图标()出现在符号名称旁边符号窗格。指向图标,会出现一个工具提示,表明线性插值被覆盖。

回顾时间评估摘要

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

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

通过单击探索模式查看评估的传递和失败案例图标。从下拉列表中选择要查看的情况类型,然后单击查看不同的传递和失败的情况。

评估SUT.

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

查看评估结果

查看评估结果从评估结果和工件窗格。中选择测试用例并单击评估结果树打开一个新的评估结果选项卡。金宝app仿真软件测试对评估进行评估,并显示评估执行的预期行为和实际结果,并在不同的时间步中对评估失败进行描述。

请注意

评估结果图不能导出为金宝app仿真软件测试报告。

方法研究SUT行为按钮和故障点的文本描述。

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

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

将时间评估链接到要求

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

另请参阅