verify
Оцените логическое выражение и автоматически регистрируйте результат
Синтаксис
Описание
verify( оценивает скалярный логический expression)expression к true или false.
verify( возвращает заданное сообщение об ошибке для не пройдено expression,errorMessage)verify оператор. Если при запуске тест в менеджере по Тесту, сообщение об ошибке появляется в журнале симуляции. Если при запуске тест вне менеджера по Тесту, сообщение появляется в Диагностическом Средстве просмотра. Чтобы отформатировать сообщение об ошибке, можно использовать любого sprintf формат, кроме строк и char в Stateflow® графики.
verify( использует expression,identifier,errorMessage)identifier как метка для результатов испытаний. identifier используется в качестве метки сигнала в менеджере по Тесту. Если при запуске тест вне менеджера по Тесту, метка появляется в Инспекторе Данных моделирования или, для отказа, в Диагностическом Средстве просмотра. Идентификатор является строкой, которая имеет по крайней мере два разделенного от двоеточия MATLAB® идентификаторы.
Примеры
Проверьте логическое выражение
verify(x > y && z > 10)
Задайте текст сообщения об ошибке для verify Результат
Если этот verify сбои оператора, это возвращает сообщение об ошибке, которое перечисляет значения xY, и z.
verify(x > y && z > 10,'x, y, and z are %d,%d,%d',x,y,z)
Задайте метку для verify Результат
Результат этого verify оператор снабжен предисловием меткой, TestReq1:bothGreater и, если тест перестал работать, сообщение об ошибке.
verify(x > y && z > 10,'TestReq1:bothGreater',... 'x, y, and z are %d,%d,%d',x,y,z)
Используя проверяют в диаграмме Stateflow
Второй шаг в состоянии Scenario1 этой диаграммы Stateflow проверяет, что цель равняется 60.
Советы
Можно использовать
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
Если вы используете параллельное выполнение теста, чтобы запустить ваши тесты, то вы не можете использовать кнопку Highlight in Model для в менеджере по Тесту к
verifyрезультаты.Вы не можете использовать
verifyкак условие сразу послеwhenв, Когда разложение, потому чтоverifyоператоры не производят выход. Можно, однако, использоватьverifyоператоры как действия в том, Когда разложение продвигается. Смотрите Оценивают Модель при помощи Когда Разложение.При сравнении данных с плавающей точкой в
verifyоператоры, считайте ограничения точности сопоставленными с числами с плавающей запятой. Если необходимо использовать данные с плавающей точкой, задайте допуск к верификации. Например, вместоverify(x == 5), проверьтеxв допуске 0,001:Для получения дополнительной информации смотрите Числа с плавающей запятой.verify(abs(x-5) < 0.001)