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

Используйте параметр 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 Objective, программное обеспечение Simulink Design Verifier комбинирует их использующий логическую операцию OR при генерации тестов. Следовательно, программное обеспечение полагает, что целая цель тестирования удовлетворена, удовлетворяют ли какому-либо одному скаляру или интервалу.

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

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

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

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

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