Функциональное тестирование на верификацию

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

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

Например, вы можете:

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

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

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

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

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

Тестовая авторская разработка

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

  • Графически, такой как с Редактором Сигнала

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

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

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

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

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

  • С блоками в библиотеке блоков Model Verification.

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

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

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

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

Используя 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

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

Похожие темы