验证(表达)

验证(表情,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(条件，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)

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

周期为10秒的正弦波:

罪(et * 2 *π/ 10)

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

周期为10秒的余弦波:

因为(et * 2 *π/ 10)

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

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

广场在状态流图中不支持。

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

广场(et / 10)

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

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

锯齿波在状态流图中不支持。

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

锯齿(et / 10)

三角波输出周期为1和范围1来1．

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

三角形在状态流图中不支持。

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

三角形(et / 10)

斜坡斜坡信号1，返回当时坡道的值x．

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

斜坡在状态流图中不支持。

每5秒增加一个单位的测试步骤运行时间:

斜坡(et / 5)

重步信号，返回0为x < 0而且1为x > = 0．

亥维赛在状态流图中不支持。

输出一个沉重的信号后5秒:

亥维赛(et-5)

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

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

exp (et / 10)

均匀分布伪随机值

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

coder.extrinsic (“兰德”) nr = rand sg = a + (b-a)*nr

正态分布伪随机值

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

coder.extrinsic (“randn”) nr = randn sg = nr*

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

门闩在状态流图中不支持。

门闩b的价值转矩：

b =闩(扭矩)

否定

不p

验证(~ p)

结合

p而且问

验证(p & &)

析取

p或问

验证(p | |问)

含义

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

验证(~ p | |问)

双条件的

p而且问,或者不p而不是问．逻辑上等同于双条件p↔问．

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