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