主要内容

测试的目标

定义测试用例中信号必须满足的自定义目标

  • 库:
  • Simulink设计验证器/目标和约束

  • 测试目标块

描述

在测试生成模式下运行时,动态仿真模块®设计验证器™软件产生满足指定标准的测试用例(参见什么是测试用例生成?).在这种模式下,您可以使用Test Objective块为模型中的信号定义自定义测试目标。的参数允许您指定在测试用例模拟期间,一个信号必须达到的至少一个时间步长的值。块应用指定的参数设置为其输入信号,而仿真软件设计验证器软件试图产生满足目标的测试用例。

块的参数对话框也允许您这样做

  • 启用或禁用目标。

  • 指定块应该显示它的参数。

  • 指定块应该显示其输出端口。

请注意

仿真软件和仿真软件编码器™软件在模型仿真和代码生成过程中分别忽略Test Objective块。的仿真软件设计验证器软件仅在为模型生成测试用例时使用Test Objective块。

港口

输入

全部展开

Test Objective块接受Simulink软件支持的所有内置数据类型的信号。有关Simulink软件支持的数据类型的讨论,请参见Simulink支持的数据类型.该块不支持复杂的输入信号。

数据类型:||int8|int16|int32|int64|uint8|uint16|uint32|uint64|布尔|不动点|枚举|公共汽车

参数

全部展开

如果选中(默认),仿真软件设计验证器软件在为模型生成测试时使用该块。清除此选项将禁用该块,即导致仿真软件设计验证器软件的行为就像Test Objective块不存在一样。如果未选中此选项,则该块在Simulink编辑器中显示为灰色。

指定的测试目标

使用参数来定义测试用例中信号必须满足的自定义目标。以MATLAB的形式指定标量和区间的任何组合®单元阵列。有关单元格数组的信息,请参见细胞数组

提示

如果参数只指定一个标量值,您不需要以MATLAB单元格数组的形式输入它。

每个标量值在数组中包含一个单元格,例如:

{0, 5}

闭间隔由一个双元素向量组成,作为数组中的单元格,其中每个元素指定一个间隔端点:

{[1, 2]}

方法指定标量值Sldv。点构造函数,它接受单个值作为参数。方法可以指定时间间隔Sldv。时间间隔构造函数,它需要两个输入参数,即区间的下界和上界。可选地,您可以提供以下值之一作为第三个输入参数,指定包含或排除间隔端点:

  • “()”—定义开放时间间隔。

  • “[]”—定义闭合时间间隔。

  • “()”—定义左开时间间隔。

  • “()”—定义右打开时间间隔。

请注意

默认情况下,Sldv。时间间隔如果省略了区间的第三个输入参数,则认为区间是关闭的。

举个例子参数

{0, [1,3]}

指定:

  • 0——一个标量

  • (1、3)-封闭区间

参数

{Sldv。Interval(0,1, '[)'), Sldv.Point(1)}

指定:

  • Sldv。时间间隔(0,1,“()”)-右开区间[0,1)

  • Sldv.Point (1)——一个标量

规格的逻辑行为

如果为Test Objective块指定多个标量和间隔,则仿真软件设计验证器软件在生成测试用例时使用逻辑OR操作将它们组合在一起。因此,如果任何单个标量或区间得到满足,软件就认为整个测试目标得到满足。

在单个标量或区间内,使用逻辑AND操作生成测试目标。在这种情况下,为了使输入满足目标,所有的信号必须满足约束。

例如,考虑一个二维开放区间:

Sldv。时间间隔(5[5],[5 2],“()”)

零向量[0 0]满足目标,因为零元素在区间内55而且52

向量[0 3]不满足目标,因为第二个元素3在区间之外52

指定块是否显示其内容参数。

如果选中,块将显示其输出端口,允许其输入信号作为块输出通过。如果未选中,块隐藏其输出端口并终止输入信号。

例子:下面的图表说明了每种情况下块的外观。

传递样式(显示输出端口):选定

传递样式(显示输出端口):取消选中

版本历史

介绍了R2007a

Baidu
map