В этом примере показано, как исключить объект модели из анализа Simulink ® Design Verifier™ с помощью файла фильтра покрытия. После выполнения анализа можно выполнить выравнивание целей с помощью средства просмотра фильтров анализа, обновить файл фильтра и просмотреть результаты анализа.
Пример модели sldvexFilterObjectives - модель контроллера, которая работает в соответствии с алгоритмом контроллера, описанным в разделе Обнаружение конструктивных ошибок в модели контроллера.
open_system('sldvexControllerFilterObjectives');
Модель предварительно сконфигурирована с параметром Игнорировать цели (Ignore targets) на основе опции фильтра, которая имеет значение On и файл фильтра покрытия, указанный sldvexControllerFilterObjectives_filter.cvf. Файл фильтра покрытия состоит из правила, исключающего блок Abs из анализа. Дополнительные сведения о файле фильтра покрытия см. в разделе Создание и использование фильтров покрытия (Simulink Coverage).
На вкладке Приложения (Apps) в разделе Проверка модели (Model Verification), Проверка (Validation) и Тест (Test) щелкните Проверка конструкции (Design Verifier). Затем нажмите кнопку «Обнаружить ошибки проекта». После завершения анализа окно Сводка результатов (Results Summary) сообщает, что 5 были обработаны цели, из которых: 3 были действительны и 2 были сфальсифицированы. Сводка показывает, что 1 цель была исключена из анализа.
В окне Сводка результатов (Results Summary) щелкните Открыть средство просмотра фильтров (Open filter viewer). Откроется средство просмотра фильтров анализа, отображающее имя, тип и обоснование для исключенных целей, указанных в файле фильтра покрытия.
(a) В окне Сводка результатов (Results Summary) щелкните Выделить результаты анализа в модели (Highlight analysis results on model). Модель подсвечивается результатами анализа. Исключенные объекты модели подсвечиваются стальным синим цветом, а объекты модели, приводящие к ошибкам, подсвечиваются красным цветом.
(b) Чтобы просмотреть исключенные цели, щелкните блок Abs и выберите «Вид». Откроется средство просмотра фильтров анализа.
(c) Щелкните на блоке «Разделить». В окне Инспектор результатов (Results Inspector) отображается сводка целей.
(d) Чтобы обосновать деление по нулевой цели, нажмите кнопку «Оправдать». Средство просмотра фильтров анализа обновляется правилом, которое оправдывает эту цель. Дополнительно можно обновить режим или обоснование для целей.
В окне просмотра фильтров анализа щелкните Применить (Apply). Модель подсвечивается обновленным фильтром. Блок «Разделить» выделен зеленым цветом, поскольку все цели блока действительны.
Чтобы сохранить обновленный файл фильтра, в средстве просмотра фильтров анализа щелкните Сохранить фильтр (Save Filter), введите имя файла и нажмите кнопку ОК.
Примечание.После применения фильтра подсветка объектов модели выглядит следующим образом:
Если все цели блока исключены или обоснованы, он выделяется стальным синим цветом.
Если блок имеет допустимые и исключенные или оправданные цели, он подсвечивается зеленым цветом.
Если блок сфальсифицирован и исключен или оправдан, он выделяется красным цветом.
Для получения подробного отчета об анализе в окне Сводка результатов (Results Summary) щелкните HTML или PDF. В главе «Состояние целей обнаружения ошибок проектирования» сообщается об исключенных и оправданных целях вместе с допустимыми и сфальсифицированными целями.
