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

На панели Results List перечислены все результаты анализа вместе с их атрибутами.

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

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

Информация о результатах, такая как цвет проверки во время выполнения (красный, оранжевый, зеленый), стандарт правила кодирования (MISRA C®: 2004, MISRA C: 2012), и др.

Group

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

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

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

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

Check

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

  • Для проверок во время выполнения: Имя проверки

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

Detail

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

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

Information

Для оранжевых проверок этот столбец указывает, связана ли проверка с путем или входными значениями. Для получения дополнительной информации смотрите Критические оранжевые проверки.

Для нарушений правил кодирования в этом столбце указывается, принадлежит ли правило Required подмножество.

Для глобальных переменных этот столбец содержит имя глобальной переменной.

FileФайл, содержащий инструкцию, где происходит результат
ClassКласс, содержащий инструкцию, где происходит результат. Если результат не находится внутри определения класса, то этот столбец содержит запись, Global Scope.
FunctionФункция, содержащая команду, где происходит результат. Если функция является методом класса, она появляется в формате class_name:: function_name.
FolderПуть к папке, содержащей исходный файл с результатом
LineНомер линии инструкции, в которой происходит результат.
ColНомер столбца инструкции, в которой происходит результат. Номер столбца - это количество символов от начала линии.
%Процент проверок во время выполнения, которые не являются оранжевыми (общая частота селективности). Этот столбец наиболее полезен при выборе File опции из списка. Запись в этом столбце относительно файла или функции указывает процент проверок в файле или функции, которые не являются оранжевыми.
Severity

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

  • Unset

  • High

  • Medium

  • Low

Status

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

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

  • To investigate

  • To fix

  • Justified

  • No action planned

  • Not a defect

  • Other

Justified

Флажки, показывающие, были ли результаты обоснованы. Для обоснования результата необходимо присвоить статус Justified, No action planned или Not a defect.

Если вы выбираете File опции из списка, в этом столбце указывается процент проверок, которые были обоснованы для каждого файла и функции.

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

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

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

Ticket Key

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

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

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

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