verify

Оцените логическое выражение

развернуть все на странице

Синтаксис

verify(expression)
verify(expression,errorMessage)
verify(expression,identifier,errorMessage)

Описание

пример

verify(expression) оценивает скаляр логическую expression на true или false.

пример

verify(expression,errorMessage) возвращает указанную строку сообщения об ошибке для сбоя verify оператор. При запуске теста в Диспетчере тестов в журнале симуляции появляется сообщение об ошибке. Если тест запускается вне Диспетчера тестов, сообщение появляется в Diagnostic Viewer.

пример

verify(expression,identifier,errorMessage) использует identifier в качестве метки для результатов тестирования. The identifier используется в качестве метки сигнала в Диспетчере тестов. При запуске теста вне Диспетчера тестов метка появляется в Данные моделирования Inspector или, для отказа, в Средство просмотра Diagnostic. Идентификатор является строкой, которая имеет по крайней мере два MATLAB с разделением двоеточий® идентификаторы.

Примеры

расширить все

verify(x > y && z > 10)

Если это verify оператор не справляется, оно возвращает сообщение об ошибке, в котором перечисляются значения x, y, и z.

verify(x > y && z > 10,'x, y, and z are %d,%d,%d',x,y,z)

Результат этой verify оператор предварительно подписан меткой, TestReq1:bothGreater и, если тест не пройден, сообщение об ошибке.

verify(x > y && z > 10,'TestReq1:bothGreater',...
   'x, y, and z are %d,%d,%d',x,y,z)

Второй шаг в Scenario1 состоянии этой диаграммы Stateflow проверяет, что цель равна 60.

Совет

  • Можно использовать verify операторы в блоках Test Sequence и Test Assessment и в Stateflow® чарты. Для использования графика требуется лицензия Stateflow. verify операторы в графиках поддерживаются в тех же местах, режимах выполнения и для тех же целей генерации кода, что и блок Test Sequence.

  • Вы не можете использовать verify операторы в:

    • Test Sequence блоки, которые используют непрерывное обновление. Test Sequence данных блоков могут зависеть от таких факторов, как время шага решателя. Непрерывное обновление может вызвать различия в том, когда блокируют данные и verify обновление операторов, что может привести к неожиданному verify результаты оператора. Если ваша модель использует непрерывное время и вы используете verify операторы в Test Sequence или Test Assessment блоке, рассмотрите явное установка дискретного шага расчета блоков.

    • Мур, Мили, Дискретное Событие или непрерывные графики

    • Графики, которые используют C в качестве языка действий

    • Связать действия в графике

    • Переходные или условные действия на графике

    • Функции MATLAB, графические функции или таблицы истинности на графике

    • Функции MATLAB или Truth Table

    • Симуляции быстрого режима Accelerator

    • Цели генерации кода, отличные от Simulink® Real-Time™ и HDL- Verifier™

    • Автономные диаграммы Stateflow

  • Если вы используете параллельное выполнение теста для запуска тестов, то вы не можете использовать кнопку Highlight in Model для в Диспетчере тестов, чтобы verify результаты.

  • Вы не можете использовать verify как условие сразу после when в При разложении из-за verify операторы не выдают выход. Однако можно использовать verify операторы как действия в шагах разложения When. См. «Оценка модели при помощи разложения».

  • При сравнении данных с плавающей точкой в verify операторы, рассмотрите ограничения точности, связанные с числами с плавающей запятой. Если необходимо использовать данные с плавающей точкой, задайте допуск для верификации. Для примера вместо verify(x == 5), проверьте x в пределах допуска 0,001: 

    verify(abs(x-5) < 0.001)
    Для получения дополнительной информации см. Раздел Чисел с плавающей запятой»

См. также

Темы

Введенный в R2016a

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

Поддержка

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