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