Test Objective

Задайте пользовательские цели, которые сигналы должны удовлетворять в тестах

  • Библиотека:
  • Верификатор проекта Simulink/Цели и ограничения

  • Test Objective block

Описание

При работе в генерацию тестов режиме Simulink® Программное обеспечение Design Verifier™ создает тесты, которые удовлетворяют заданным критериям (см. «Что такое Генерация Теста»?). В этом режиме можно использовать блоки Test Objective, чтобы задать пользовательские цели тестирования для сигналов в вашей модели. Параметр Values позволяет вам задать значения, которых должен достигать сигнал в течение по крайней мере одного временного шага во время теста симуляции. Блок применяет указанный параметр Values к своему входному сигналу, и программное обеспечение Simulink Design Verifier пытается создать тесты, которые удовлетворяют цели.

Диалоговое окно параметра блока также позволяет

  • Включите или отключите цель.

  • Укажите, что блок должен отображать свой параметр Values в редакторе Simulink.

  • Укажите, что блок должен отображать свой выходной порт.

Примечание

Программное обеспечение Simulink и Simulink Coder™ игнорируют блок Цель Тестирования во время симуляции модели и генерации кода, соответственно. Программное обеспечение Simulink Design Verifier использует блок Цель Тестирования только при генерации тестов для модели.

Порты

Вход

расширить все

Блок Цель Тестирования принимает сигналы всех встроенных типов данных, поддерживаемых программным обеспечением Simulink. Для обсуждения типов данных, поддерживаемых программным обеспечением Simulink, смотрите Типы данных, поддерживаемые Simulink. Блок не поддерживает сложные входные сигналы.

Типы данных: single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated | bus

Параметры

расширить все

Если выбран (по умолчанию), программное обеспечение Simulink Design Verifier использует блок при генерации тестов для модели. Удаление этой опции отключает блок, то есть заставляет программное обеспечение Simulink Design Verifier вести себя так, как если бы блок Цель Тестирования не существовал. Если эта опция не выбрана, блок появляется серым цветом в редакторе Simulink.

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

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

Совет

Если параметр Values задает только одно скалярное значение, вам не нужно вводить его в виде массива ячеек MATLAB.

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

{0, 5}

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

{[1, 2]}

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

  • '()' - Задает открытый интервал.

  • '[]' - Определяет закрытый интервал.

  • '(]' - Определяет интервал открытия влево.

  • '[)' - Задает открытый вправо интервал.

Примечание

По умолчанию Sldv.Interval рассматривает интервал как закрытый, если вы опускаете его третий входной параметр.

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

{0, [1, 3]}

задает:

  • 0 - скаляр

  • [1, 3] - закрытый интервал

Параметр Values

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

задает:

  • Sldv.Interval(0, 1, '[)') - правый открытый интервал [0, 1)

  • Sldv.Point(1) - скаляр

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

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

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

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

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

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

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

Укажите, отображает ли блок содержимое своего параметра Values в редакторе Simulink.

Если выбран, блок отображает свой выходной порт, позволяя его входному сигналу проходить в качестве выходного сигнала блока. Если не выбран, блок скрывает свой выходной порт и завершает входной сигнал.

Пример: Следующая графика иллюстрирует внешний вид блока в каждом случае.

Pass through style (show Outport): Selected

Pass through style (show Outport): Deselected

Введенный в R2007a
Для просмотра документации необходимо авторизоваться на сайте