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 сохраняется как часть тестового файла.