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

Обзор

Функциональное тестирование требует поведения симуляции оценки и сравнения симуляции вывод к ожидаемому выводу. Например, вы можете:

Анализируйте поведение сигнала во временном интервале после события.
Сравните две переменные во время симуляции.
Сравните данные о timeseries с базовой линией.
Найдите peaks в данных о timeseries и сравните peaks с шаблоном.

Эта тема предоставляет обзор, чтобы помочь вам создать оценки для своего конкретного приложения. В теме можно найти ссылки на более подробные примеры каждой оценки.

Можно включать оценки в тест, модель или тестовую обвязку.

В тесте вы можете:
- Сравните симуляцию вывод с базовыми данными.
- Сравните вывод двух симуляций.
- Постобработайте симуляцию вывод с помощью пользовательского скрипта.
В тестовой обвязке или модели, вы можете:
- Проверьте логические условия во времени выполнения с помощью оператора verify, который возвращает pass, fail или результат untested для каждого временного шага.
- Используйте операторы assert, чтобы остановить симуляцию на отказе.
- Используйте блоки от библиотеки Simulink^® Design Verifier™ или Model Verification.

Сравните данные моделирования с базовыми данными или другой симуляцией

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

Установите числовой допуск с помощью абсолютных или относительных допусков. Установите использование допусков времени ведущие и отстающие допуски. Для числовых данных можно задать абсолютный допуск, относительный допуск, ведущий допуск или отстающий допуск. Для перечислимых или логических данных можно задать продвижение или отставание допуска. Результаты вне сбоя допусков. Для получения дополнительной информации смотрите Допуски Сигнала Набора.

Задайте базовые данные и допуски в разделе Test Manager Baseline Criteria или Equivalence Criteria. Результаты появляются в панели Results and Artifacts. График сравнения отображает данные и различия.

Эта диаграмма показы пример базовых критериев. Базовые критерии устанавливают относительный допуск к сигналам output torque и vehicle speed.

Постобработайте результаты с пользовательским скриптом

Можно анализировать данные моделирования с помощью специализированных функций при помощи пользовательского скрипта критериев. Например, вы могли найти peaks в данных о timeseries с помощью функций Curve Fitting Toolbox™. Пользовательский скрипт критериев является кодом MATLAB^®, который выполняется после симуляции. Пользовательские скрипты критериев используют среду Модульного теста MATLAB.

Напишите пользовательский скрипт критериев в разделе Test Manager Custom Criteria теста. Пользовательские результаты критериев появляются в панели Results and Artifacts. Результаты показывают для отдельных проверок Модульного теста MATLAB. Для получения дополнительной информации смотрите Результаты испытаний Процесса с Пользовательскими Скриптами.

Пользовательские критерии этого простого теста проверяют, что значение slope больше, чем 0.

% A simple custom criteria
test.verifyGreaterThan(slope,0,'slope must be greater than 0')

Оценки во время выполнения

Операторы `verify`

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

Введите операторы verify в блок Test Assessment или Test Sequence, с помощью Тестового Редактора Последовательности. Можно использовать операторы verify с или без теста в менеджере по Тесту. Без теста результаты появляются в Инспекторе Данных моделирования. С тестом результаты появляются в менеджере по Тесту.

Для получения информации об использовании операторов verify в вашей модели смотрите, Оценивают Симуляцию модели Используя, проверяют Операторы.

Операторы `assert`

Можно использовать операторы assert в блоке Test Assessment или Test Sequence, чтобы прекратить выполнять недопустимый тест. assert оценивает логический аргумент, но различающийся verify, симуляцию остановок assert. Отказы появляются как ошибки симуляции. Чтобы сделать результаты легче интерпретировать, добавьте дополнительное сообщение.

Например, если компонент под тестом выходные параметры два сигнала, которые h и k и тест требуют, чтобы h и k инициализировали к 0, использует assert, чтобы остановить тест, если сигналы не инициализируют. Этот оператор assert возвращает сообщение 'Signals must initialize to 0', если логическое условие h == 0 && k == 0 перестало работать.

Оценки для тестирования в реальном времени

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

Блоки Model Verification

Используйте блоки от библиотеки Simulink Model Verification или библиотеки Simulink Design Verifier, чтобы оценить сигналы в вашей модели или тестовой обвязке. pass, fail или результаты untested каждого блока появляются в менеджере по Тесту. Для получения дополнительной информации, вид на море Графические Результаты Библиотеки Model Verification.

Примеры оценок во время выполнения

Эта тестовая обвязка в качестве примера включает:

Оператор verify в блоке Test Assessment, проверяя тот signalC >= 5.
Блок Assertion, проверяющий тот throttle >= 0.

Документация