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