Создайте, отредактируйте и просмотрите правила фильтра покрытия
Создайте и отредактируйте правила фильтра покрытия
Создайте правило фильтра покрытия
Чтобы создать покрытие фильтруют правило:
В панели Coverage диалогового окна Configuration Parameters включите покрытие модели.
Чтобы записать результаты покрытия, моделируйте модель.
Создайте новое правило фильтра одним из двух способов:
В окне модели щелкните правой кнопкой по объекту модели и выберите Coverage> Exclude.
В разделе Details Отчета Покрытия нажмите Justify or Exclude для объекта модели.
В зависимости от которой опции вы выбираете, поле Type в Средстве просмотра Фильтра Покрытия установлено для правила фильтра покрытия, которое что вы выбрали. Вы не можете заменить значение в поле Type.
Выберите режим фильтрации
Когда вы создаете правило фильтрации, режимом фильтрации значения по умолчанию является Excluded. Исключенные объекты не появляются в отчетах покрытия. Можно также установить режим фильтрации на Justified. Выровненные по ширине блоки появляются как достижение 100%-го покрытия.
Для получения дополнительной информации смотрите, что Покрытие Фильтрует.
Добавьте объяснение в правило фильтра покрытия
Опционально, можно добавить текст, который описывает, почему вы исключаете тот объект или объекты от записи покрытия. Эта информация может быть полезна для других, которые рассматривают покрытие для вашей модели. Когда вы добавляете правило фильтра покрытия, Средство просмотра Фильтра Покрытия открывается. Добавить объяснение:
Дважды кликните поле Rationale для правила.
Удалите существующий текст.
Добавьте объяснение для исключения этого объекта.
Следующие графические примеры показов текста в поле Rationale.
Примечание
Поле Rationale и поле Mode являются единственными полями правила фильтра покрытия, которые можно отредактировать в Средстве просмотра Фильтра Покрытия.
После того, как вы добавите, что новый фильтр покрытия управляет или редактирует существующее правило фильтра покрытия, нажимает Apply, чтобы включить ссылки Highlight model with coverage results и Generate report.
Выровняйте по ширине мертвую логику от анализа мертвой логики Simulink Design Verifier
Можно создать правила выравнивания в Проводнике Результатов покрытия с помощью мертвой логики, обнаруженной во время Simulink® Design Verifier™ Dead Logic Analysis.
Откройте Проводник Результатов покрытия из меню Simulink. Выберите Analysis> Coverage> Open Results Explorer.
Нажмите Current Cumulative Data, чтобы получить доступ к результатам покрытия для текущей симуляции и перейти к вкладке Filter.
Нажмите Make justification filter rules for dead logic (using Simulink Design Verifier).
Simulink Design Verifier запускает Анализ Мертвой логики и заполняет список фильтров.
Нажмите Generate report.
Выровненные по ширине правила от предыдущего шага показывают в разделе Objects Filtered from Coverage Analysis в начале отчета. Чтобы перейти к соответствующим элементам правил в разделе Details отчета, используйте гиперссылки в описаниях правила. Нажатие на гиперссылки в столбце Rationale перешло к Проводнику Результатов покрытия.
Можно добавить правила выравнивания для элементов, которые не получают покрытие к фильтру путем нажатия
в разделе Details отчета.
Сохраните фильтр покрытия в файл
После того, как вы зададите правила фильтра покрытия, сохраните правила в файл так, чтобы можно было снова использовать их с этой моделью или с другими моделями. По умолчанию файлы фильтра покрытия называют <model_name>_covfilter.cvf
В разделе Current Cumulative Data Средства просмотра Фильтра Покрытия:
Нажмите Save filter.
Задайте имя файла и папку для файла фильтра и нажмите Save.
Если вы вносите несколько изменений в правила фильтра покрытия, применяете изменения в файле фильтра покрытия каждый раз.
Загрузите файл фильтра покрытия
После того, как вы сохраните файл фильтра покрытия, можно загрузить файл фильтра покрытия для других моделей.
В разделе Current Cumulative Data Средства просмотра Фильтра Покрытия:
Нажмите Load filter.
Перейдите к файлу фильтра и нажмите Open.
У вас может быть только один файл фильтра покрытия, присоединенный к модели за один раз. Если вы присоединяете различный файл фильтра покрытия, недавно, прикрепленный файл заменяет ранее прикрепленный файл.
Две или больше модели могут иметь тот же присоединенный файл фильтра покрытия. Если модель имеет присоединенный файл фильтра, который содержит правила фильтра покрытия для конкретных объектов в различной модели, те правила проигнорированы во время записи покрытия.
Обновите отчет с текущими настройками фильтра
Если вы изменяете настройки фильтрации или добавляете фильтры после того, как вы моделируете модель, можно обновить выделение отчета и модели покрытия, не повторно моделируя модель. После того, как вы моделировали модель в разделе Current Cumulative Data Средства просмотра Фильтра Покрытия:
Apply или Revert любые изменения вы сделали.
Нажмите Generate Report.
Просмотрите правила фильтра покрытия в своей модели
Каждый раз, когда вы задаете правило фильтра покрытия или удаляете существующее правило фильтра покрытия, Средство просмотра Фильтра Покрытия открывается. Это диалоговое окно перечисляет правила фильтра покрытия для вашей модели. Для получения дополнительной информации смотрите Средство просмотра Фильтра Покрытия.
Средство просмотра Фильтра Покрытия доступно в разделе Current Cumulative Data средства просмотра Coverage Results. Также можно щелкнуть правой кнопкой где угодно по окну модели и выбрать Coverage> Open Filter Viewer
Если вы в подсистеме, можно просмотреть любое правило фильтра покрытия, присоединенное к подсистеме. Чтобы открыть Средство просмотра Фильтра Покрытия, щелкните правой кнопкой по любому объекту в подсистеме и выберите Coverage> Show filter parent.