exponenta event banner

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

Test™ Simulink ® можно использовать для разработки, управления и выполнения тестов моделей Simulink и созданного кода. Диспетчер тестов предоставляет интерактивный способ создания тестов с нуля, импорта существующих тестовых данных и моделей кабельных трасс, а также организации тестов. Тестовые примеры можно запускать по отдельности, пакетно или в виде отфильтрованного подмножества тестового файла, а также управлять параметрами и выполнять итерацию значений параметров. Для выполнения тестов используются следующие режимы: модель, программное обеспечение в контуре (SIL), процессор в контуре (PIL) и аппаратное обеспечение в контуре (HIL). Для выполнения тестов HIL на целевом компьютере должен быть установлен Real-Time™ Simulink. В нескольких версиях MATLAB ® можно также выполнять одни и те же тесты.

Результаты включают краткую сводку по проходам/ошибкам для элементов в иерархии тестирования, включая итерации, тестовые примеры, наборы тестов и тестовый файл. Инструменты визуализации помогают детализировать отдельные наборы данных для определения, например, времени и причины определенного сбоя. Результаты программы Simulink Coverage™ помочь определить степень тестирования модели или кода.

Например, можно:

  • Сравните результаты между моделью и сгенерированным кодом, выполнив обратные тесты эквивалентности между различными средами, такими как моделирование модели, SIL, PIL и выполнение HIL. Покрытие не поддерживается для блоков SIL или PIL.

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

  • Запустите тестирование на уровне блока с использованием тестовых жгутов и повторно используйте эти тесты при масштабировании до уровня интеграции и системы.

  • Выполнение моделей, содержащих тестовые векторы и оценки внутри блок-схемы Simulink.

Simulink Test включает в себя комплексный программный интерфейс для написания тестовых сценариев, а тесты Simulink могут быть интегрированы с тестами MATLAB с помощью MATLAB Unit Test.

Разработка тестов

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

  • Графически, например, с помощью редактора сигналов

  • Из наборов данных, таких как файлы Excel ® или MAT

  • Как последовательность шагов тестирования, которая выполняется в соответствии со временем или логическими условиями

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

  • Со структурированным языком оценки. Структурированный язык помогает оценить сложное поведение во времени, например, два события, которые должны произойти в течение определенного периода времени. Она также помогает выявлять конфликты между требованиями.

  • С verify операторы в блоке «Оценка теста» или «Последовательность теста». Сведения о настройке блоков в модели см. в разделе Оценка моделирования модели с помощью операторов проверки.

  • С блоками в библиотеке блоков проверки модели.

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

  • С пользовательским сценарием критериев, созданным с помощью MATLAB.

Можно использовать существующие тестовые данные и тестовые модели с Simulink Test. Например, если у вас есть данные полевого тестирования, вы можете протестировать модель или код, сопоставив данные с тестовым случаем. Если существуют тестовые модели, использующие блоки проверки модели, можно организовать эти тесты и управлять результатами в диспетчере тестов.

Генерация тестов

С помощью Simulink Design Verifier™ можно создавать тестовые примеры, достигающие целей тестирования или увеличивающие охват модели или кода. Тестовые примеры можно генерировать в Диспетчере тестов или в интерфейсе Simulink Design Verifier. В любом случае созданные тестовые примеры можно включить в исходные тесты, чтобы создать тестовый файл, обеспечивающий полный охват. Можно также связать новые тестовые примеры с дополнительными требованиями.

Выполнение теста

Управлять режимами выполнения тестов можно с помощью диспетчера тестов. Например, можно:

  • Выполните тесты в нескольких версиях MATLAB. Тестирование нескольких версий позволяет использовать последние тестовые данные при выполнении модели в ее производственной версии.

  • Выполните обратные тесты для проверки созданного кода. Можно выполнить один и тот же тест в режиме модели, SIL и PIL и сравнить числовые результаты, чтобы продемонстрировать эквивалентность модели кода.

  • Запустите тесты HIL для проверки систем, работающих на оборудовании реального времени, используя Simulink Real-Time, включая verify операторы в модели, которые помогают определить, выполняются ли функциональные требования.

  • Время теста на уменьшение, запуская тесты в параллели, используя Параллель, Вычисляя Toolbox™ или Параллель MATLAB Server™, или управляя фильтрованным подмножеством Вашего всего испытательного файла.

Сообщение

При создании отчета о результатах тестирования можно задать свойства отчета, соответствующие условиям среды разработки. Например, отчеты могут зависеть от того, прошли ли тесты или не прошли, а отчеты могут включать графики данных, результаты покрытия и требования, связанные с тестовыми случаями. Можно создавать и хранить пользовательские фигуры MATLAB, которые визуализируются с помощью отчета. Параметры отчетов сохраняются в тестовом файле, поэтому они запускаются каждый раз при выполнении теста.

Лицензия MATLAB Report Generator™ добавляет дополнительные параметры настройки, включая:

  • Создание отчетов из шаблона Microsoft ® Word или PDF

  • Сборка отчетов с использованием пользовательских объектов, агрегирующих отдельные результаты

Связанные темы