Эта тема фокусируется на Polyspace® настольный пользовательский интерфейс. Чтобы узнать об эквивалентной панели в Polyspace доступ к веб-интерфейсу, смотрите Детали Результата в Polyspace доступ к веб-интерфейсу.
На панели Results List, если вы выбираете проверку, вы видите дополнительную информацию о панели Result Details.
На этой панели можно также присвоить Severity и Status к каждой проверке. Можно также ввести комментарии, чтобы описать результаты анализа. Это действие помогает вам отследить прогресс своего анализа и постараться не рассматривать ту же проверку дважды.
Для результатов, что вы открываете от Polyspace доступ, вы можете также:
Присвойте рецензента результату. Рецензент может отфильтровать Results List, чтобы только показать результаты, которые присвоены ему.
Создайте тикет в инструменте отслеживания ошибок (BTT), таком как JIRA. Если вы создаете тикет, Results Details для этого дефекта показывает ID билета. Нажмите ID, чтобы открыть билет в интерфейсе BTT.
Смотрите открытый или экспортируйте результаты Polyspace доступ.
Иногда, на панели Result Details, вы видите последовательность продвижения инструкций к проверке (traceback). Можно выбрать каждую инструкцию и перейти к ней в исходном коде.
Следующие столбцы появляются в traceback:
| Столбец | Описание |
|---|---|
| Event | Инструкции кода связаны с дефектом. Например, если ошибка Out of Bounds Array Index происходит в цикле, панель Result Details может показать обновления индекса массива, которые происходят в цикле. Операторы обновления могут физически произойти в вашем коде прежде или после доступа к массиву. Однако, потому что операторы происходят в цикле, они связаны с доступом к массиву. |
| Scope | Функция, содержащая инструкции. Если инструкции не находятся в функции, списки столбцов файл, содержащий инструкции. |
| Line | Номер строки инструкции. |
Кликните по значку Show error call graph
на панели инструментов панели Result Details, чтобы отобразить последовательность вызова, которая приводит к коду, сопоставленному результатом.
Для глобальных переменных этот график показывает продвижение последовательности вызова операциям чтения и операциям записи на глобальной переменной.
От панели Result Details можно открыть панели Variable Access и Call Hierarchy.
Нажмите
кнопку, чтобы открыть панель Call Hierarchy.
На этой панели вы видите функцию, в которой текущая проверка происходит, вместе с ее вызывающими сторонами и вызываемыми. Для получения дополнительной информации смотрите Иерархию Вызова в Пользовательском интерфейсе Рабочего стола Polyspace.
Нажмите
кнопку, чтобы открыть панель Variable Access.
На этой панели вы видите глобальные переменные в своем коде. Для получения дополнительной информации смотрите Переменный доступ в Пользовательском интерфейсе Рабочего стола Polyspace.
