В этом примере показано, как установить приоритеты проверки. Попробуйте следующий подход. Вы также можете разработать свою собственную процедуру организации проверки оранжевого чека.
Совет
Для более легкого обзора запустите Polyspace® Сначала включите Finder™ в исходный код. Как только вы устраните дефекты, которые обнаруживает Polyspace Bug Finder, запустите Polyspace Code Prover™ на своем коде.
Прежде чем начать проверку, выполните следующее:
Смотрите график Code covered by verification на панели Dashboard. Проверьте, отображается ли значение в столбцах Files, Functions и Code operations ближе к 100%. В противном случае идентифицируйте, почему Polyspace не смог покрыть код.
Для получения дополнительной информации смотрите Причины снятия проверки кода. Если значительное количество функций или операций кода не были охвачены, после выявления и устранения причины, запуска проверку снова.
Проверьте, использовали ли вы правильное строение. Выберите ссылку View configuration for results на панели Dashboard.
Иногда, особенно если вы переходите между несколькими строениями, можно случайно использовать неправильное строение для верификации.
В раскрывающемся списке слева на панели инструментов Results List выберите Critical checks.
Это действие сохраняет только проверки красного, серого и критического оранжевого цвета.
Щелкните стреле вперед
, чтобы перейти к первой проверке без просмотра. Проверьте эту проверку.
Для получения дополнительной информации смотрите Результаты интерпретации Code Prover в Пользовательском интерфейсе Polyspace Desktop.
Продолжайте нажимать стрелу вперед до тех пор, пока вы не проверите все проверки.
Перед проверкой оранжевых чеков проверьте красные и серые чеки.
Приоритезируйте свой оранжевый чек по:
Файлы и функции: Для более легкого обзора, начните свой оранжевый чек обзор из файлов и функций с меньшим количеством оранжевых чеков.
Чтобы просмотреть процент неоранжевых проверок по файлам и функциям, на панели Results List в
списке, выберите File. Щелкните правой кнопкой мыши заголовок столбца и выберите %.
Тип проверки: Просмотрите оранжевые проверки в следующем порядке. Проверки труднее проверить, когда вы идете вниз по этому порядку.
| Порядок рассмотрения | Проверки |
|---|---|
| Сначала | |
| Второй | |
| Треть | Оставшиеся проверки |
Оранжевые источники проверки: Проверьте все оранжевые проверки, вызванные одной переменной или функцией. Оранжевые проверки часто возникают из-за переменных, значения которых не могут быть определены из-за кода или функций, которые не определены.
Чтобы просмотреть верхние источники, просмотрите график Top 5 orange sources на вкладке Dashboard или Orange Sources. Можно также выбрать оранжевый источник на любой вкладке, чтобы увидеть только оранжевые проверки, вызванные источником. Для получения дополнительной информации смотрите Фильтр с использованием оранжевых источников.
Детали результата: Обзор всех результатов, которые происходят по одной и той же причине. Иногда в столбце Detail на панели Results List показываются дополнительные сведения о результате. Для образца, если несколько проблем вызывают одно и то же нарушение правил кодирования, в этом столбце показана проблема. Щелкните заголовок столбца, чтобы результаты, полученные из одного и того же типа проблемы, были сгруппированы. Просмотрите результаты за один раз.
Чтобы убедиться, что все проверки красного и критического оранжевого цвета решены, еще раз запустите верификацию и просмотрите результаты.
Если у вас нет красных или неоправданных проверок на оранжевый цвет, выберите All results из выпадающего списка в левой части панели инструментов Results List.
В зависимости от требуемого уровня качества, можно выбрать, рассматривать ли некритические оранжевые проверки или нет. Для получения дополнительной информации см. Раздел «Управление оранжевыми проверками».
Чтобы увидеть, какой процент проверок вы обосновали:
Если необходимо, чтобы процент был разбит по цветам и типам, на панели Results List в списке выберите Family. Если вы хотите, чтобы процент был разбит по файлам и функциям, выберите File.
Просмотрите записи в столбце Justified.