Синтаксис логической и временной оценки

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

  • Шаблоны логической оценки

    • Проверка границ - Проверяйте максимальные и минимальные ограничения для сигналов и выражений.

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

  • Шаблон временной оценки

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

Проверки границ

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

  • Всегда меньше (или равно)

  • Всегда больше (или равно)

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

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

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

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

  • Trigger параметр

  • Response параметр

  • Необязательные Delay параметр

Условие триггера является шаблоном условия, на основе которого оценивается сигнал отклика. Доступно пять шаблонов триггерных условий:

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

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

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

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

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

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

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

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

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

  • Реляционные операторы: <, <=, ==, ~=, >=, и >

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

  • Операторы приведения:

Функциональные формы логических, реляционных и арифметических операторов не поддерживаются. В сложение к операторам можно использовать abs функция для построения условий оценки. Можно также использовать t символ для создания условий оценки, который автоматически привязан ко времени симуляции. Использование t символ как min-time или max-time параметр в условиях оценки не поддерживается.

Типы данных в условиях оценки

Логические и временные условия оценки поддерживают встроенные типы данных, перечисленные в типах данных, поддерживаемых Simulink, за исключением string. Вы также можете использовать fixdt и Simulink.defineIntEnumType.

Все операнды в условии оценки должны иметь совпадающий тип данных. Можно использовать операторы приведения, чтобы изменить тип данных операнда или изменить операнд на символ и сопоставить символ с выражением. Читайте о отображении символов с выражением на Resolve Assessment Parameter Symbols. Читайте об определении переменных для использования в выражении на Define Variables в Разделе коллбэка оценки. Когда вы сопоставляете символ с выражением, выражение должно быть совпадающим типом данных, как и другие операнды в условии оценки.

При отображении символа на сигнал шины или многомерный сигнал необходимо сопоставить символ только с одним элементом из шины или многомерного сигнала. Читайте о отображении с элементами модели на Resolve Assessment Parameter Symbols. Тип данных выбранного элемента из шины или многомерного сигнала должен всегда быть поддерживаемым типом и должен быть совпадающим типом данных, как и другие операнды в условии оценки.

Задайте переменные в разделе «Оценка коллбэка»

Раздел Assessment Callback позволяет вам задать переменные, которые можно использовать в логических и временных условиях оценки и выражениях. Вы можете задать переменные так же, как и в рабочем пространстве MATLAB. Этот коллбэк также имеет доступ к предопределенным переменным, которые содержат данные вашего теста, модели и симуляции, таким как сигнал от блока Simulink. Вы можете задать переменную как функцию от этих данных. Эти объекты доступны:

Имя объектаОписание
TestResultРезультат теста (sltest.testmanager.TestCaseResult) или результат итерации теста (sltest.testmanager.TestIterationResult), созданный из симуляции.
sltest_simoutМассив выходов симуляции (Simulink.SimulationOutput).
sltest_testCaseТекущий объект теста (sltest.testmanager.TestCase).
sltest_bdrootМассив ячеек моделей, моделируемых тестом. Может быть моделью тестовой обвязки.
sltest_sutМассив ячеек тестируемых систем. Для обвязок этот массив содержит тестируемый компонент.
sltest_isharnessМассив ячеек, который возвращает true, если sltest_bdroot является моделью тестовой обвязки.
sltest_iterationNameИмя текущей итерации теста.

После определения переменных в коллбэк можно сопоставить символы с переменными для использования в условиях оценки и выражениях. Читайте о отображении символа выражению на Resolve Assessment Parameter Symbols для получения информации о том, как сопоставить символы с переменными.

Переменные, созданные в разделе Assessment Callback, могут использоваться только в условиях и выражениях на панели Logical and Temporal Assessments. Эти переменные не могут использоваться в других областях Test Manager. Этот Assessment Callback сохраняется как часть тестового файла.

См. также

Для просмотра документации необходимо авторизоваться на сайте