Примечание
Эта тема описывает рабочий процесс в Метрическом веб-интерфейсе Polyspace.
Для более легких совместных отзывов используйте Polyspace® Bug Finder™ Access™ . В дополнение к более интуитивной веб-инструментальной панели с Polyspace может доступ к вам:
Рассмотрите и выровняйте по ширине результаты непосредственно от вашего веб-браузера.
Интегрируйте отслеживающий дефект инструмент, такой как Jira с веб-интерфейсом и создайте тикеты, чтобы отследить результаты Polyspace.
Совместно используйте результаты анализа с помощью ссылок на сайт.
Для получения дополнительной информации см. документацию Polyspace Bug Finder Access.
Метрики Polyspace являются веб-инструментальной панелью, которая отображает метрики качества кода от ваших результатов анализа. Используя эту инструментальную панель, вы можете:
Отследите улучшения или регрессию в качестве кода в зависимости от времени.
Предоставьте менеджерам общий обзор своего качества кода.
Сравните свой код с качественными целями.
Сузьте свой аналитический анализ к критическим результатам.
Прежде чем можно будет рассмотреть проект в Метриках Polyspace, необходимо Загрузить Результаты на Метрики Polyspace.
Можно открыть метрический интерфейс одним из следующих способов:
Если вам установили Polyspace, выберите Metrics> Open Metrics.
Если вам не установили Polyspace, открываете веб-браузер и вводите следующий URL:
protocol://ServerName: PortNumber
protocol любой http (значение по умолчанию) или https.
Чтобы использовать HTTPS, дополнительная настройка требуется. Смотрите Конфигурируют веб-сервер для HTTPS (Polyspace Code Prover).
ServerName имя или IP-адрес вашего Метрического сервера Polyspace.
PortNumber номер порта веб-сервера (значение по умолчанию 8080).
Когда Метрический веб-интерфейс Polyspace открывается, вам дарят список результатов в вашем репозитории. Можно просмотреть эти результаты проектом или запуском.
Вкладка Projects перечисляет загруженные результаты проектами. На этой вкладке вы можете:
Смотрите количество запусков проекта и полной статистики о проекте путем наведения курсор на название проекта.
Смотрите метрики уровня проекта путем щелчка правой кнопкой по заголовкам столбцов и добавления дополнительных столбцов: Проверки Bug Finder, Кодируя Правила, Метрики Кода, Ошибки времени выполнения или Прогресс Анализа.
Создайте группы проекта путем щелчка правой кнопкой по проекту и выбора Create Project Category. Перетащите проекты к своей новой категории.
Отфильтруйте проекты с помощью заголовков столбцов.
Удалите проекты из Метрического репозитория путем щелчка правой кнопкой по проекту и выбора Delete Project from Repository.
Присвойте или измените пароль для проекта путем щелчка правой кнопкой по проекту и выбора Change/Set Password.
Рассмотрите в метрики качества кода для проекта путем нажатия на проект. Для получения дополнительной информации смотрите Метрический Интерфейс Polyspace.
Вкладка Runs перечисляет отдельные запуски для всех проектов. На этой вкладке вы можете:
Удалите запуск из репозитория путем щелчка правой кнопкой по запуску и выбора Delete Run from Repository.
Присвойте пароль, чтобы запуститься путем щелчка правой кнопкой по запуску и выбора Change/Set Password.
Смотрите запуски между двумя определенными датами путем выбора срока начала работы в поле From и дата окончания в поле To.
Смотрите только последний n запуски путем изменения значения поля Maximum number of runs.
Смотрите метрики качества кода для запуска путем щелчка правой кнопкой по запуску и выбора Go to Metrics Page.
Загрузите результаты запущенных к пользовательскому интерфейсу Polyspace путем нажатия на имя запуска.
Для каждого проекта или анализа, можно просмотреть метрики качества кода, распространенные по четырем вкладкам, в проекте, файле и функциональном уровне. Выберите проект, и вы видите четыре вкладки:
Вкладка Summary предоставляет общий обзор результатов верификации.
Вкладка Code Metrics предоставляет подробную информацию метрик сложности кода в ваших результатах.
Вкладка Coding Rules предоставляет подробную информацию нарушений правила кодирования в ваших результатах.
Вкладка Bug Finder предоставляет подробную информацию дефектов кода в ваших результатах.
Если вы хотите Сравнить Метрики С Целями Качества программного обеспечения, прежде, чем рассмотреть ваши результаты, можно включить качественные цели.
Кликните по записи на вкладке Summary. Нажатие на запись приносит вам к соответствующей вкладке для получения дополнительной информации.
На Code Metrics, Coding Rules или вкладках Run-Time Errors, выбирают запись, чтобы загрузить результат на пользовательский интерфейс Polyspace.
Результаты появляются на панели Results List в пользовательском интерфейсе Polyspace. Фильтр Show> Web checks на этой панели указывает, что вы загрузили результаты Метрик Polyspace.
В пользовательском интерфейсе Polyspace рассмотрите конкретный результат, исследуйте первопричину в своем исходном коде и присвойте комментарии анализа и выравнивания.
Чтобы загрузить ваши комментарии и выравнивания к Метрическому репозиторию Polyspace, выберите Metrics> Upload to Metrics.
Совет
Чтобы загрузить автоматически ваши комментарии и выравнивания к Метрическому репозиторию Polyspace, когда вы сохраняете их:
Выберите Tools> Preferences.
На вкладке Server Configuration выберите Save justifications in the Polyspace Metrics repository.
В интерфейсе Polyspace Metrics щелкните
, чтобы просмотреть ваши недавно загруженные метрики.
Используя интерфейс Polyspace Metrics, можно отследить улучшения или регрессию в метриках качества кода по различным запускам на том же исходном коде.
Чтобы просмотреть тренды в метриках, загрузите различные версии своих результатов к Метрическому репозиторию Polyspace.
Откройте интерфейс Polyspace Metrics.
Для получения дополнительной информации смотрите Открытый Метрический Интерфейс.
На вкладке Projects выберите проект, для которого вы хотите просмотреть тренды.
Метрики качества кода для всех версий проекта появляются на Summary, Code Metrics, Coding Rules и вкладках Bug-Finder.
Сравнить две версии того же проекта:
В From и списках To на верхнем левом углу веб-инструментальной панели, выберите две версии, которые вы хотите сравнить.
Выберите поле Compare.
На каждой вкладке появляются новые столбцы, и существующие столбцы отображают улучшение или регрессию в метрике. Например, на рисунке ниже, вы видите новый столбец All Metrics Trend, который появляется на вкладке Summary. Этот столбец описывает, как метрики в группе Bug-Finder сравнивают более чем две версии проекта.
Средние значения, что метрики лучше.
Средние значения, что метрика хуже.
Смешанное
в столбце All Metrics Trend означает некоторые улучшенные метрики, и некоторые не улучшились.
Видеть только новые результаты в версии по сравнению с предыдущей версией:
В From и списках To на верхнем левом углу веб-инструментальной панели, выберите две версии, которые вы хотите сравнить.
Выберите поле New Findings Only.
Существующие столбцы отображают только новые результаты. Кроме того, вы также видите два новых столбца:
Столбец Newly Confirmed показывает те новые результаты, которым вы присваиваете Severity HighСредняя, или Low в пользовательском интерфейсе Polyspace.
Столбец Newly Fixed показывает те результаты, которым вы присвоили Severity HighСредняя, или Low в предыдущем запуске. Однако присвоение не существует в текущем запуске, или потому что красная или оранжевая проверка стала зеленой, или потому что вы изменили Severity в Unset.
Если вы включаете Цели Качества программного обеспечения, каждая вкладка также задает, как ваш проект или запуск выдерживают сравнение с теми целями. Смотрите Сравнивают Метрики С Целями Качества программного обеспечения.
Вкладка Summary обобщает результаты анализа для проекта или запуска.
| ColumnName | Описание | |
|---|---|---|
| Verification | Номер версии результатов и исходных файлов. | |
| Verification Status | Аналитический уровень завершается. | |
| Code Metrics | Files | Количество файлов в проекте. |
| Lines of code | Количество строк кода, сломанных файлом. | |
| Coding Rules | Confirmed Defects | Количество кодирования нарушений правила присвоило Severity |
| Violations | Общее количество кодирования нарушений правила. Статистические данные для C++ AUTOSAR 14, CERT® C, CERT C++ и ISO/IEC TS 17961, кодирующий стандартные нарушения, не доступны в интерфейсе Polyspace Metrics. | |
| Bug-Finder Checks | Confirmed Defects | Количество дефектов присвоило Severity |
| Checks | Общее количество дефектов. | |
| Software Quality Objectives | Overall Status | Состояние PASS или FAIL на основе того, удовлетворяет ли ваш код целям качества программного обеспечения, которые вы задали. |
| Level | Цели качества программного обеспечения, которые вы задаете. Можно или использовать предопределенный набор целей или задать собственные цели. | |
| Review Progress | Номер или процент выровненных по ширине результатов. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. | |
| Justified Code Metrics | Номер или процент метрических пороговых нарушений кода, которые вы выровняли по ширине. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. | |
| Justified Coding Rules | Номер или процент кодирования нарушений правила, которые вы выровняли по ширине. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. | |
| Justified Bug-Finder Checks | Номер или процент дефектов, которые вы выровняли по ширине. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. | |
Вкладка Code Metrics перечисляет метрики сложности кода для вашего проекта или запуска.
Некоторые метрики вычисляются на уровне проекта, в то время как другие вычисляются в файле или функциональном уровне. Для метрик, вычисленных на функциональном уровне, запись, отображенная для файла, является или агрегатом или максимумом по функциям в файле.
Для получения дополнительной информации смотрите Метрики Кода.
Вкладка Coding Rules перечисляет нарушения правила кодирования в вашем проекте или запуск. Для получения дополнительной информации о правилах кодирования см. Стандарты Кодирования.
Вы не можете просмотреть результаты для этих стандартов кодирования в интерфейсе Polyspace Metrics.
AUTOSAR C++ 14.
CERT C.
CERT C++.
ISO/IEC TS 17961.
Чтобы рассмотреть нарушения правила кодирования для этих стандартов, используйте интерфейс рабочего стола Polyspace Bug Finder или Polyspace доступ (к Polyspace Bug Finder Access).
Можно сгруппировать информацию в столбцах Files или Coding Rules.
| ColumnName | Описание | |
|---|---|---|
| Coding Rules | Confirmed Defects | Количество кодирования нарушений правила присвоило Severity |
| Justified | Количество кодирования управляет нарушениями, которые вы выровняли по ширине. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. | |
| Violations | Общее количество кодирования нарушений правила. | |
| Software Quality Objectives | Quality Status | Состояние PASS или FAIL на основе того, удовлетворяет ли ваш код целям качества программного обеспечения, которые вы задали. |
| Level | Цели качества программного обеспечения, которые вы задаете. Можно или использовать предопределенный набор целей или задать собственные цели. | |
| Review Progress | Номер или процент выровненного по ширине кодирования управляют нарушениями. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. | |
Вкладка Bug-Finder перечисляет Дефекты в вашем проекте или запуске.
Можно сгруппировать информацию в столбцах Files или Bug-Finder Checkers.
| ColumnName | Описание | |
|---|---|---|
| Confirmed Defects | Номер или процент дефектов присвоили Severity Смотрите результаты Polyspace адреса через исправления ошибок или выравнивания. | |
| Bug-Finder Checks | Justified | Номер или процент выровненных по ширине дефектов. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. |
| Checks | Общее количество проверок. | |
| High | Общее количество Высоких Дефектов Удара. | |
| Medium | Общее количество Средних Дефектов Удара. | |
| Low | Общее количество Низких Дефектов Удара. | |
| Software Quality Objectives | Quality Status | Состояние PASS или FAIL на основе того, удовлетворяет ли ваш код целям качества программного обеспечения, которые вы задали. |
| Level | Цели качества программного обеспечения, которые вы задаете. Можно или использовать предопределенный набор целей или задать собственные цели. | |
| Review Progress | Номер или процент выровненных по ширине дефектов. Чтобы выровнять по ширине результат, необходимо присвоить Status в пользовательском интерфейсе Polyspace. | |
