Верификация модели часто требует, чтобы повторенное тестирование достигло определенных целей или критериев покрытия. Если при запуске повторенные тесты, рассматриваете использование менеджера по Тесту в Simulink® Test™, чтобы структурировать ваши тесты, архивные результаты испытаний, и сгенерировать отчеты. Можно сгенерировать тесты с помощью Simulink Design Verifier™ и экспортировать тестовые воздействия в новые тесты, автоматически созданные в менеджере по Simulink Test.
Экспорт сгенерированных входных параметров к новым тестам в Simulink Test следует за этим рабочим процессом.
Выберите существующий файл результатов Simulink Design Verifier или сгенерируйте новые результаты путем анализа модели.
Если вы используете существующий файл результатов, можно загрузить результаты также:
Используя команду Simulink Test sltest.import.sldvData
(Simulink Test).
Используя Load Earlier Results во вкладке Design Verifier. Выберите MAT-file с результатами анализа.
Если при запуске анализ модели, окно Design Verifier Results Summary появляется после того, как анализ завершается.
В окне сводных данных результатов нажмите Export test cases to Simulink Test.
Выберите существующую тестовую обвязку или создайте тестовую обвязку.
Simulink Test генерирует тестовый файл и тестовую обвязку. В менеджере по Тесту расширьте новый тестовый файл в Test Browser, чтобы видеть отдельные тесты.
В этом примере показано, как сгенерировать тесты, чтобы достигнуть целей покрытия для подсистемы контроллера. Это также показывает, как добавить случаи функционального тестирования из тестовых обвязок в модели. Пример требует лицензии Simulink Test.
Модель является heatpump системой с обратной связью. Контроллер принимает измеренную комнатную температуру и входные параметры установленной температуры. Контроллеры выход шина трех сигналов, управляющих вентилятором, тепловым насосом и направлением теплового насоса (нагреваются или холодный). Модель содержит обвязку, которая тестирует нагревание и охлаждение сценариев.
Откройте модель.
open_system(fullfile(docroot,'toolbox','sltest','examples',... 'sltestTestCaseFromDVExample.slx'));
Установите текущую рабочую папку на перезаписываемую папку.
В модели сгенерируйте тесты для Подсистемы контроллера. Щелкните правой кнопкой по блоку Controller и выберите Design Verifier> Generate Tests for Subsystem.
В окне Results Summary нажмите Export test cases to Simulink Test.
В диалоговом окне Harness Selection выберите New Harness
. Нажмите OK.
Менеджер по Тесту отображает шесть новых тестов в тестовом файле.
Кликните по значку обвязки, чтобы предварительно просмотреть новую тестовую обвязку.
Добавьте тест в другую тестовую обвязку в модели. В менеджере по Тесту наведите на новый тестовый файл, называют и нажимают кнопку Synchronize Test File.
Менеджер по Тесту предлагает вам добавлять тесты для тестовой обвязки Requirement2. Выберите Simulation
для тестового типа, и нажимают Update Test File.
Менеджер по Тесту добавляет тест Requirement2 в тестовый файл.
sltest.import.sldvData
(Simulink Test)