Определение пользовательских целей, которые сигналы должны удовлетворять в тестовых случаях
Simulink Design Verifier/Цели и ограничения
При работе в режиме генерации тестов программное обеспечение Simulink ® Design Verifier™ создает тестовые примеры, удовлетворяющие указанным критериям (см. раздел Что такое генерация тестовых примеров?). В этом режиме можно использовать блоки контрольных целей для определения пользовательских контрольных целей для сигналов в модели. Параметр Values (Значения) позволяет указать значения, которые сигнал должен достичь в течение по крайней мере одного шага времени во время моделирования тестового случая. Блок применяет указанный параметр Values к входному сигналу, и программа Simulink Design Verifier пытается создать тестовые примеры, удовлетворяющие поставленной задаче.
Диалоговое окно параметров блока также позволяет
Включение или отключение цели.
Укажите, что блок должен отображать свой параметр «Значения» в редакторе Simulink.
Укажите, что блок должен отображать свой выходной порт.
Примечание
Программное обеспечение Simulink и Simulink Coder™ игнорируют блок Test Objective во время моделирования модели и генерации кода соответственно. Программа Simulink Design Verifier использует блок Test Objective только при создании тестовых примеров для модели.
Enable - Укажите, включен ли блокon (по умолчанию) | offПри выборе (по умолчанию) программа Simulink Design Verifier использует блок при создании тестов для модели. При снятии этой опции блок отключается, то есть программное обеспечение Simulink Design Verifier ведет себя так, как если бы блок Test Objective не существовал. Если этот параметр не выбран, блок отображается в редакторе Simulink серым цветом.
Values - Укажите цель тестаПараметр Values используется для определения пользовательских целей, которым сигналы должны удовлетворять в тестовых случаях. Укажите любую комбинацию скаляров и интервалов в виде массива ячеек MATLAB ®. Сведения о массивах ячеек см. в разделе Массивы ячеек.
Совет
Если параметр Values указывает только одно скалярное значение, вводить его в виде массива ячеек MATLAB не требуется.
Каждое из скалярных значений содержит одну ячейку в массиве, например:
{0, 5}Замкнутый интервал содержит двухэлементный вектор в качестве ячейки в массиве, где каждый элемент определяет конечную точку интервала:
{[1, 2]}Можно также задать скалярные значения с помощью Sldv.Point конструктор, который принимает одно значение в качестве аргумента. Можно указать интервалы с помощью Sldv.Interval конструктор, который требует два входных аргумента, т.е. нижнюю и верхнюю границы для интервала. Дополнительно можно указать одно из следующих значений в качестве третьего входного аргумента, указывающего включение или исключение конечных точек интервала:
'()' - определяет открытый интервал.
'[]' - определяет замкнутый интервал.
'(]' - определяет левый открытый интервал.
'[)' - определяет интервал открытия справа.
Примечание
По умолчанию 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) - скаляр
При указании нескольких скаляров и интервалов для блока Test Objective программное обеспечение 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 - Укажите, должен ли блок отображать выходной порт в редакторе Simulinkon (по умолчанию) | offЕсли этот флажок установлен, блок отображает свой выходной порт, позволяя его входному сигналу проходить как блочный выход. Если этот параметр не выбран, блок скрывает свой выходной порт и завершает входной сигнал.
Пример: Следующая графика иллюстрирует внешний вид блока в каждом случае.
Стиль прохождения (show Outport): Выбрано
Стиль прохождения (show Outport): Отмена выбора
