Оцените логическое выражение
verify(
оценивает логический expression
)expression
к true
или false
.
verify(
возвращает заданную строку сообщения об ошибке для не пройдено expression
,errorMessage
)verify
оператор. Если при запуске тест в менеджере по Тесту, сообщение об ошибке появляется в журнале симуляции. Если при запуске тест вне менеджера по Тесту, сообщение появляется в Диагностическом Средстве просмотра.
verify(
использует expression
,identifier
,errorMessage
)identifier
как метка для результатов испытаний. identifier
используется в качестве метки сигнала в Тестовой Кормушке. Если при запуске тест вне менеджера по Тесту, метка появляется в Data Inspector Simulink или, для отказа, в Диагностическом Средстве просмотра. Идентификатор является строкой, которая имеет по крайней мере два разделенных от двоеточия идентификатора MATLAB®.
Можно использовать verify
операторы в Тестовой Оценке Последовательности и Теста блокируются и в графиках Stateflow®. Лицензия Stateflow требуется, чтобы использовать график. verify
операторы в графиках поддерживаются в тех же местоположениях, режимах выполнения, и для тех же целей генерации кода как блок Test Sequence.
Вы не можете использовать verify
операторы в:
Блоки Test Sequence то непрерывное время использования, обновляясь. данные о блоке Test Sequence могут зависеть от факторов, таких как время шага решателя. Непрерывное время обновляясь может вызвать различия в когда данные о блоке и verify
обновление операторов, которое может привести к неожиданному verify
результаты оператора. Если ваша модель использует непрерывное время, и вы используете verify
операторы в блоке Test Sequence или Test Assessment, рассмотрите явным образом установку дискретного шага расчета блока.
Мур, Мучнистое, Дискретное Событие или непрерывные графики
Графики, которые используют C в качестве языка действия
Свяжите действия в графике
Переход или действия условия в графике
Функции MATLAB, графические функции или таблицы истинности в графике
Функция MATLAB или блоки Таблицы истинности
Быстрые симуляции Режима Accelerator
Генерация кода предназначается кроме Simulink® Real-Time™ и HDL Verifier™
Stateflow в MATLAB
Если вы используете параллельное выполнение теста, чтобы запустить ваши тесты, то вы не можете использовать кнопку Highlight in Model в в менеджере по Тесту к verify
результаты.
Вы не можете использовать verify
как условие сразу после when
в, Когда разложение, потому что verify
операторы не производят выход. Можно, однако, использовать verify
операторы как действия в том, Когда разложение продвигается. Смотрите Оценивают Модель при помощи Когда Разложение.
При сравнении данных с плавающей точкой в verify
операторы, считайте ограничения точности сопоставленными с числами с плавающей запятой. Если необходимо использовать данные с плавающей точкой, задайте допуск к верификации. Например, вместо verify(x == 5)
, проверьте x
в допуске 0,001:
verify(abs(x-5) < 0.001)