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.
Чтобы активироваться проверяют операторы в Test Assessment с активными шагами в Test Sequence блоки:
Создайте активный вывод данных шага для блока Test Sequence:
Выберите блок Test Sequence.
Создайте новый перечислимый вывод данных. В Property Inspector выберите Create data to monitor the active step.
Назовите перечисление.
Создайте ввод данных для блока 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 == TSActiveStepEnum.PressBothButtons
Добавьте verify
операторы к каждому шагу оценки.
verify
Операторы с условиями сигналаЕсли ваша модель не использует источник блока Test Sequence, или если Тестовые шаги Последовательности не соответствуют условиям проверить, используйте уникальные условия сигнала активировать verify
операторы. Поместите verify
операторы в When
последовательность разложения и условные операторы использования в When
условия.
Например, эта тестовая обвязка использует вход блока Signal Builder.
Блок Test Assessment содержит When
последовательность разложения. Каждый подшаг содержит verify
оператор. Уникальное условие сигнала активирует каждый подшаг.
verify
Операторыverify
операторы выполняют логические выражения. Можно пометить результаты в менеджере по Тесту с дополнительными аргументами.
verify
оператор возвращает pass
, fail
, или untested
закончитесь для каждого временного шага и для полной симуляции. fail
в любое время продвиньтесь результаты в полный fail
. Если нет никаких провальных результатов, pass
в любое время продвиньтесь результаты в полный pass
. В противном случае полным результатом является untested
. Результаты появляются в разделе Verify Statements результатов испытаний.
verify
операторы используют синтаксис:
verify(expression) verify(expression,errorMessage) verify(expression,identifier,errorMessage)
где expression
логическое выражение. Используйте дополнительные аргументы, чтобы задать errorMessage
и оператор identifier
. Сообщения об ошибке отображаются в диагностическом средстве просмотра. Можно использовать сообщения об ошибке, чтобы отобразить значения ключа в то время сбои оператора.
Например, если verify
выполняет выражение, содержащее переменные x
и y
, можно отобразить значения x
и y
использование строки:
'x and y values are %d, %d',x,y
Идентификатор маркирует verify
результаты в менеджере по Тесту. Идентификатор использует строку формы 'prefix:suffix'
. prefix
и suffix
алфавитно-цифровые строки. Например:
'SimulinkTest:x_equals_y'
verify
Факторы оператораverify
не поддержан в блоках Test Sequence то непрерывное время использования, обновившись. данные о блоке Test Sequence могут зависеть от факторов, таких как время шага решателя. Непрерывное время обновляясь может вызвать различия в когда данные о блоке и verify
обновление операторов, которое может привести к неожиданному verify
результаты оператора.
Если ваша модель использует непрерывное время, и вы используете verify
операторы в блоке Test Sequence или Test Assessment, рассмотрите явным образом установку дискретного шага расчета блока.
Если вы используете параллельное выполнение теста, чтобы запустить ваши тесты, то вы не можете использовать кнопку Highlight in Model в verify
результаты.
В этом сравнении двух значений родительский шаг использует verify
операторы, чтобы оценить две локальных переменные x
и y
во время симуляции.
verify(x >= y)
передачи в целом, потому что это верно для целой тестовой последовательности.
verify(x == y)
и verify(x ~= y)
перестали работать, потому что они перестали работать в step_1_2
и step_1_1
, соответственно.
Менеджер по Тесту отображает результаты:
Протестируйте оценку | Протестируйте последовательность | Протестируйте редактор последовательности