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

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

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

Для примера можно:

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

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

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

  • Запустите модели, которые содержат тестовые векторы и оценки внутри Диаграммы Simulink.

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

Авторские тесты

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

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

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

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

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

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

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

  • С блоками в библиотеке блоков Верификация модели.

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

  • С помощью пользовательского скрипта критериев, который вы создаете используя MATLAB.

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

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

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

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

Можно управлять выполнение теста режимами из Диспетчера тестов. Для примера можно:

  • Запустите тесты в нескольких релизах MATLAB. Многоуровневая проверка позволяет вам использовать последние тестовые данные во время выполнения модели в ее производственной версии.

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

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

  • Уменьшите время тестирования путем параллельного выполнения тестов с помощью Parallel Computing Toolbox™ или MATLAB Parallel Server™ или выполнения фильтрованного подмножества всего тестового файла.

Сообщение

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

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

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

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

Похожие темы