Список результатов

На панели Results List перечислены все результаты наряду с их атрибутами. Чтобы организовать проверку результатов, в списке на этой панели выберите один из следующих опций:

  • None: Списки дефектов и нарушений правил кодирования без группировки. По умолчанию результаты перечисляются в порядке серьезности.

  • Family: Списки результатов, сгруппированных по группировкам. Для получения дополнительной информации о дефектах, охватываемых группой, смотрите Bug Finder Defect Group.

  • Class: Списки результатов, сгруппированных по классам. В каждом классе результаты сгруппированы по методам. В первой группе, Global Scope, перечисляются результаты, не возникающие в определении класса.

    Эта опция доступна для C++ только код.

  • File: Списки результатов, сгруппированных по файлам. В каждом файле результаты сгруппированы по функциям.

Для каждого результата панель Results List содержит атрибуты результатов, перечисленные в столбцах:

ПризнакОписание
FamilyГруппа, к которой принадлежит результат.
IDУникальный идентификационный номер результата.
TypeДефект или нарушение правил кодирования.
Group

Категория результата, например:

  • Для дефектов: Группы, такие как статическая память, число, поток управления, параллелизм и т. Д.

  • Для нарушений правил кодирования: Группы, заданные стандартом правил кодирования.

    Для образца MISRA C®: 2012 определяет группы, относящиеся к конструкциям кода, таким как функции, указатели и массивы и т.д.

Check

Имя результата, например:

  • Для дефектов: Имя дефекта

  • Для нарушений правил кодирования: Номер правила кодирования

Detail

Дополнительная информация о результате. В столбце показана первая линия панели Result Details.

Пример использования этого столбца см. в MISRA C:2012 Dir 1.1 результатов.

FileФайл, содержащий инструкцию, где происходит результат
ClassКласс, содержащий инструкцию, где происходит результат. Если результат не находится внутри определения класса, то этот столбец содержит запись, Global Scope.
FunctionФункция, содержащая команду, где происходит результат. Если функция является методом класса, она появляется в формате class_name:: function_name.
FolderПуть к папке, содержащей исходный файл с результатом
CWE ID

Идентификаторы CWE, соответствующие результатам Bug Finder.

См. Стандарт кодирования CWE и результаты Polyspace

Severity

Уровень серьезности, присвоенный результату. Возможные уровни:

  • Unset

  • High

  • Medium

  • Low

Status

Просмотр статуса, присвоенного результату. Возможные статусы:

  • Unreviewed (состояние по умолчанию)

  • To investigate

  • To fix

  • Justified

  • No action planned

  • Not a defect

  • Other

CommentsКомментарии, которые вы ввели о результате
Assigned to

Имя пользователя рецензента, назначенного этому результату.

Этот столбец видим только для результатов, которые вы открываете из Polyspace® Доступ.

Ticket Key

При создании билета инструмента отслеживания ошибок (BTT) для результата это поле содержит идентификатор билета. Щелкните идентификатор билета в Results Details, чтобы открыть билет в интерфейсе BTT.

Этот столбец видим только для результатов, которые вы открываете из Polyspace Access.

Чтобы показать или скрыть любой из столбцов, щелкните правой кнопкой мыши в любом месте заголовков столбца. В контекстном меню выберите или очистите заголовок столбца, который вы хотите показать или скрыть.

Используя эту панель, можно: