Оценки и критерии

Логическая и временная верификация, сравнение данных, специализировала обработку результатов

Функциональное тестирование включает поведение симуляции оценки и сравнение данных моделирования к ожидаемым результатам. Можно оценить поведение симуляции:

  • Используя временные и логические оценки в тесте.

  • Включая verify операторы и другие операторы в блоке Test Assessment или Test Sequence.

  • Используя блоки из библиотеки Model Verification.

Можно оценить данные моделирования:

  • Используя значение или допуски времени при сравнении данных моделирования с базовыми данными.

  • Используя пользовательский скрипт критериев, чтобы обработать данные моделирования.

Для обзора различных методов верификации смотрите, Оценивают Симуляцию и Сравнивают Выходные данные.

Блоки

Observer ReferenceСоздайте и содержите модель Observer
Observer PortС помощью беспроводных технологий соедините сигналы использовать с верификацией
Test AssessmentОцените сценарии тестирования симуляции, вызовы функции и оценки
Sequence ViewerОтобразите сообщения, события, состояния, переходы и функции между блоками в процессе моделирования
AssertionПроверяйте, является ли сигнал нулем

Инструменты

Test ManagerМодель и тестирование кода в различных средах выполнения, управляйте тестовыми наборами, и анализируйте и сообщите о результатах

Протестируйте операторы синтаксиса последовательности

verifyОцените логическое выражение
assertВыполните логическое выражение
etПрошедшее время тестового шага
tПрошедшее время симуляции
afterПрошедшее время с начала тестового шага
beforeПрошедшее время до требуемого времени на тестовом шаге
durationПрошедшее время с начала тестового шага
hasChangedОбнаружьте изменение данных на тестовом шаге
hasChangedFromОбнаружьте изменение данных от заданного значения на тестовом шаге
hasChangedToОбнаружьте изменение данных в заданном значении на тестовом шаге
squareТестовый сигнал прямоугольной волны
sawtoothПилообразный тестовый сигнал волны
triangleТреугольный тестовый сигнал волны
rampСигнал пандуса для генерации тестового сигнала
heavisideHeaviside продвигаются тестовый сигнал
latchСохраните значение выражения

Темы

Оцените симуляцию и сравните выходные данные

Обзор вариантов использования и методы для оценки поведения симуляции и сравнения симуляции выход к ожидаемому выходу, включая сравнение сигнала, пользовательские критерии, verify операторы и оценки во время выполнения в модели.

Оцените временную логику при помощи временных оценок

Используйте временные оценки, чтобы оценить синхронизацию модели и проверить временную логику сигнала в Системе Под Тестом.

Логический и временный синтаксис оценки

Узнайте о типах логических и временных оценок и их синтаксиса.

Оцените Симуляцию модели Используя, проверяют Операторы

Соедините Тестовые блоки Оценки со своей моделью, автор проверяют операторы и проверяют несколько условий в том же временном шаге.

Проверьте несколько условий за один раз

Включая несколько verify операторы на одном тестовом шаге с помощью if операторы.

Протестируйте синтаксис последовательности и оценки

Операторы и выражения используются в Test Sequence и блоках Test Assessment и графиках Stateflow®.

Доступ к данным модели с помощью беспроводных технологий при помощи наблюдателей

С помощью беспроводных технологий сигнал доступа и информация о данных.

Установите погрешности сигнала

Задайте значение и допуски времени к базовым и эквивалентным критериям.

Рекомендуемые примеры

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