Логический и временный синтаксис оценки

Simulink® Test™ обеспечивает три логических и временных шаблона оценки:

  • Логические шаблоны оценки

    • Граничная проверка — максимум Проверки и минимум ограничивают для сигналов и выражений.

    • Пользовательский — Проверка, если логическое выражение сохраняется навсегда шаги.

  • Временный шаблон оценки

    • Триггерный ответ — Проверка на ответ сигнала, когда триггер обнаруживается.

Оценки граничной проверки

Создайте оценки граничной проверки, чтобы проверять, удовлетворяют ли сигналы и выражения, которые вы тестируете, шаблонам граничного условия, вы задаете для них. Шаблоны шаблона граничного условия позволяют вам протестировать, если сигналы и выражения в терминах граничных значений, которые вы задаете:

  • Всегда меньше, чем (или равный)

  • Всегда больше, чем (или равный)

  • Всегда внутри

  • Всегда снаружи

Оценки триггерного ответа

Создайте оценки триггерного ответа, чтобы проверить ответ сигнала, когда триггер будет обнаружен. Оценка триггерного ответа требует:

  • Trigger параметр

  • Response параметр

  • Дополнительный Delay параметр

Триггерным условием является шаблон условия, на основе которого оценен сигнал ответа. Существует пять триггерных доступных шаблонов условия:

Инициируйте шаблон условияПоведениеДоступные привязки по времени
Каждый раз, когда верноПроверяйте сигнал ответа постоянно каждый раз, когда условие инициирования верно.Нет данных
Становится вернымПроверяйте, что ответ сигнализирует каждый раз, когда условие инициирования становится верным.Возрастающее ребро
Становится верным и остается верным для, по крайней мере,Проверяйте, что ответ сигнализирует каждый раз, когда условие инициирования становится верным и остается верным, по крайней мере, для интервала, заданного min-time параметр (в s). Вы также задаете дополнительный параметр привязки по времени, в котором можно оценить сигнал ответа.Возрастающее ребро триггера или конец min-time
Становится верным и остается верным для самое большееПроверяйте, что ответ сигнализирует каждый раз, когда условие инициирования становится верным и остается верным для самое большее интервала, заданного max-time параметр (в s). Вы также задаете дополнительный параметр привязки по времени, в котором можно оценить сигнал ответа.Повышение или падение ребра триггера или конца max-time
Становится верным и остается верным для междуПроверяйте, что ответ сигнализирует каждый раз, когда условие инициирования становится верным и остается верным между интервалом, заданным min-time и max-time параметры. Вы также задаете дополнительный параметр привязки по времени, в котором можно оценить сигнал ответа.Повышение или падение ребра триггера или конца min-time или max-time

Чтобы завершить авторскую разработку оценки триггерного ответа, вы задаете шаблон условия ответа и условие ответа. Существует пять доступных шаблонов условия ответа:

Шаблон условия ответаПоведение
Должно быть вернымШаблон условия ответа должен быть истинным запуском от параметра привязки по времени до задержки (если это задано).
Должен остаться верным для, по крайней мере,Шаблон условия ответа должен остаться верным, по крайней мере, на время, заданное min-time параметр.
Должен остаться верным для самое большееШаблон условия ответа должен остаться верным на самое большее время, заданное max-time параметр.
Должен остаться верным для междуШаблон условия ответа должен остаться верным, по крайней мере, на время, заданное min-time параметр и самое большее длительность заданы max-time параметр.
Должен остаться верным доУсловие ответа должно остаться верным до until-condition параметр становится верным в длительности, заданной max-time параметр.

Задержка является дополнительным временным интервалом, запускающимся от параметра привязки по времени до точки, где условию ответа, как ожидают, удовлетворят. Можно установить задержку с максимальным значением или указать диапазон времени в секундах.

Пользовательские оценки

Пользовательский шаблон оценок позволяет вам задавать логические выражения MATLAB®, которые не помещаются в предыдущие шаблоны. Оценки предназначаются, чтобы оценить свойства сигнала, таким образом, все символы, заданные в пользовательском шаблоне, должны быть сопоставлены с данными сигнала (элемент модели или timeseries или постоянное скалярное значение).

Логические и временные условия оценки

Можно ввести выражения MATLAB, которые включают эти операторы как условия оценки:

  • Логические операторы: &, |, и ~

  • Операторы отношения: <, <=, ==, ~=, >=, и >

  • Арифметические операторы: +, -, и * (умножение только скалярными константами)

  • Операторы броска:

    • Операторы числа с плавающей запятой: single и double

    • Операторы беззнаковых целых чисел: uint8uint16, и uint32

    • Операторы целого числа со знаком: int8int16, и int32

    • Логический оператор: logical

Функциональные формы логических, реляционных, и арифметических операторов не поддержаны. В дополнение к операторам можно также использовать abs функционируйте, чтобы создать условия оценки.

Смотрите также