exponenta event banner

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

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

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

ПризнакОписание
СемьяГруппа, к которой относится результат, например, красная проверка, серая проверка и т.д.
Я быУникальный идентификационный номер результата.
Напечатать

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

Группа

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

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

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

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

Проверить

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

  • Для проверок во время выполнения: Проверить имя

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

Деталь

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

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

Информация

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

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

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

ФайлФайл, содержащий инструкцию, в которой происходит результат
КлассКласс, содержащий инструкцию, в которой происходит результат. Если результат не находится внутри определения класса, то этот столбец содержит запись Глобальная область.
ФункцияФункция, содержащая инструкцию, в которой происходит результат. Если функция является методом класса, она отображается в формате class_name::function_name.
ПапкаПуть к папке, содержащей исходный файл с результатом
ЛинияНомер строки команды, в которой происходит результат.
ПолковникНомер столбца инструкции, в котором происходит результат. Номер столбца - это количество символов от начала строки.
%Процент проверок времени выполнения, которые не являются оранжевыми (общая степень избирательности). Этот столбец наиболее полезен при выборе опции Файл (File) из списка. Запись в этом столбце относительно файла или функции указывает процент проверок в файле или функции, которые не являются оранжевыми.
Серьезность

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

  • Unset

  • High

  • Medium

  • Low

Статус

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

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

  • To investigate

  • To fix

  • Justified

  • No action planned

  • Not a defect

  • Other

Оправданный

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

При выборе опции Файл (File) из списка в этом столбце указывается процент проверок, выровненных по файлу и функции.

КомментарииВведенные комментарии о результате
Назначено

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

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

Ключ билета

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

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

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

С помощью этой панели можно: