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