Когда вы рассматриваете результаты в Results List, можно применить фильтры от раздела FAMILY FILTERS панели инструментов, чтобы фокусировать анализ на определенном Polyspace® семейства результатов, такие как:
Дефекты Bug Finder.
Проверки на этапе выполнения Code Prover и глобальные переменные.
Кодирование нарушений Стандартов.
Задайте пользовательские фильтры, чтобы сузить осциллограф вашего анализа только к результатам, которые относятся к вашему проекту или организации. Например, вы можете интересоваться рассмотрением только Numerical дефекты Bug Finder и нарушения Mandatory MISRA C®:2012 правил.
Если вы задаете пользовательские фильтры, можно совместно использовать те фильтры с другими Пользователями доступа Polyspace, чтобы гарантировать сопоставимые осциллографы анализа через проекты или организацию.
Чтобы создать или отредактировать пользовательский фильтр, нажмите Apply/Manage> Manage filters.
Чтобы создать новый фильтр, в окне Custom filters, нажимают New и затем вводят имя фильтра во всплывающем окне New Custom Filter. Можно опционально предоставить описание и позволить флажку Shared filter совместно использовать фильтр с другими Пользователями доступа Polyspace.
По умолчанию пользовательские фильтры являются частными и могут быть просмотрены только пользователем, который создает фильтр. Частный фильтр может быть отредактирован только пользователем, который создает тот фильтр. Разделяемый фильтр может быть отредактирован пользователем, который создает фильтр или пользователем с ролью Administrator.
Чтобы внести изменения в имя фильтра, описание, или включить или отключить совместное использование фильтра, переходит к вкладке Information.
Чтобы отредактировать выбор фильтра, на вкладке Configuration, нажимают, Polyspace заканчивается семейство, например, MISRA C:2012, и затем выберите узел или расширьте узел, чтобы выбрать отдельные результаты. Для каждого семейства результатов можно просмотреть узлы группой или по категориям, когда доступно.
Чтобы сохранить ваши изменения, нажмите Save или Save as, чтобы сохранить ваши редактирования в как новый пользовательский фильтр.
Примените пользовательские фильтры путем выбора соответствующего фильтра из Apply/Manage> Private filters или Apply/Manage> Shared filters. Можно применить больше чем один пользовательский фильтр, включая комбинации частных и разделяемых фильтров.
Пользовательские фильтры не применяются к представлению DASHBOARD.
