В этом примере показано, как исключить объект модели из анализа Simulink® Design Verifier™ при помощи файла фильтра покрытия. После выполнения анализа можно выровнять по ширине цели при помощи Аналитического средства просмотра Фильтра, обновить файл фильтра и рассмотреть результаты анализа.
Модель sldvexFilterObjectives
в качестве примера модели контроллеров, которые действуют согласно алгоритму регулятора, описанному в, Обнаруживают Ошибки проектирования в Моделях контроллеров.
open_system('sldvexControllerFilterObjectives');
Модель предварительно сконфигурирована с Проигнорировать целями на основе набора опции фильтра к On
и покрытие фильтрует файл, заданный sldvexControllerFilterObjectives_filter.cvf
. Файл фильтра покрытия состоит из правила, которое исключает блок Abs из анализа. Для получения дополнительной информации о файле фильтра покрытия смотрите Создание и Используя Фильтры Покрытия (Simulink Coverage).
На вкладке Apps, под верификацией модели, Валидация и Тест, нажимают Design Verifier. Затем нажмите Detect Design Errors. После того, как анализ завершается, окно Results Summary сообщает о том 5
цели были обработаны, из который, 3
были допустимы и 2
были сфальсифицированы. Сводные данные показывают тот 1
цель была исключена из анализа.
На окне Results Summary нажмите средство просмотра фильтра Open. Аналитическое средство просмотра Фильтра открывается, который отображает имя, введите, и объяснение для исключенных целей, заданных в файле фильтра покрытия.
(a) На окне Results Summary нажмите результаты анализа Highlight на модели. Модель подсвечена с результатами анализа. Исключенные объекты модели подсвечены в стальном синем и объектах модели, которые приводят к ошибкам, подсвечены в красном.
(b) Чтобы просмотреть исключенные цели, кликните по блоку Abs и нажмите View. Аналитическое средство просмотра Фильтра открывается.
(c) Click Блок Divide. Окно Results Inspector отображает сводные данные целей.
(d) Чтобы выровнять по ширине цель деления на нуль, нажмите Justify. Аналитическое средство просмотра Фильтра обновляется с правилом, которое выравнивает по ширине эту цель. Опционально, можно обновить Режим или Объяснение для целей.
На Аналитическом средстве просмотра Фильтра нажмите Apply. Модель подсвечена с обновленным фильтром. Блок Divide подсвечен в зеленом, потому что все цели блока допустимы.
Чтобы сохранить обновленный файл фильтра, в Аналитическом средстве просмотра Фильтра, нажимают Save Filter, вводят имя файла и нажимают ОК.
Примечание: После применения фильтра, выделение объектов модели следующие:
Если все цели блока исключены или выровнены по ширине, он подсвечен в стальном синем.
Если блок имеет допустимые и исключенные или выровненные по ширине цели, он подсвечен в зеленом.
Если блок сфальсифицировал и исключил или выровнял по ширине цели, он подсвечен в красном.
Для отчета детального анализа, в окне Results Summary, нажимают HTML или PDF. Глава Состояния Целей Поиска ошибок проектирования сообщает об исключенных и выровненных по ширине целях наряду с допустимыми и сфальсифицированными целями.