В этом примере показано, как управлять количеством и типом оранжевых чеков, отображаемых на панели Список результатов (Results List). Используйте раскрывающийся список в левой части панели инструментов списка результатов. Чтобы сократить время проверки, выполните одно из следующих действий.
Отображение только критических оранжевых чеков.
Используйте опцию Критические проверки в выпадающем списке. Дополнительные сведения см. в разделе Критические проверки оранжевого цвета.
Ограничьте число или подавьте оранжевые проверки для определенных типов проверок, используя дополнительные опции в раскрывающемся списке.
Можно добавить предопределенные опции в список или создать собственные опции. При создании собственных параметров можно совместно использовать файлы параметров, чтобы помочь разработчикам в организации просмотреть по крайней мере определенное количество или процент оранжевых проверок.
Выберите «Сервис» > «Установки».
На вкладке «Область обзора» выполните одно из следующих действий.
Чтобы добавить предопределенные опции в выпадающий список на панели Список результатов (Results List), выберите Включить области целей качества (Include Quality Targets Scops).
В списке Имя области (Scope Name) отображаются дополнительные параметры. HIS, SQO-4, SQO-5 и SQO-6. Выберите опцию для просмотра предельных значений.
Помимо оранжевых проверок, параметры накладывают ограничения на отображение метрик кода и нарушений правил кодирования. Выбор HIS отображает только метрики кода. Подробное описание предопределенных параметров см. в разделе Цели качества программного обеспечения.
Чтобы создать собственные опции в раскрывающемся списке на панели Список результатов (Results List), выберите Создать (New). Сохраните файл параметров.
На левой панели выберите Проверка времени выполнения. На правой панели для полного подавления проверки снимите флажок рядом с проверкой. Чтобы частично подавить проверку, укажите процент менее 100 для отображения.
Для подавления всех проверок, относящихся к категории, например «Числовой», снимите флажок рядом с именем категории. Дополнительные сведения о категориях см. в разделе Проверки времени выполнения. Если выбрана только часть чеков в категории, флажок рядом с именем категории отображает
символ.
Вместо процента можно указать число или строку ALL. Чтобы указать число, снимите флажок Указать процент проверок.
Выберите «Применить» или «ОК».
На панели Список результатов (Results List) выпадающий список на панели Список результатов (Results List) отображает дополнительные параметры.
Выберите опцию, соответствующую требуемым пределам. На панели Список результатов (Results List) остается только указанное число или процент.
Если указать абсолютное число, Polyspace ® отобразит это число оранжевых чеков.
Если указан процент, Polyspace вычисляет этот процент от общего количества зеленых и оранжевых чеков. Затем программа учитывает, составляют ли процент только зеленые чеки. Если они не составляют процент, программа отображает достаточно оранжевых чеков, чтобы составить процент. Например, если указано значение 60, программа проверяет, состоит ли 60% зеленых и оранжевых чеков только из зеленых чеков. В противном случае отображается достаточно оранжевых чеков, чтобы составить 60%.
Можно использовать область обзора с процентными спецификациями, чтобы гарантировать, что по крайней мере 60% проверок (зеленый + оранжевый) являются зелеными или выровненными оранжевыми. Для выравнивания проверки необходимо присвоить статус либо No action planned или Justified. Дополнительные сведения см. в разделе Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований.