Ограничение значений сигналов в тестовых случаях
Simulink Design Verifier/Цели и ограничения
Блок Test Condition определяет условия тестирования для сигналов в моделях, работающих в режиме формирования тестов. (См. раздел Что такое создание тестового примера?). Параметр Values используется для задания ограничений на значения сигнала. Блок применяет указанный параметр Values к входному сигналу и пытается создать тестовые примеры.
Блок можно использовать для:
Включите или отключите условие.
Укажите, должен ли блок отображать свой параметр «Значения» в редакторе Simulink ®.
Укажите, должен ли блок отображать свой выходной порт.
При создании кода с помощью Coder™ Simulink и Simulink блок тестовых условий игнорируется. Блок тестовых условий не изменяет сигнал во время моделирования модели и использует сигнал только для создания тестовых условий.
Чтобы включить этот порт, выберите Pass through style (show Outport).
Enable - Включен ли блокon (по умолчанию) | offВыберите этот параметр, чтобы создать тесты для модели. Удаление этого параметра отключает блок. Если этот параметр не снят, блок отображается в редакторе Simulink как затемненный.
Type - Ведет ли блок себя как блок «Тестовое условие» или «Подтверждение допущения»Test Condition (по умолчанию) | AssumptionУкажите, будет ли блок работать как блок «Тестовое условие» или «Подтверждение допущения». Выбрать Assumption для преобразования блока «Тестовое условие» в блок «Подтверждение допущения».
Values - Условие испытанияПараметр Values используется для ограничения значений сигналов в тестовых примерах. Укажите любую комбинацию скаляров и интервалов в виде массива ячеек MATLAB ®. Дополнительные сведения см. в разделе Определение значений ограничений для параметров в файлах кодов MATLAB.
Можно также задать скалярные значения с помощью Sldv.Point конструктор, который принимает одно значение в качестве аргумента. Можно также указать интервалы с помощью Sldv.Interval конструктор, который требует два входных аргумента, один для нижней границы и один для верхней границы для интервала.
Например, параметр Values
{0, [1, 3]}указывает:
0 - скаляр
[1, 3] - Закрытый интервал
Параметр «Значения»
{Sldv.Interval(0, 1, '[)'), Sldv.Point(1)}указывает:
Sldv.Interval(0, 1, '[)') - Интервал открытия справа [0, 1)
Sldv.Point(1) - скаляр
Если указать несколько скаляров и интервалов для блока тестовых условий, программа Simulink Design Verifier™ объединит их с помощью логической операции OR при создании тестовых примеров. Следовательно, программное обеспечение считает все тестовое условие удовлетворительным, если удовлетворяется какой-либо один скаляр или интервал.
В пределах одного скаляра или интервала условие теста генерируется с помощью логической операции AND. В этом случае все сигналы должны удовлетворять ограничениям, чтобы входной сигнал удовлетворял условию.
Например, рассмотрим двумерный открытый интервал:
Sldv.Interval([-5 -5],[5 2],'()')
Нулевой вектор [0 0] удовлетворяет условию, поскольку нулевые элементы находятся в пределах интервалов -5 кому 5 и -5 кому 2.
Вектор [0 3] не удовлетворяет условию, поскольку второй элемент 3 выходит за пределы интервала -5 кому 2.
Display values - Отображение содержимого параметра значенийon (по умолчанию) | offУкажите, будет ли блок отображать содержимое своего параметра «Значения» в редакторе Simulink.
Pass through style(show Outport) - Отображает ли блок выходной порт в редакторе Simulink Editoron (по умолчанию) | offЕсли этот флажок установлен, блок отображает свой выходной порт, который позволяет входному сигналу проходить к выходу блока. Если этот параметр не выбран, блок скрывает свой выходной порт и завершает входной сигнал.
Пример: Следующая графика иллюстрирует внешний вид блока в каждом случае.
Стиль прохождения: Выбрано
Стиль прохождения: Очищено
