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