Панель Result Details содержит подробную информацию о конкретном дефекте. Чтобы просмотреть эту информацию, на панели Results List выберите дефект.
На этой панели можно также назначить Severity и Status каждому чеку. Можно также ввести комментарии для описания результатов проверки. Это действие помогает вам отслеживать прогресс проверки и избегать рассмотрения одной и той же проверки дважды.
В правом верхнем углу показан файл и функция, содержащие дефект, в формате file_name/function_name.
Желтый ящик содержит имя дефекта с объяснением, почему происходит дефект.
В Event столбце перечислена последовательность кода инструкций, вызывающих дефект. В Scope столбце перечислена функция, содержащая инструкции. Если инструкции не указаны в функции, в столбце перечисляется файл, содержащий инструкции. В Line столбце приведен номер линии инструкций.
Флажок Variable trace позволяет вам увидеть дополнительный набор инструкций, которые связаны с дефектом.
Кнопка позволяет получить доступ к документации по дефекту.
Для результатов, которые вы открываете из Polyspace® Доступ, вы также можете:
Назначьте рецензента результату. Рецензент может фильтровать Results List, чтобы показать только результаты, назначенные ему или ей.
Создайте билет в инструменте отслеживания ошибок (BTT), таком как JIRA. После создания билета в Results Details для этого дефекта отображается идентификатор билета. Щелкните идентификатор, чтобы открыть билет в интерфейсе BTT.
Смотрите Открытые или Экспортировать результаты из Polyspace Access (Polyspace Bug Finder Access).
