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

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

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

{0, 5}

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

{[1, 2]}

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

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

{0, [1, 3]}

задает:

Параметр Values

{Sldv.Interval(0, 1, '[)'), Sldv.Point(1)}

задает:

Логическое поведение спецификаций

Если вы задаете несколько скаляров и интервалов для блока Test Objective, программное обеспечение Simulink Design Verifier комбинирует их использующий логическую операцию OR при генерации тестов. Следовательно, программное обеспечение полагает, что целая цель тестирования удовлетворена, удовлетворены ли какой-либо один скаляр или интервал.

В одном скаляре или интервале, цель тестирования сгенерирована с логической операцией И. В этом случае все сигналы должны удовлетворить ограничения для входа, чтобы удовлетворить цель.

Например, рассмотрите двумерный открытый интервал:

Sldv.Interval([-5 -5],[5 2],'()')

Нулевой векторный [0 0] удовлетворяет цель, потому что нулевыми элементами является в интервалах -5 к 5 и -5 к 2.

Векторный [0 3] не удовлетворяет цель, потому что второй элемент 3 выходит за пределы интервала -5 к 2.