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