Панель Results List перечисляет все результаты анализа наряду с их атрибутами.
Для каждого результата панель Results List содержит атрибуты проверки, перечисленные в столбцах:
Атрибут | Описание |
---|---|
Family | Группа, которой результат принадлежит, например, красная проверка, серая проверка, и т.д. |
ID | Уникальный идентификационный номер результата. |
Type | Информация о результате, такая как цвет проверки на этапе выполнения (красный, оранжевый, зеленый), кодируя стандарт правила (MISRA C®: 2004, MISRA C: 2012), и т.д. |
Group | Категория результата, например:
|
Check | Имя результата, например:
|
Detail | Дополнительная информация о результате. Столбец показывает первую строку панели Result Details. Для примера того, как использовать этот столбец, смотрите результат |
Information | Для оранжевых проверок этот столбец указывает, связана ли проверка с путем или входными значениями. Для получения дополнительной информации смотрите Критические Оранжевые Проверки. Для кодирования нарушений правила этот столбец указывает, принадлежит ли правило подмножеству Для глобальных переменных этот столбец содержит имя глобальной переменной. |
File | Файл, содержащий инструкцию, где результат происходит |
Class | Класс, содержащий инструкцию, где результат происходит. Если результат не в определении класса, то этот столбец содержит запись, Global Scope. |
Function | Функция, содержащая инструкцию, где результат происходит. Если функция является методом класса, это появляется в формате . |
Folder | Путь к папке, которая содержит исходный файл с результатом |
Line | Номер строки инструкции, где результат происходит. |
Col | Номер столбца инструкции, где результат происходит. Номер столбца является количеством символов с начала строки. |
% | Процент проверок на этапе выполнения, которые не являются оранжевыми (общий уровень селективности). Этот столбец является самым полезным, когда вы выбираете опцию File из списка. Запись в этом столбце против файла или функции указывает на процент регистраций файла или функции, которые не являются оранжевыми. |
Severity | Уровень серьезности вы присвоили результату. Возможные уровни:
|
Status | Рассмотрите состояние, которое вы присвоили результату. Возможные состояния:
|
Justified | Флажки, показывающие, выровняли ли по ширине вы результаты. Чтобы выровнять по ширине результат, необходимо присвоить состояние Если вы выбираете опцию File из списка, этот столбец указывает на процент проверок, которые вы выровняли по ширине на файл и функцию. |
Comments | Комментарии вы вошли о результате |
Чтобы показать или скрыть любой из столбцов, щелкните правой кнопкой где угодно по заголовкам столбцов. Из контекстного меню выберите или очистите заголовок столбца, который вы хотите показать или скрыть.
Используя эту панель, вы можете:
Перейдите через результаты.
Организуйте свой анализ результата с помощью фильтров на столбцах. Для получения дополнительной информации смотрите Результаты Фильтра и Группы (Polyspace Bug Finder).