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

Панель 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 \subset.

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

FileФайл, содержащий инструкцию, где результат происходит
ClassКласс, содержащий инструкцию, где результат происходит. Если результат не в определении класса, то этот столбец содержит запись, Global Scope.
FunctionФункция, содержащая инструкцию, где результат происходит. Если функция является методом класса, это появляется в формате class_nameFunctionName .
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® Access.

Ticket Key

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

Этот столбец отображается только для результатов, что вы открываете от Polyspace доступ.

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

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