Оцените симуляцию модели Используя verify Операторы

Можно проверить симуляцию модели включением блока Test Assessment в модели или тестовой обвязке и авторской разработке verify операторы в блоке Test Assessment. verify операторы возвращают pass, fail, или untested результаты и для полной симуляции и для отдельных временных шагов. Результаты появляются в менеджере по Тесту.

Активируйте verify Операторы в блоке Test Assessment

Test Assessment содержит When последовательность разложения. When последовательность разложения помогает вам ясно задать условие симуляции, которое активирует каждый verify оператор:

  1. Если ваша модель использует источник блока Test Sequence, рассмотрите активацию каждого verify оператор с помощью активного шага блока Test Sequence.

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

Активируйте verify Операторы с тестовыми шагами последовательности

Соедините блок Test Sequence и Test Assessment с активным сигналом шага от блока Test Sequence. Активируйте каждый verify оператор с активным шагом.

Например, эта тестовая обвязка содержит блок Test Sequence и Test Assessment. Блоки соединяются Active_Step сигнал.

Блок Test Assessment содержит when последовательность разложения с четырьмя подшагами. Каждый содержит verify оператор и активируется различным шагом блока Test Sequence. Else шаг не имеет никаких действий и обрабатывает условия симуляции за пределами предыдущего when условия. Принятым синтаксисом для такого шага является Else.

Test Sequence block steps, transitions, and next steps, and Test Assessment block steps

Активировать verify операторы в Test Assessment с активными шагами в блоке Test Sequence:

  1. Создайте активный вывод данных шага для блока Test Sequence.

    1. Выберите блок Test Sequence.

      Создайте новый перечислимый вывод данных. В Property Inspector выберите Create data to monitor the active step и установите Data Type на Enum.

    2. Введите имя в Enum name.

      Property Inspector for Test Sequence block

  2. Создайте ввод данных для блока Test Assessment:

    1. Откройте блок Test Assessment.

    2. В панели Symbols наведите рядом с Input, затем нажмите Add data Add datat icon.

    3. Назовите вход.

  3. В блок-схеме соедините блок Test Sequence выход с входом блока Test Assessment.

  4. Создайте When последовательность разложения в блоке Test Assessment.

    1. Блок Test Assessment сконфигурирован по умолчанию с When последовательность разложения. Измениться между стандартной последовательностью и When последовательность разложения, щелкните правой кнопкой по родительскому шагу и выберите When decomposition.

    2. Для каждого When шаг разложения, задайте, когда шаг будет активен при помощи активных данных о перечислении шага. Например:

      VerifyBoth when TSActiveStepIN == ...
   Test_Sequence_Active_Step_Enum.PressBothButtons

    3. Добавьте verify операторы к каждому шагу оценки.

Активируйте verify Операторы с условиями сигнала

Если ваша модель не использует источник блока Test Sequence, или если Тестовые шаги Последовательности не соответствуют условиям проверить, используйте уникальные условия сигнала активировать verify операторы. Поместите verify операторы в When последовательность разложения и условные операторы использования в When условия.

Например, эта тестовая обвязка использует вход блока Signal Editor.

Test harness with a Test Assessment block and inputs from a Signal Editor block

Блок Test Assessment содержит When последовательность разложения. Каждый подшаг содержит verify оператор. Уникальное условие сигнала активирует каждый подшаг.

Plot of when decomposition sequence and associated Test Assessment verify statements

Автор verify Операторы

verify операторы выполняют логические выражения. Можно пометить результаты в менеджере по Тесту с дополнительными аргументами.

verify оператор возвращает pass, fail, или untested закончитесь для каждого временного шага и для полной симуляции. fail в любое время продвиньтесь результаты в полный fail. Если нет никаких провальных результатов, pass в любое время продвиньтесь результаты в полный pass. В противном случае полным результатом является untested. Результаты появляются в разделе Verify Statements результатов испытаний. Для получения дополнительной информации на verify синтаксис и факторы для использования его, смотрите страницу с описанием verify.

Пример

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

  • verify(x >= y) передачи в целом, потому что это верно для целой тестовой последовательности.

  • verify(x == y) и verify(x ~= y) перестали работать, потому что они перестали работать в step_1_2 и step_1_1, соответственно.

Verify statements that compare two values

Менеджер по Тесту отображает результаты:

Plot of results of when x is not equal to y

Смотрите также

| | |

Похожие темы

Документация Simulink Test

Поддержка

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