Этот пример показывает, как сгенерировать контрольный пример для блока Model, который моделирует контроллер окна со степенью в Verifier™ Simulink ® Design.
Модель верхнего уровня представляет систему верификации окна со степенью. Модель содержит модель-ссылку, которая представляет модели контроллеров окна со степенью и которая определяет поведение контроллера и смоделированные требования.
Чтобы открыть модель системы верификации верхнего уровня, введите:
open_system('sldvdemo_powerwindow_vs');
Модель-ссылка указывает на модель sldvdemo_powerwindowController, который реагирует на команды драйвера и пассажира, давая команды для перемещения окна вверх или вниз. Модель также реагирует, сталкивается ли окно с препятствием или достигает конца системы координат в любом направлении.
Задайте опции анализа для генерации теста:
1. На вкладке Design Verifier смените режим на Тест Generation.
2. Щелкните Настройки Генерации тестов.
3. На Генерацию тестов панели в диалоговом окне Параметров конфигурации задайте Покрытие модели цели MCDC.
4. Нажмите кнопку ОК.
Выполните генерацию теста на блоке Model:
1. Щелкните правой кнопкой мыши блок Model и выберите Design Verifier > Generate Tests for Referenced Model. Кроме того, на панели Design Verifier, в разделе Analyze, нажмите кнопку unpin, затем выберите блок Model. Затем щелкните Сгенерировать тесты.
2. Simulink Design Verifier генерирует тесты для блока Model. Окно Результаты (Results) показывает, что генерация тестов завершена нормально.
3. Чтобы получить доступ к деатинированному отчету анализа, щелкните HTML в окне Результаты. Отчет об анализе показывает, что 170 целей выполнены, а восемь из 178 обработанных целей являются неосуществимыми.
Чтобы завершить пример, закройте открытую модель.
close_system('sldvdemo_powerwindow_vs',0);