Исключить и обосновать цели для поиска ошибок проектирования
В этом примере показано, как исключить объект модели из анализа Verifier™ Simulink ® Design с помощью файла фильтра покрытия. После выполнения анализа можно обосновать цели с помощью средства просмотра фильтров Analysis Filter, обновить файл фильтра и просмотреть результаты анализа.
Шаг 1: Откройте модель
Пример модели sldvexFilterObjectives является моделями контроллеров, которая действует согласно алгоритму регулятора, описанному в Detect Design Errors in Модели Контроллеров.
open_system('sldvexControllerFilterObjectives');
Шаг 2. Исключить объект модели из анализа
Модель предварительно сконфигурирована с целями Ignore на основе опции фильтра, установленной на On и файл фильтра покрытия, заданный sldvexControllerFilterObjectives_filter.cvf. Файл фильтра покрытия состоит из правила, которое исключает блок Abs из анализа. Для получения дополнительной информации о файле фильтра покрытия смотрите Создание и Использование фильтров покрытия (Simulink Coverage).
На вкладке Приложения, в разделе Верификация модели, Валидация и Тест, нажмите Design Verifier. Затем щелкните Обнаружить ошибки проекта (Detect Ошибки Проектирования). После завершения анализа окно Сводных данных результатов сообщает, что 5 были обработаны цели, из которых 3 были действительны и 2 были сфальсифицированы. Эти сводные данные показывают, что 1 цель была исключена из анализа.
Шаг 3: Откройте Analysis Filter Viewer
В окне Сводных данных результатов щелкните Открыть средство просмотра фильтров. Откроется средство просмотра фильтра анализа, в котором отображаются имя, тип и обоснование исключенных целей, заданных в файле фильтра покрытия.
Шаг 4: Обоснование целей
(a) В окне Сводка результатов (Results Summary) щелкните Подсветить результаты анализа на модели. Модель подсвечивается результатами анализа. Исключенные объекты модели подсвечиваются синим цветом, а объекты модели, которые приводят к ошибкам, подсвечиваются красным цветом.
(b) Чтобы просмотреть исключенные цели, нажмите кнопку Abs и выберите View. Откроется средство просмотра фильтра анализа.
(c) Щелкните блок «Разделить». В окне Inspector результатов отображаются сводные данные целей.
(d) Чтобы обосновать деление нулевой целью, нажмите кнопку «Обосновать». Средство просмотра фильтров анализа обновляется правилом, которое обосновывает эту цель. Вы также можете обновить Режим или Обоснование для целей.
Шаг 5: Применить файл фильтра и просмотреть результаты
В средстве просмотра фильтров анализа нажмите «Применить». Модель подсвечивается обновленным фильтром. Блок «Разделить» выделен зеленым цветом, поскольку все цели блока действительны.
Чтобы сохранить обновленный файл фильтра, в средстве просмотра фильтров анализа нажмите кнопку «Сохранить фильтр», введите имя файла и нажмите кнопку «ОК».
Примечание: После применения фильтра подсветка объектов модели выглядит следующим образом:
Если все цели блока исключены или обоснованы, он подсвечивается стальным синим цветом.
Если блок имеет допустимые и исключенные или обоснованные цели, он подсвечивается зеленым цветом.
Если блок сфальсифицировал, исключил или обосновал цели, он подсвечивается красным цветом.
Для получения детального анализа отчета в окне Сводных данных результатов щелкните HTML или PDF. В главе Поиск Ошибок Проектирования Targets Status сообщается об исключенных и обоснованных целях наряду с действительными и сфальсифицированными целями.
