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

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

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

{0, 5}

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

{[1, 2]}

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

Как пример, параметр 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.