Оценки и критерии
Функциональное тестирование включает поведение симуляции оценки и сравнение данных моделирования к ожидаемым результатам. Можно оценить поведение симуляции:
Используя временные и логические оценки в тесте.
Включая
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 | Сигнал пандуса для генерации тестового сигнала |
| heaviside | Heaviside продвигаются тестовый сигнал |
| latch | Сохраните значение выражения |
Темы
Оцените симуляцию и сравните выходные данные
Обзор вариантов использования и методы для оценки поведения симуляции и сравнения симуляции выход к ожидаемому выходу, включая сравнение сигнала, пользовательские критерии, verify операторы и оценки во время выполнения в модели.
Оцените временную логику при помощи временных оценок
Используйте временные оценки, чтобы оценить синхронизацию модели и проверить временную логику сигнала в Системе Под Тестом.
Логический и временный синтаксис оценки
Узнайте о типах логических и временных оценок и их синтаксиса.
Оцените Симуляцию модели Используя, проверяют Операторы
Соедините Тестовые блоки Оценки со своей моделью, автор проверяют операторы и проверяют несколько условий в том же временном шаге.
Проверьте несколько условий за один раз
Включая несколько verify операторы на одном тестовом шаге с помощью if операторы.
Протестируйте синтаксис последовательности и оценки
Операторы и выражения используются в Test Sequence и блоках Test Assessment и графиках Stateflow®.
Доступ к данным модели с помощью беспроводных технологий при помощи наблюдателей
С помощью беспроводных технологий сигнал доступа и информация о данных.
Установите погрешности сигнала
Задайте значение и допуски времени к базовым и эквивалентным критериям.
