验证(表达)

验证(表情,errorMessage)

验证(表情,标识符,errorMessage)

计算逻辑表达式。可选参数标签在测试管理器和诊断查看器中显示结果。

断言(表达)

断言(表情,errorMessage)

计算逻辑表达式。失败将停止模拟并返回错误。可选参数返回错误消息。

等(TimeUnits)

测试步骤的运行时间TimeUnits．省略TimeUnits以秒为单位返回值。

测试序列步骤经过的时间(以毫秒为单位):

东部时间(毫秒)

t (TimeUnits)

中模拟运行的时间TimeUnits．省略TimeUnits以秒为单位返回值。

模拟运行的时间(以微秒计):

t(购买)

后(n, TimeUnits)

返回真正的如果n单位时间TimeUnits自当前测试步骤开始以来的过去时间。

4秒后:

后(4秒)

之前(n, TimeUnits)

返回真正的直到n单位时间TimeUnits流逝，从当前测试步骤开始。

4秒前:

前(4秒)

ElapsedTime = duration (Condition, TimeUnits)

返回ElapsedTime在TimeUnits的条件一直真正的．ElapsedTime是在重新输入测试步骤时重置还是什么时候重置条件不再是真正的．

返回真正的如果时间以毫秒为单位φ> 1大于550:

持续时间(φ> 1,msec) > 550

返回真正的如果u自测试步骤开始以来值的变化，否则返回假．

u必须是输入数据符号。

过渡时h变化:

焕然一新(h)

返回true,如果u值的变化一个，否则返回false。

u必须是输入数据符号。

过渡时h改变从1：

hasChangedFrom (h, 1)

返回true,如果u值的更改B，否则返回false。

u必须是输入数据符号。

过渡时h更改0：

hasChangedTo (h, 0)

表示周期为的方波输出1和范围1来1．

时间间隔内0 <= x < 1，广场(x)返回的值1为0 <= x < 0.5和1为0.5 <= x < 1．

广场状态流图中不支金宝app持。

输出周期为的方波10证券交易委员会:

广场(et / 10)

表示输出周期为的锯齿波1和范围1来1．

时间间隔内0 <= x < 1，锯齿(x)增加。

锯齿波状态流图中不支金宝app持。

输出周期为的锯齿波10证券交易委员会:

锯齿(et / 10)

表示输出周期为的三角形波1和范围1来1．

时间间隔内0 <= x < 0.5，三角形(x)增加。

三角形状态流图中不支金宝app持。

输出周期为的三角波10证券交易委员会:

三角形(et / 10)

表示斜坡信号1，返回坡道在时间点的值x．

斜坡(et)有效地返回测试步骤经过的时间。

斜坡状态流图中不支金宝app持。

斜坡为每5秒的测试步经过时间:

斜坡(et / 5)

表示一个大步长信号，返回0为x < 0和1为x > = 0．

亥维赛状态流图中不支金宝app持。

之后输出一个大信号5秒:

亥维赛(et-5)

保存的价值x第一次锁(x)在测试步骤中计算，并随后返回保存的值x．重置保存的值x当步骤退出时。要重新计算锁(x)当下一步是活动的。

门闩状态流图中不支金宝app持。

门闩b价值转矩：

b =闩(扭矩)

返回sinx,在那里x在弧度。

周期为10秒的正弦波:

罪(et * 2 *π/ 10)

返回余弦值x,在那里x在弧度。

周期为10秒的余弦波:

因为(et * 2 *π/ 10)

均匀分布的伪随机值

通过声明为每个模拟生成新的随机值兰德外在与coder.extrinsic．将随机数赋给一个局部变量。例如:

coder.extrinsic (“兰德”) nr = cross (b-a)

正态分布伪随机值

通过声明为每个模拟生成新的随机值randn外在与coder.extrinsic．将随机数赋给一个局部变量。例如:

coder.extrinsic (“randn”nr = nr*2

返回自然指数函数， $$e^x$$．

以测试步的十分之一的时间前进的指数信号:

exp (et / 10)

否定

不p

验证(~ p)

结合

p和问

验证(p & &)

析取

p或问

验证(p | |问)

含义

如果p，问．逻辑上等同于蕴涵p→问．

验证(~ p | |问)

双条件的

p和问,或者不p而不是问．逻辑上等价于双条件的p↔问．

验证(p && q) || (~p && q))