verify ОператорыМожно проверить симуляцию модели включением блока Test Assessment в модели или тестовой обвязке и авторской разработке verify операторы в блоке Test Assessment. verify операторы возвращают pass, fail, или untested результаты и для полной симуляции и для отдельных временных шагов. Результаты появляются в менеджере по Тесту.
verify Операторы в блоке Test AssessmentTest Assessment содержит When последовательность разложения. When последовательность разложения помогает вам ясно задать условие симуляции, которое активирует каждый verify оператор:
Если ваша модель использует источник блока Test Sequence, рассмотрите активацию каждого verify оператор с помощью активного шага блока Test Sequence.
Если ваша модель не использует источник блока 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.
Активировать verify операторы в Test Assessment с активными шагами в блоке Test Sequence:
Создайте активный вывод данных шага для блока Test Sequence.
Выберите блок Test Sequence.
Создайте новый перечислимый вывод данных. В Property Inspector выберите Create data to monitor the active step и установите Data Type на Enum.
Введите имя в Enum name.
Создайте ввод данных для блока Test Assessment:
Откройте блок Test Assessment.
В панели Symbols наведите рядом с Input, затем нажмите Add data
.
Назовите вход.
В блок-схеме соедините блок Test Sequence выход с входом блока Test Assessment.
Создайте When последовательность разложения в блоке Test Assessment.
Блок Test Assessment сконфигурирован по умолчанию с When последовательность разложения. Измениться между стандартной последовательностью и When последовательность разложения, щелкните правой кнопкой по родительскому шагу и выберите When decomposition.
Для каждого When шаг разложения, задайте, когда шаг будет активен при помощи активных данных о перечислении шага. Например:
VerifyBoth when TSActiveStepIN == ... Test_Sequence_Active_Step_Enum.PressBothButtons
Добавьте 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, соответственно.
Менеджер по Тесту отображает результаты:
Протестируйте редактор последовательности | Протестируйте последовательность | Протестируйте оценку | verify