Определение условий испытания

Используйте параметр Values, чтобы ограничить значения сигналов в тестах. Задайте любую комбинацию скаляров и интервалов в форме массива ячеек MATLAB^®. Для получения информации о массивах ячеек см. Массивы ячеек.

Скалярные значения каждый включает отдельную ячейку в массиве, например:

{0, 5}

Закрытый интервал включает двухэлементный вектор как ячейку в массиве, где каждый элемент задает конечную точку интервала:

{[1, 2]}

В качестве альтернативы можно задать скалярные значения с помощью Sldv.Point конструктор, который принимает одно значение как его аргумент. Можно задать интервалы с помощью Sldv.Interval конструктор, который требует двух входных параметров, i.e., нижняя граница и верхняя граница для интервала. Опционально, можно ввести одно из следующих значений как третий входной параметр, который задает включение или исключение конечных точек интервала:

Как пример, параметр Values

{0, [1, 3]}

задает:

Параметр Values

{Sldv.Interval(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.