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