В этом примере показано, как приоритизировать ваш анализ проверки. Попробуйте следующий подход. Можно также разработать собственный способ для организации оранжевого анализа проверки.
Совет
Для более легкого анализа запустите Polyspace® Bug Finder™ на вашем исходном коде сначала. Если вы обращаетесь к дефектам, которые Polyspace Bug Finder находит, запуск Polyspace Code Prover™ на вашем коде.
Прежде, чем начать ваш анализ проверки, можно проверять следующее:
Смотрите Run Log путем движения в Window> Run Log в представлении REVIEW. Используйте CTRL-F искать журнал предупреждающие сообщения и сообщения об ошибке или строку failed compilation. Если существуют предупреждения или ошибки, или файлам не удалось скомпилировать, идентифицировать, почему Polyspace не мог анализировать все ваши исходные файлы.
Чтобы проверять на некоторые общие причины Кода Непроверенного, см. документацию для Polyspace Code Prover.
Смотрите, использовали ли вы правильную настройку. Параметры конфигурации перечислены в Run Log под строками Options used with Verifier: и User:.
Иногда, особенно если вы переключаетесь между несколькими настройками, можно случайно использовать неправильную настройку для верификации.
От инструментальной панели Project Overview кликните по номеру рядом с Open на карте Run-time Checks.
Это действие открывает панель Results List только с нерассмотренными красными, серыми и оранжевыми проверками. Можно также отфильтровать для этих результатов панели инструментов в представлении REVIEW путем нажатия на Run-time Checks и To Do.
Выберите и рассмотрите первую проверку.
Для получения дополнительной информации смотрите, Интерпретируют Результаты Code Prover в Polyspace доступ к веб-интерфейсу.
Продолжите проходить список, пока вы не рассмотрели все проверки.
Прежде, чем рассмотреть оранжевые проверки, рассмотрите красные и серые проверки.
Приоритизируйте свой оранжевый анализ проверки:
Для более легкого анализа начните свой оранжевый анализ проверки с файлов с меньшим количеством оранжевых проверок.
К файлам вида количеством оранжевых проверок, в разделе Details инструментальной панели Run-time Checks, нажимают View by File, затем кликают по заголовку столбца Orange, чтобы отсортировать его. Кликните по записи из этого столбца, чтобы открыть соответствующий список оранжевых проверок.
Тип проверки: Рассмотрите оранжевые проверки в следующем порядке. Проверки больше затрудняют, чтобы рассмотреть, когда вы спускаетесь по этому порядку.
| Рассмотрите порядок | Проверки |
|---|---|
| Сначала | |
| Второй | |
| Треть | Остающиеся проверки |
Оранжевые источники проверки: Рассмотрите все оранжевые проверки, вызванные одной переменной или функцией. Оранжевые проверки часто являются результатом переменных, значения которых не могут быть определены из кода или функций, которые не заданы.
Чтобы рассмотреть источники оранжевых проверок, выберите оранжевую проверку из панели Results List, затем щелкают
в панели Results Details. Можно также открыть панель Orange Sources путем движения в Window> Orange Sources. Для получения дополнительной информации смотрите, что Фильтр Использует Оранжевые Источники.
Детали результата: Рассмотрите все результаты, которые происходят из той же причины. Иногда, столбец Detail на панели Results List показывает дополнительную информацию о результате. Например, если несколько проблем инициировали то же нарушение правила кодирования, этот столбец показывает проблему. Кликните по заголовку столбца так, чтобы группировались результаты, которые происходят из того же типа проблемы. Рассмотрите результаты сразу.
Чтобы видеть, какой процент проверок вы выровняли по ширине, перейдите к представлению DASHBOARD и смотрите раздел Summary инструментальной панели Run-time Checks.
