verify ЗаявленияМожно проверить моделирование модели, включив блок оценки тестирования в модель или тестовый электрический жгут, а также разработав verify в блоке Оценка теста. verify операторы возвращаются pass, fail, или untested результаты для общего моделирования и отдельных временных шагов. Результаты отображаются в диспетчере тестов.
verify Инструкции в блоке оценки тестированияОценка теста содержит When последовательность разложения. When последовательность декомпозиции помогает четко определить условие моделирования, которое активирует каждое verify заявление:
Если в модели используется источник блоков тестовой последовательности, рекомендуется активировать каждый verify с использованием активного шага блока тестовой последовательности.
Если модель не использует источник блоков тестовой последовательности или шаги тестовой последовательности не соответствуют условиям для проверки, активируйте каждый verify оператор, использующий условие сигнала.
verify Операторы с шагами тестовой последовательностиПодключите блок «Test Sequence» и «Test Assessment» к сигналу активного шага из блока «Test Sequence». Активировать каждый verify оператор с активным шагом.
Например, этот тестовый жгут содержит блок «Тестовая последовательность» и «Оценка теста». Блоки соединены с помощью Active_Step сигнал.
Блок оценки тестирования содержит when последовательность разложения с четырьмя подшаблонами. Каждый из них содержит verify и активируется с помощью другого шага блока тестовой последовательности. Else шаг не имеет действий и обрабатывает условия моделирования вне предшествующего when условия. Принятый синтаксис для такого шага: Else.
Для активации инструкций verify в тестовой оценке с активными шагами в блоках тестовой последовательности:
Создание активного вывода данных шага для блока тестовой последовательности:
Выберите блок тестовой последовательности.
Создайте новый вывод перечисляемых данных. В Инспекторе свойств выберите «Создать данные» для отслеживания активного шага.
Назовите перечисление.
Создайте ввод данных для блока оценки тестирования:
Откройте блок оценки тестирования.
На боковой панели «Символы» рядом с полем «Ввод» щелкните значок «Добавить данные».
Назовите входные данные.
На блок-схеме подключите выход блока тестовой последовательности к входу блока тестовой оценки.
Создать When последовательность декомпозиции в блоке оценки тестирования.
Блок оценки тестирования конфигурируется по умолчанию с помощью When последовательность разложения. Изменение между стандартной последовательностью и When последовательность декомпозиции, щелкните правой кнопкой мыши родительский шаг и выберите «При декомпозиции».
Для каждого When , определите, когда шаг активен, используя данные перечисления активного шага. Например:
VerifyBoth when TSActiveStepIN == TSActiveStepEnum.PressBothButtons
Добавить verify заявления для каждого шага оценки.
verify Операторы с условиями сигналаЕсли модель не использует источник блока тестовой последовательности или если шаги тестовой последовательности не соответствуют условиям для проверки, используйте уникальные условия сигнала для активации verify заявления. Место verify операторы в When последовательность декомпозиции и использовать условные операторы в When условия.
Например, этот тестовый электрический жгут использует вход блока редактора сигналов.
Блок оценки тестирования содержит When последовательность разложения. Каждый подэтап содержит verify заявление. Уникальное условие сигнала активирует каждый подэтап.
verify Заявленияverify операторы вычисляют логические выражения. Результаты можно пометить в диспетчере тестов дополнительными аргументами.
A verify оператор возвращает pass, fail, или untested результат для каждого временного шага и для общего моделирования. A fail в любой момент времени шаг приводит к общему fail. Если нет неудачных результатов, pass в любой момент времени шаг приводит к общему pass. В противном случае общий результат будет untested. Результаты отображаются в разделе Проверочные инструкции результатов теста. Для получения подробной информации о verify синтаксис и рекомендации по его использованию см. на справочной странице проверки.
При этом сравнении двух значений родительский шаг использует verify операторы для оценки двух локальных переменных x и y во время моделирования.
verify(x >= y) проходит в целом, потому что это верно для всей тестовой последовательности.
verify(x == y) и verify(x ~= y) сбой из-за сбоя в step_1_2 и step_1_1соответственно.
Менеджер тестов отображает результаты:
Оценка испытаний | Последовательность испытаний | Редактор тестовых последовательностей | проверить