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

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

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

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

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

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

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

Logical and Temporal Assessments menu

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

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

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

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

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

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

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

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

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

Похожие темы

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