Оцените симуляцию модели Используя 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 Assessment с активными шагами в Test Sequence блоки:

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

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

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

    3. Назовите перечисление.

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

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

    2. На боковой панели Symbols, рядом с Input, кликают по значку Add data.

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

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

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

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

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

      VerifyBoth when TSActiveStepIN == TSActiveStepEnum.PressBothButtons

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

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

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

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

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

Автор 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, соответственно.

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

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

| | |

Похожие темы

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