利用时序评估评估时序逻辑- MATLAB和Simulink万博1manbetx - 万博1manbetx,s manbetx 845,万博尤文图斯

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

具有离散时间和连续时间特性的混合系统需要复杂的时变信号逻辑。万博1manbetx^®测试™使您能够通过在测试管理器中编写和包括测试用例的临时评估来评估模型时间安排和事件排序。

进行时间评估:

选择评估模板。
输入评估条件。
- 将符号映射到模型元素，如信号、时间序列或常量。
- 查看评估摘要。
运行测试用例。
使用结果根据您的需求评估待测试系统(SUT)。

例如，考虑一个有以下要求的强迫振动阻尼问题:

对一个信号年代，如果信号幅度超过该值P,然后在d秒，它必须低于价值问和保持在问为u秒。

阻尼振荡信号

创建时间评估

创建一个时间评估:

在测试管理器中创建或打开一个测试用例。
导航到逻辑及时间评估编辑器。
点击增加评估．这些评估模板可用:
- 逻辑评估模板
  - 边界检查,检查信号和表达式的最大值和最小值。
  - 自定义- - - - - -检查逻辑表达式是否对所有时间步骤都为真。
- 时间评估模板
  - Trigger-Response -当检测到触发器时，检查信号响应。
对于本例，请选择Trigger-Response．

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

界定临时评估条件

触发反应评估要求:

触发参数
响应参数
可选延迟参数

对于受迫振动阻尼问题:

选择只要是真的作为触发和进入abs (S) > P随着条件．触发条件是条件模式，在此条件模式之后，响应信号被评估。响应条件是触发时，信号的大小年代超过价值P．
选择至少要保持真实吗作为响应并进入abs (S) <问和u随着条件和min-time分别。响应条件描述SUT对触发条件的响应行为。响应条件是信号的大小年代必须低于值问和保持在问至少u秒。
选择最多只能延迟作为延迟类型并设置d随着max-time参数。延迟是一个可选的时间间隔，从一个时间引用参数开始，一直持续到期望满足响应条件的点。延迟是最多的d秒。

所有时间单位都是秒。

属性中添加符号作为临时评估参数的一部分时逻辑及时间评估编辑器中，它将作为未解析符号添加到符号列表中。的方法解析符号符号窗格。

解析评估参数符号

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

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

从映射对话框顶部的下拉列表中选择要映射的符号。
将符号映射到模型元素之后，符号窗格显示与模型元素相对应的元数据。

当您运行测试用例时，将记录映射到编辑器中评估使用的符号的信号。
如果将总线或数组映射到符号，请使用字段/元素行符号窗格以从总线或数组中选择标量信号。例如:
- 将一个符号映射到包含一个总线元素的总线信号基坑,输入.fieldA．
- 要将符号映射到信号数组中对应于索引(5,5)的信号元素，请输入(5,5)．
- 要组合两个表达式，请输入.fieldA (5,5)．
〇映射到表情将标量常量或变量赋给符号。
当您选择映射到表达式，则必须在表达式字段。属性中定义的标量常量或变量可以赋值评估调部分。看到在评估回调部分定义变量有关定义变量的更多信息。
因为t符号自动绑定到模拟时间，不需要将其映射到表达式。t是不可见的符号窗格。

提示

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