exponenta event banner

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

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

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

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

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

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

    • Trigger-Response - проверка ответа сигнала при обнаружении триггера.

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

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

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

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

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

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

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

Создание оценок триггера-отклика для проверки отклика сигнала при обнаружении триггера. Оценка триггера-ответа требует:

  • Trigger параметр

  • Response параметр

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

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

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

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

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

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

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

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

Условия логической и временной оценки

В качестве условий оценки можно ввести выражения 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. Эти переменные нельзя использовать в других областях диспетчера тестов. Обратный вызов оценки сохраняется как часть тестового файла.

См. также