В этом примере показано, как приоритизировать ваш анализ проверки. Попробуйте следующий подход. Можно также разработать собственный способ для организации оранжевого анализа проверки.
Совет
Для более легкого анализа запустите Polyspace® Bug 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.
Это действие сохраняет только красные, серые и критические оранжевые проверки.
Кликните по прямой стреле
, чтобы перейти к первой нерассмотренной проверке. Рассмотрите эту проверку.
Для получения дополнительной информации смотрите, Интерпретируют Результаты Программы автоматического доказательства Кода в Пользовательском интерфейсе Рабочего стола Polyspace.
Продолжите кликать по прямой стреле, пока вы не рассмотрели посредством всех проверок.
Прежде, чем рассмотреть оранжевые проверки, рассмотрите красные и серые проверки.
Приоритизируйте свой оранжевый анализ проверки:
Файлы и функции: Для более легкого анализа начните свой оранжевый анализ проверки с файлов и функций с меньшим количеством оранжевых проверок.
Чтобы просмотреть процент неоранжевых проверок на файл и функцию, на панели Results List, из
списка, выбирают File. Щелкните правой кнопкой по заголовку столбца и выберите %.
Тип проверки: Рассмотрите оранжевые проверки в следующем порядке. Проверки больше затрудняют, чтобы рассмотреть, когда вы спускаетесь по этому порядку.
| Рассмотрите порядок | Проверки |
|---|---|
| Сначала | |
| Второй | |
| Треть | Остающиеся проверки |
Оранжевые источники проверки: Рассмотрите все оранжевые проверки, вызванные одной переменной или функцией. Оранжевые проверки часто являются результатом переменных, значения которых не могут быть определены из кода или функций, которые не заданы.
Чтобы рассмотреть главные источники, просмотрите график Top 5 orange sources на вкладке Dashboard или вкладке Orange Sources. Можно также выбрать оранжевый источник на любой вкладке, чтобы видеть только оранжевые проверки, вызванные источником. Для получения дополнительной информации смотрите, что Фильтр Использует Оранжевые Источники.
Детали результата: Рассмотрите все результаты, которые происходят из той же причины. Иногда, столбец Detail на панели Results List показывает дополнительную информацию о результате. Например, если несколько проблем инициировали то же нарушение правила кодирования, этот столбец показывает проблему. Кликните по заголовку столбца так, чтобы группировались результаты, которые происходят из того же типа проблемы. Рассмотрите результаты сразу.
Гарантировать, что вы обратились ко всем красным и критическим оранжевым проверкам, верификации запуска снова и просматриваете ваши результаты.
Если у вас нет красных или невыровненных критических оранжевых проверок из выпадающего списка в левых панели инструментов панели Results List, выберите All results.
В зависимости от уровня качества вы хотите, можно выбрать, рассмотреть ли некритические оранжевые проверки или нет. Для получения дополнительной информации смотрите Управление Оранжевые Проверки.
Чтобы видеть, какой процент проверок вы выровняли по ширине:
Если вы хотите процент, сломанный цветом и типом, на панели Results List, из списка, выберите Family. Если вы хотите процент, сломанный файлом и функцией, выберите File.
Просмотрите записи в столбце Justified.
