В этом примере показано, как создать тестовый пример для блока Model, моделирующего контроллер окна питания в Simulink ® Design Verifier™.
Модель верхнего уровня представляет собой систему проверки окна питания. Модель содержит ссылку на модель, которая представляет модель контроллера окна питания и определяет поведение контроллера и моделируемые требования.
Для открытия модели системы проверки верхнего уровня введите:
open_system('sldvdemo_powerwindow_vs');
Опорная точка модели указывает на модель sldvdemo_powerwindowController, которая реагирует на команды водителя и пассажира, давая команды для перемещения окна вверх или вниз. Модель также реагирует, если окно сталкивается с препятствием или достигает конца оконной рамы в любом направлении.
Укажите опции анализа для создания тестового случая:
1. На вкладке Design Verifier измените режим на Test Case Generation.
2. Нажмите кнопку Test Generation Settings (Параметры создания тестов).
3. На панели «Test Generation» в диалоговом окне «Configuration Parameters» задайте для параметра «Model coverage targets» значение MCDC.
4. Нажмите кнопку ОК.
Создайте тестовый пример для блока Model:
1. Щелкните правой кнопкой мыши блок «Модель» и выберите «Design Verifier» > «Generate Tests for Referenced Model». Либо на панели «Проверка проекта» в разделе «Анализ» нажмите кнопку «Открепить» и выберите блок «Модель». Затем нажмите кнопку Generate Tests (Генерировать тесты).
2. Simulink Design Verifier генерирует тестовые примеры для блока «Модель». В окне Results (Результаты) показано, что создание теста завершено нормально.
3. Чтобы получить доступ к подробному отчету анализа, щелкните HTML в окне Результаты. Аналитический доклад показывает, что 170 целей выполнены, а восемь из 178 обработанных целей являются неудовлетворительными.
Чтобы завершить пример, закройте открытую модель.
close_system('sldvdemo_powerwindow_vs',0);