Exponenta Banner
exponenta event banner

Список результатов в Polyspace доступ к веб-интерфейсу

Эта тема фокусируется на Polyspace® Доступ к веб-интерфейсу. Чтобы узнать об эквивалентной панели в пользовательском интерфейсе рабочего стола Polyspace, см. Список Результатов в Пользовательском интерфейсе Рабочего стола Polyspace.

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

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

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

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

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

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

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

Check

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

  • Для дефектов: Дефектное имя

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

Information

Подтип результата, когда доступно.

  • Для дефектов: Повлияйте на классификацию.

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

Detail

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

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

FileФайл, содержащий инструкцию, где результат происходит
FunctionФункция, содержащая инструкцию, где результат происходит. Если функция является методом класса, это появляется в формате class_nameFunctionName .
Status

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

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

  • To investigate

  • To fix

  • Justified

  • No action planned

  • Not a defect

  • Other

Severity

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

  • Unset

  • High

  • Medium

  • Low

Assigned to

Имя пользователя рецензента присвоило этому результату.

Ticket Key

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

CommentsКомментарии вы вошли о результате
FolderПуть к папке, которая содержит исходный файл результатом

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

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

  • Перейдите через результаты.

  • Организуйте свое использование анализа результата, просачивается панель инструментов или в контекстном меню. Для получения дополнительной информации смотрите Фильтр и сортировку Результатов в Polyspace доступ к веб-интерфейсу.

  • Щелкните правой кнопкой по результату получить URL результата. Когда вы открываете этот URL в веб-браузере, вы добираетесь, смотрите панель Results List, отфильтрованную к тому одному результату.

Если Results List превышает 10 000 результатов, Polyspace доступ обрезает список и отображает этот значок в панели фильтров. Чтобы показать все результаты, смотрите контекстную справку значка.

Эти 10 000 пределов результатов задаются и не могут быть изменены.

Документация Polyspace Code Prover

Поддержка