Выравнивание неработающей логики из анализа неработающей логики Simulink Design Verifier
Оправдать неработающую логику из результатов проверки кода Polyspace
Чтобы создать правило фильтра покрытия:
Включить покрытие модели.
Чтобы записать результаты покрытия, смоделируйте модель.
Создайте новое правило фильтрации одним из следующих способов:
В окне модели щелкните правой кнопкой мыши объект модели и выберите «Покрытие» > «Исключить».
В разделе Подробно (Details) отчета о покрытии (Coverage Report) щелкните Выровнять (Justify) или Исключить (Exclude) для объекта модели.
Создайте новый файл фильтра покрытия непосредственно в обозревателе результатов покрытия:
Щелкните Применить фильтры (Applied filters).
Щелкните Создать фильтр.
Введите имя и описание фильтра.
Нажмите кнопку Сохранить как.
Укажите имя файла и папку для файла фильтра и нажмите кнопку «Сохранить».
Можно также щелкнуть правой кнопкой мыши метку Примененные фильтры (Applied filters) и выбрать Новый фильтр (New filter).
В зависимости от выбранного параметра для выбранного правила фильтра покрытия устанавливается поле Тип в разделе Примененные фильтры обозревателя результатов покрытия. Невозможно переопределить значение в поле Тип.
При создании правила фильтрации по умолчанию используется режим фильтрации Excluded. Исключенные объекты не отображаются в отчетах покрытия. Можно также установить режим фильтрации как Justified. Обоснованные блоки выглядят как достигшие 100% покрытия.
Дополнительные сведения см. в разделе Фильтрация покрытия.
Дополнительно можно добавить текст, описывающий причины исключения этого объекта или объектов из записи покрытия. Эта информация может быть полезна для других пользователей, которые проверяют покрытие для вашей модели. При добавлении правила фильтра покрытия открывается раздел Примененные фильтры обозревателя результатов покрытия. Для добавления обоснования:
Дважды щелкните поле Обоснование для правила.
Удалить существующий текст.
Добавьте обоснование исключения этого объекта.
Примечание
Поля Обоснование и Режим являются единственными полями правил фильтра покрытия, которые можно править в разделе Примененные фильтры обозревателя результатов покрытия.
После добавления нового правила фильтра покрытия или изменения существующего правила фильтра покрытия нажмите кнопку Применить, чтобы включить модель Создать отчет и Выделить со ссылками результатов покрытия.
Правила обоснования можно создать в обозревателе результатов покрытия с помощью неработающей логики, обнаруженной в ходе анализа неработающей логики Simulink ® Design Verifier™ Dead Logic .
Откройте обозреватель результатов в приложении Покрытие.
Нажмите Applied filters для доступа к фильтрам покрытия.
Щелкните Создать правила фильтра выравнивания для неработающей логики (с помощью Simulink Design Verifier).
Simulink Design Verifier запускает анализ неработающей логики и заполняет список фильтров.
Щелкните Создать отчет (Generate report).
Выровненные правила предыдущего шага отображаются в разделе Объекты, отфильтрованные из анализа покрытия в начале отчета. Для перехода к соответствующим элементам правил в разделе Подробно отчета используйте гиперссылки в описаниях правил. Если щелкнуть гиперссылки в столбце «Обоснование», будет выполнен переход к обозревателю результатов покрытия.
Правила выравнивания для элементов, не получающих покрытие, можно добавить в фильтр, щелкнув
в разделе Подробно отчета.
Правила обоснования покрытия кода можно создать в обозревателе результатов покрытия с помощью результатов Prover™ кода Polyspace ® .
Откройте обозреватель результатов в приложении Покрытие.
Нажмите Applied filters для доступа к фильтрам покрытия.
Щелкните Создать правила фильтра выравнивания для неработающей логики (используя результаты проверки кода Polyspace).
Программа Polyspace Code Prover запускает и заполняет список фильтров.
Щелкните Создать отчет (Generate report).
После определения правил фильтра покрытия сохраните правила в файле, чтобы их можно было повторно использовать с этой моделью или другими моделями. По умолчанию файлы фильтра покрытия называются <.model_name>_covfilter.cvf
На вкладке Приложения щелкните Анализатор покрытия. На вкладке Покрытие откройте Обозреватель результатов покрытия.
Щелкните Примененные фильтры (Applied filters), затем выберите фильтр.
Введите имя и описание фильтра, если он еще не существует.
Нажмите кнопку «Применить». Откроется диалоговое окно сохранения.
Укажите имя файла и папку для файла фильтра и нажмите кнопку «Сохранить».
При внесении нескольких изменений в правила фильтра покрытия следует каждый раз вносить изменения в файл фильтра покрытия.
Новый файл фильтра покрытия можно создать непосредственно в обозревателе результатов покрытия.
Щелкните Применить фильтры (Applied filters)
Щелкните Создать фильтр. Можно также щелкнуть правой кнопкой мыши Примененные фильтры (Applied filters) и выбрать Новый фильтр (New filter).
Введите имя и описание фильтра.
Нажмите кнопку «Применить». Откроется диалоговое окно сохранения.
Укажите имя файла и папку для файла фильтра и нажмите кнопку «Сохранить».
После сохранения файла фильтра покрытия можно загрузить файл фильтра покрытия для использования в других моделях. В обозревателе результатов покрытия:
Щелкните Применить фильтры (Applied filters).
Щелкните Загрузить фильтр (Load filter). Можно также щелкнуть правой кнопкой мыши пункт Примененные фильтры (Applied filters) и выбрать пункт Загрузить фильтр (Load filter).
Перейдите к файлу фильтра и нажмите кнопку Открыть.
Для любой модели можно загрузить несколько файлов фильтров покрытия. Загруженные файлы фильтров отображаются в разделе Примененные фильтры обозревателя результатов покрытия.
К двум или более моделям может быть присоединен один и тот же файл фильтра покрытия. Если модель имеет присоединенный файл фильтра, который содержит правила фильтра покрытия для определенных объектов в другой модели, эти правила игнорируются при записи покрытия.
Чтобы удалить примененный фильтр покрытия, в обозревателе результатов покрытия:
Разверните список Примененные фильтры (Applied filters)
Щелкните правой кнопкой мыши фильтр покрытия, который требуется удалить, и выберите Удалить.
Можно также добавлять и удалять файлы фильтров покрытия из Simulink Test™ Manager. Дополнительные сведения см. в разделе Фильтрация покрытия с помощью диспетчера тестов (Simulink Test).
При изменении настроек фильтрации или добавлении фильтров после моделирования модели можно обновить отчет о покрытии и подсветку модели без изменения размеров модели. После моделирования модели в разделе Текущие кумулятивные данные раздела Примененные фильтры обозревателя результатов покрытия:
Примените или отмените все внесенные изменения.
Щелкните Создать отчет (Generate Report).
При определении правила фильтра покрытия или удалении существующего правила фильтра покрытия открывается раздел Примененные фильтры обозревателя результатов покрытия. На этой панели перечислены правила фильтра покрытия для применяемых фильтров. Дополнительные сведения см. в разделе Примененные фильтры обозревателя результатов покрытия.
Список применяемых в настоящее время фильтров для модели доступен в разделе Примененные фильтры обозревателя результатов покрытия. Можно также щелкнуть правой кнопкой мыши в любом месте окна модели и выбрать «Покрытие» > «Открыть средство просмотра фильтров».
При нахождении в подсистеме можно просмотреть любое правило фильтра покрытия, присоединенное к подсистеме. Чтобы открыть раздел Примененные фильтры обозревателя результатов покрытия, щелкните правой кнопкой мыши любой объект внутри подсистемы и выберите Покрытие > Показать родительский фильтр.