В этом примере показано, как определить приоритет проверки чеков. Попробуйте использовать следующий подход. Также можно разработать собственную процедуру организации проверки оранжевого чека.
Совет
Для упрощения просмотра сначала запустите программу Polyspace ® Bug Finder™ в исходном коде. Как только вы устраните дефекты, обнаруженные Polyspace Bug Finder, запустите Prover™ кода Polyspace.
Перед началом проверки чека выполните следующие действия.
См. график проверки кода на панели «Панель мониторинга». Проверьте, отображаются ли в столбцах операций «Файлы», «Функции» и «Код» значения ближе к 100%. В противном случае определите, почему Polyspace не может охватить код.
Дополнительные сведения см. в разделе Причины снятия флажка с кода. Если значительное количество функций или операций с кодом не были охвачены, после выявления и устранения причины снова выполните проверку.
Проверьте правильность конфигурации. Выберите ссылку Просмотр конфигурации для результатов на панели Панель мониторинга.
Иногда, особенно при переключении между несколькими конфигурациями, можно случайно использовать неправильную конфигурацию для проверки.
В раскрывающемся списке в левой части панели инструментов панели «Список результатов» выберите «Критические проверки».
Это действие сохраняет только красный, серый и критический оранжевый чеки.
Щелкните стрелку вперед
, чтобы перейти к первой невыясненной проверке. Просмотрите этот чек.
Дополнительные сведения см. в разделе Интерпретация результатов проверки кода в пользовательском интерфейсе Polyspace Desktop.
Продолжайте нажимать кнопку со стрелкой вперед до тех пор, пока не будут проверены все проверки.
Перед просмотром оранжевых чеков просмотрите красные и серые чеки.
Расставьте приоритеты в обзоре оранжевых чеков, выполнив следующие действия:
Файлы и функции: Для упрощения проверки начните проверку оранжевых чеков из файлов и функций с меньшим количеством оранжевых чеков.
Чтобы просмотреть процент неоранжевых проверок для каждого файла и функции, на панели Список результатов (Results List) в
списке выберите Файл (File). Щелкните правой кнопкой мыши заголовок столбца и выберите%.
Тип чека: Просмотр оранжевых чеков в следующем порядке. Проверки сложнее просмотреть, когда вы идете вниз по этому порядку.
| Заказ на проверку | Проверки |
|---|---|
| Сначала | |
| Второй | |
| Треть | Оставшиеся чеки |
Источники оранжевых чеков: просмотр всех оранжевых чеков, вызванных одной переменной или функцией. Оранжевые проверки часто возникают из переменных, значения которых не могут быть определены из кода или функций, которые не определены.
Чтобы просмотреть верхние источники, просмотрите график Верхние 5 оранжевых источников на вкладке Панель мониторинга или Оранжевые источники. Можно также выбрать оранжевый источник на любой вкладке, чтобы увидеть только оранжевые проверки, вызванные источником. Дополнительные сведения см. в разделе Фильтрация по оранжевым источникам.
Подробности результата: Просмотрите все результаты, полученные по одной и той же причине. Иногда в столбце Подробно (Detail) на панели Список результатов (Results List) отображаются дополнительные сведения о результате. Например, если несколько проблем вызывают одно и то же нарушение правила кодирования, этот столбец показывает проблему. Щелкните заголовок столбца, чтобы результаты, полученные из одного типа проблемы, были сгруппированы вместе. Просмотрите результаты в одном шаге.
Чтобы убедиться, что вы рассмотрели все проверки красного и критического оранжевого цвета, снова запустите проверку и просмотрите результаты.
Если у вас нет красных или неоправданных критических оранжевых проверок, в раскрывающемся списке в левой части панели инструментов списка результатов выберите Все результаты.
В зависимости от требуемого уровня качества можно выбрать, просматривать ли некритические оранжевые чеки или нет. Дополнительные сведения см. в разделе Управление оранжевыми чеками.
Чтобы узнать, какой процент проверок вы оправдали:
Если требуется разбить процент по цвету и типу, на панели «Список результатов» в списке выберите «Семейство». Если требуется разбить процент по файлам и функциям, выберите Файл.
Просмотрите записи в столбце «Выровненные».