Simulink® Test™ обеспечивает три логических и временных шаблона оценки:
Логические шаблоны оценки
Граничная проверка — максимум Проверки и минимум ограничивают для сигналов и выражений.
Пользовательский — Проверка, если логическое выражение сохраняется навсегда шаги.
Временный шаблон оценки
Триггерный ответ — Проверка на ответ сигнала, когда триггер обнаруживается.
Создайте оценки граничной проверки, чтобы проверять, удовлетворяют ли сигналы и выражения, которые вы тестируете, шаблонам граничного условия, вы задаете для них. Шаблоны шаблона граничного условия позволяют вам протестировать, если сигналы и выражения в терминах граничных значений, которые вы задаете:
Всегда меньше, чем (или равный)
Всегда больше, чем (или равный)
Всегда внутри
Всегда снаружи
Создайте оценки триггерного ответа, чтобы проверить ответ сигнала, когда триггер будет обнаружен. Оценка триггерного ответа требует:
Trigger
параметр
Response
параметр
Дополнительный Delay
параметр
Триггерным условием является шаблон условия, на основе которого оценен сигнал ответа. Существует пять триггерных доступных шаблонов условия:
Инициируйте шаблон условия | Поведение | Доступные привязки по времени | |
---|---|---|---|
Каждый раз, когда верно | Проверяйте сигнал ответа постоянно каждый раз, когда условие инициирования верно. | N/A | |
Становится верным | Проверяйте, что ответ сигнализирует каждый раз, когда условие инициирования становится верным. | Возрастающее ребро | |
Становится верным и остается верным для, по крайней мере, | Проверяйте, что ответ сигнализирует каждый раз, когда условие инициирования становится верным и остается верным, по крайней мере, для интервала, заданного 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, которые включают эти операторы как условия оценки:
Логические операторы:
&
, |
, и ~
Операторы отношения:
<
, <=
, ==
, ~=
, >=
, и >
Арифметические операторы:
+
, -
, и *
(умножение только скалярными константами)
Операторы броска:
Функциональные формы логических, реляционных, и арифметических операторов не поддерживаются. В дополнение к операторам можно использовать abs
функционируйте, чтобы создать условия оценки. Можно также использовать t
символ, чтобы создать условия оценки, который автоматически связан со временем симуляции. Использование t
символ как min-time
или max-time
параметр в условиях оценки не поддерживается. Событийные сигналы не поддерживаются в логических или временных оценках.
Логические и временные условия оценки поддерживают встроенные типы данных, перечисленные на Типах данных, Поддержанных Simulink, за исключением string
. Можно также использовать fixdt
и Simulink.defineIntEnumType
.
Все операнды в условии оценки должны иметь совпадающий тип данных. Можно использовать операторы броска, чтобы изменить тип данных операнда или изменить операнд в символ и сопоставить символ с выражением. Читайте об отображении символов к выражению на Символах Параметра Оценки Твердости. Читайте об определении переменных для использования в выражении на, Задают Переменные в Разделе Коллбэка Оценки. Когда вы сопоставляете символ с выражением, выражение должно быть совпадающим типом данных как другими операндами в условии оценки.
Когда отображение символа к шине сигнализирует или многомерный сигнал, необходимо сопоставить символ только с одним элементом от шины или многомерного сигнала. Читайте об отображении с элементами модели на Символах Параметра Оценки Твердости. Тип данных выбранного элемента от шины или многомерного сигнала должен всегда быть поддерживаемым типом и должен быть совпадающим типом данных как другими операндами в условии оценки.
Раздел 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 | Имя текущей тестовой итерации. |
После определения переменных в коллбэке можно сопоставить символы с переменными для использования в условиях оценки и выражений. Читайте об отображении символа к выражению на Символах Параметра Оценки Твердости для получения информации о том, как сопоставить символы с переменными.
Переменные, созданные в разделе Assessment Callback, могут только использоваться в условиях и выражениях в панели Logical and Temporal Assessments. Эти переменные не могут использоваться в других областях менеджера по Тесту. Assessment Callback сохранен как часть тестового файла.