Документация

verify(expression)

verify(expression, errorMessage)

verify(expression, identifier, errorMessage)

Оценивает логическое выражение. Необязательные аргументы помечают результаты в диспетчере тестов и средстве просмотра диагностики.

assert(expression)

assert(expression, errorMessage)

Вычисляет логическое выражение. Сбой останавливает моделирование и возвращает ошибку. Дополнительные аргументы возвращают сообщение об ошибке.

et(TimeUnits)

Прошедшее время этапа тестирования в TimeUnits. Исключение TimeUnits возвращает значение в секундах.

Истекшее время шага тестовой последовательности в миллисекундах:

et(msec)

t(TimeUnits)

Прошедшее время моделирования в TimeUnits. Исключение TimeUnits возвращает значение в секундах.

Истекшее время моделирования в микросекундах:

t(usec)

after(n, TimeUnits)

Прибыль true если n указанные единицы времени в TimeUnits прошло с начала текущего этапа тестирования.

Через 4 секунды:

after(4,sec)

before(n, TimeUnits)

Прибыль true до n указанные единицы времени в TimeUnits истекло, начиная с текущего этапа тестирования.

До 4 секунд:

before(4,sec)

ElapsedTime = duration (Condition, TimeUnits)

Прибыль ElapsedTime в TimeUnits для которых Condition был true. ElapsedTime сбрасывается при повторном вводе шага тестирования или при Condition больше не является true.

Вернуть true если время в миллисекундах с Phi > 1 больше 550:

duration(Phi>1,msec) > 550

Прибыль true если u изменения значения с начала шага тестирования, в противном случае возвращается false.

u должен быть символом входных данных.

Переход, когда h изменения:

hasChanged(h)

Возвращает значение true, если u изменения из значения A, в противном случае возвращает значение false.

u должен быть символом входных данных.

Переход, когда h изменения из 1:

hasChangedFrom(h,1)

Возвращает значение true, если u изменения значения B, в противном случае возвращает значение false.

u должен быть символом входных данных.

Переход, когда h изменения в 0:

hasChangedTo(h,0)

Представляет выходной сигнал квадратной волны с периодом 1 и диапазон –1 кому 1.

В пределах интервала 0 <= x < 1, square(x) возвращает значение 1 для 0 <= x < 0.5и –1 для 0.5 <= x < 1.

square не поддерживается в диаграммах Stateflow.

Вывод квадратной волны с периодом 10 сек:

square(et/10)

Представляет выход пилообразной волны с периодом 1 и диапазон –1 кому 1.

В пределах интервала 0 <= x < 1, sawtooth(x) увеличивается.

sawtooth не поддерживается в диаграммах Stateflow.

Вывод пилообразной волны с периодом 10 сек:

sawtooth(et/10)

Представляет выходной сигнал треугольника с периодом 1 и диапазон –1 кому 1.

В пределах интервала 0 <= x < 0.5, triangle(x) увеличивается.

triangle не поддерживается в диаграммах Stateflow.

Вывести треугольную волну с периодом 10 сек:

triangle(et/10)

Представляет наклонный сигнал наклона 1, возвращая значение клина в момент времени x.

ramp(et) фактически возвращает прошедшее время тестового этапа.

ramp не поддерживается в диаграммах Stateflow.

Наклонить один блок на каждые 5 секунд прошедшего этапа испытания:

ramp(et/5)

Представляет тяжелый сигнал шага , возвращаемый 0 для x < 0 и 1 для x >= 0.

heaviside не поддерживается в диаграммах Stateflow.

Вывести тяжелый сигнал после 5 секунды:

heaviside(et-5)

Сохраняет значение x в первый раз latch(x) вычисляет на этапе теста, а затем возвращает сохраненное значение x. Сбрасывает сохраненное значение x при выходе из шага. Переоценивает latch(x) когда следующий шаг активен.

latch не поддерживается в диаграммах Stateflow.

Замок b к значению torque:

b = latch(torque)

Возвращает синус x, где x находится в радианах.

Синусоидальная волна с периодом 10 с:

sin(et*2*pi/10)

Возвращает косинус x, где x находится в радианах.

Косинусная волна с периодом 10 с:

cos(et*2*pi/10)

Равномерно распределенные псевдослучайные значения

Создание новых случайных значений для каждого моделирования путем объявления rand внешний с coder.extrinsic. Присвойте случайное число локальной переменной. Например:

coder.extrinsic('rand')
nr = rand
sg = a + (b-a)*nr

Обычно распределенные псевдослучайные значения

Создание новых случайных значений для каждого моделирования путем объявления randn внешний с coder.extrinsic. Присвойте случайное число локальной переменной. Например:

coder.extrinsic('randn')
nr = randn
sg = nr*2

Возвращает натуральную экспоненциальную функцию, $${}^{\mathrm{например}}$$.

Экспоненциальный сигнал, прогрессирующий через одну десятую от времени, прошедшего тестовый этап:

exp(et/10)

Отрицание

нет p

verify(~p)

Соединение

p и q

verify(p && q)

Разъединение

p или q

verify(p || q)

Значение

если p, q. Логически эквивалентно импликации p → q.

verify(~p || q)

Двусторонняя условная зависимость

p и q, или нет p и не q. Логически эквивалентно двоякому условию p ↔ q.

verify((p && q) || (~p && ~q))