Функциональное тестирование требует оценки поведения моделирования и сравнения результатов моделирования с ожидаемыми результатами. Например, можно:
Анализ поведения сигнала в интервале времени после события.
Сравнение двух переменных во время моделирования.
Сравнение данных временных рядов с базовой структурой.
Найдите пики в данных временных рядов и сравните пики с шаблоном.
В этом разделе представлен обзор, помогающий создавать оценки для конкретного приложения. В разделе можно найти ссылки на более подробные примеры каждой оценки.
Оценки можно включить в тестовый случай, модель или тестовый жгут.
В тестовом случае можно:
Сравнение выходных данных моделирования с базовыми данными.
Сравните выходные данные двух моделей.
Выходные данные постпроцессного моделирования с использованием пользовательского сценария.
Оценка временных свойств с использованием логических и временных оценок.
В тестовом кабельном жгуте или модели можно выполнить следующие действия.
Проверка логических условий во время выполнения с помощью verify оператор, который возвращает pass, fail, или untested результат для каждого временного шага.
Использовать assert для остановки моделирования при сбое.
Используйте блоки из библиотеки проверки модели или Simulink ® Design Verifier™.
Критерии базовой линии - это допуски для данных моделирования по сравнению с данными базовой линии. Критериями эквивалентности являются допуски для двух наборов данных моделирования, каждый из которых относится к разным моделям. Можно задать допуски для числовых, перечисляемых или логических данных.
Задание числового допуска с использованием абсолютных или относительных допусков. Задайте допуски по времени, используя начальные и запаздывающие допуски. Для числовых данных можно задать абсолютный допуск, относительный допуск, ведущий допуск или допуск задержки. Для перечисляемых или логических данных можно задать допуск опережения или запаздывания. Результаты за пределами допусков терпят неудачу. Дополнительные сведения см. в разделе Установка допусков сигнала.
Укажите данные опорной структуры и допуски в разделе «Критерии опорной структуры диспетчера испытаний» или «Критерии эквивалентности». Результаты отображаются на панели «Результаты и артефакты». На графике сравнения отображаются данные и различия.
На этом рисунке показан пример критериев базовой линии. Критерии базовой линии устанавливают относительный допуск для сигналов output torque и vehicle speed.
Можно анализировать данные моделирования с помощью специализированных функций с помощью пользовательского сценария критериев. Например, можно найти пики во временных интервалах с помощью функций Toolbox™ фитинга кривой. Сценарий пользовательских критериев - это код MATLAB ®, который запускается после моделирования. Сценарии пользовательских критериев используют структуру тестирования единиц MATLAB .
Запишите сценарий настраиваемых критериев в раздел «Настраиваемые критерии диспетчера тестов» тестового случая. Результаты настраиваемых критериев отображаются на панели Результаты и артефакты. Результаты показаны для отдельных квалификаций модульных тестов MATLAB. Дополнительные сведения см. в разделе Обработка результатов тестирования с помощью пользовательских сценариев.
Этот простой тестовый случай настраиваемых критериев проверяет, что значение slope больше 0.
% A simple custom criteria test.verifyGreaterThan(slope,0,'slope must be greater than 0')
verify ЗаявленияДля общих оценок времени выполнения используйте verify заявления. A verify оператор вычисляет логическое выражение и возвращает результат прохождения, неуспешного завершения или непроверенного результата для каждого временного шага моделирования. verify операторы могут включать временной и условный синтаксис. Сбой не останавливает моделирование.
Войти verify операторы в блоке «Оценка теста» или «Последовательность теста» с помощью редактора последовательностей тестов. Вы можете использовать verify операторы с тестовым случаем или без него в диспетчере тестов. Без тестового случая результаты отображаются в инспекторе данных моделирования. В тестовом случае результаты отображаются в диспетчере тестов.
Для получения информации об использовании verify инструкции в модели см. в разделе Оценка моделирования модели с использованием проверочных инструкций.
assert ЗаявленияВы можете использовать assert операторы в блоке «Оценка теста» или «Последовательность теста» для прекращения выполнения недопустимого теста. assert вычисляет логический аргумент, но в отличие от verify, assert останавливает моделирование. Ошибки отображаются как ошибки моделирования. Чтобы облегчить интерпретацию результатов, добавьте дополнительное сообщение.
Например, если тестируемый компонент выдает два сигнала h и k, и тест требует h и k для инициализации в 0, использовать assert для прекращения теста, если сигналы не инициализируются. Это assert оператор возвращает сообщение 'Signals must initialize to 0' если логическое условие h == 0 && k == 0 не удается.
Если вы используете тестовый пример в реальном времени или хотите повторно использовать тестовый пример моделирования рабочего стола для целевого объекта в реальном времени, используйте verify заявления. verify операторы встроены в приложение реального времени и выполняются на целевом устройстве реального времени. См. раздел Оценка моделирования модели с использованием операторов проверки.
Используйте блоки из библиотеки проверки модели Simulink или библиотеки Simulink Design Verifier для оценки сигналов в модели или тестовом жгуте. pass, fail, или untested результаты каждого блока отображаются в Диспетчере тестирования. Дополнительные сведения см. в разделе Анализ результатов проверки модели с помощью инспектора данных моделирования.
Примечание
Все блоки библиотеки проверки модели, включая блок проверки, не дают результатов проверки при использовании в подсистемах Для каждого. Использовать блок тестовой последовательности с verify вместо этого высказывания.
В этом примере испытательный жгут включает в себя:
A verify оператор в блоке оценки тестирования, проверяющий, что signalC >= 5.
Блок утверждения, проверяющий, что throttle >= 0.
Логические и временные оценки оценивают временные свойства, такие как время модели и порядок событий по записанным данным. Используйте временные оценки для дополнительной проверки системы после завершения моделирования. Временные оценки связаны с тестовыми случаями в диспетчере тестов. Создание временных оценок с помощью редактора логических и временных оценок. Дополнительные сведения см. в разделе Оценка временной логики с помощью временных оценок.
Результаты оценки временной оценки отображаются на панели Результаты и артефакты. Используйте дерево выражений для подробного исследования результатов. При наличии лицензии Simulink Requirements™ можно установить прослеживаемость между требованиями и временными оценками путем создания связей требований. Дополнительные сведения см. в разделе Ссылка на требования.