Примечание
В этом разделе описывается рабочий процесс в веб-интерфейсе Polyspace Metrics.
Для более простых совместных обзоров используйте Polyspace® Code Prover™ Access™. В дополнение к более интуитивно понятной веб-приборной панели, с Polyspace Access можно:
Просмотрите и разъясните результаты непосредственно из веб-браузера.
Интеграция инструмента отслеживания дефектов, такого как Jira, с веб-интерфейсом и создание билетов для отслеживания результатов Polyspace.
Делитесь результатами анализа с помощью веб- ссылок.
Для получения дополнительной информации см. документацию Polyspace Code Prover Access.
Прежде чем вы сможете просмотреть метрики качества программного обеспечения, загрузите результаты в репозиторий Polyspace Metrics. Можно загрузить результаты локальной верификации или удаленной верификации. Для получения дополнительной информации смотрите Сгенерировать метрики качества кода.
Вы можете открыть интерфейс метрики одним из следующих способов:
Если у вас есть локальная установка Polyspace, выберите Metrics > Open Metrics.
Если локальная установка отсутствует, введите следующий URL-адрес в веб-браузере:
protocol:// ServerName: PortNumber
protocol
является либо http
(по умолчанию) или https
.
Чтобы использовать HTTPS, настройте файл строения и настройки Metrics configuration. Дополнительные сведения см. в разделе Настройка веб-сервера для HTTPS.
ServerName
- имя или IP-адрес сервера Polyspace Metrics.
PortNumber
- номер порта веб-сервера (по умолчанию 8080);
В интерфейсе Polyspace Metrics можно просмотреть или все проекты или все запуски.
На вкладке Projects просмотрите все проекты.
На этой вкладке можно сделать следующее:
Цель | Действие |
---|---|
Количество выполненных проектов. | Наведите курсор на имя проекта. |
Группируйте проекты вместе. | Щелкните проект правой кнопкой мыши. Выберите Create Project Category. Перетащите проекты в новую категорию. |
Фильтрация проектов из отображения. | В поле под заголовком Project столбца введите имя требуемого проекта. |
Удалите проект из репозитория Metrics. | Щелкните проект правой кнопкой мыши. Выберите Delete Project from Repository. |
Присвойте пароль проекту. | Щелкните проект правой кнопкой мыши. Выберите Change/Set Password. |
Смотрите метрики качества кода для всех запусков проекта. | Щелкните имя проекта. Для получения дополнительной информации см. «Просмотр метрик для конкретного проекта» или «Запуск». |
Совет
Если с момента вашего последнего посещения для проекта была проведена новая верификация, то на вкладке Projects значок появляется перед именем проекта.
Если проект имеет несколько запуски, на вкладке Runs просмотрите отдельные запуски. Для определения различных запусков одного и того же проекта используйте столбец Project и Version.
На этой вкладке можно сделать следующее:
Цель | Действие |
---|---|
Удалите запуск из репозитория. | Щелкните правой кнопкой мыши запуск. Выберите Delete Run from Repository. |
Присвойте пароль для выполнения. | Щелкните правой кнопкой мыши запуск. Выберите Change/Set Password. |
Смотрите запуски между двумя определенными датами. | Выберите дату начала в поле From и дату окончания в поле To. |
Смотрите только последнюю n выполняется. | В поле Maximum number of runs введите n . |
Смотрите метрики качества кода для запуска. | Щелкните правой кнопкой мыши запуск. Выберите Go to Metrics Page. Для получения дополнительной информации см. «Просмотр метрик для конкретного проекта» или «Запуск». |
Загрузите результаты выполнения в пользовательский интерфейс Polyspace. | Щелкните имя запуска. |
Если вы выбираете проект на вкладке Projects или Go to Metrics Page для запуска на вкладке Runs, можно просмотреть метрики качества кода для проекта или запустить. На вкладке Summary появятся сводные данные метрики.
Если необходимо сравнить метрики качества кода со стандартами, которые вы ранее определили, перед проверкой результатов можно включить цели качества. Для получения дополнительной информации смотрите Сравнение метриков с целями качества программного обеспечения.
В противном случае проверьте абсолютные значения метрик качества кода на вкладке Summary.
Выберите запись на вкладке Summary, чтобы открыть другую вкладку с дополнительной информацией.
Если вы выбираете запись под групповой Code Metrics, вы можете увидеть метрики сложности кода на вкладке Code Metrics.
Если вы выбираете запись в групповой Coding Rules, то на вкладке Coding Rules можно увидеть нарушения правил кодирования.
При выборе записи в групповой Run-Time Errors проверки во время выполнения можно увидеть на вкладке Run-Time Checks.
Для примера в следующих метриках существует три красные проверки. Выберите запись в столбце Red, чтобы просмотреть проверки на вкладке Run-time Checks.
Для получения дополнительной информации о столбцах смотрите Метрики качества кода.
На Code Metrics, Coding Rules или Run-Time Errors вкладках выберите запись для загрузки результата в пользовательский интерфейс Polyspace и следуйте любому приглашению из веб-браузера. Если результаты не открываются автоматически в интерфейсе Polyspace, проверьте требования веб-браузера к метрикам Polyspace.
Результаты отображаются на панели Results List в пользовательском интерфейсе Polyspace. Фильтр Show > Web checks на этой панели указывает, что вы загрузили результаты из Polyspace Metrics.
В пользовательском интерфейсе Polyspace проверьте конкретный результат, исследуйте первопричину в исходном коде и назначьте комментарии и обоснования для проверки.
Можно просмотреть загруженные результаты или создать отчеты. Если вы генерируете отчет, все результаты в файле результатов появляются в отчете (а не только загруженные результаты). Чтобы сгенерировать отфильтрованный отчет, измените Web checks возможностей на другой именованный отфильтрованный набор, например, All results. Затем примените фильтры и сгенерируйте отчет. Для получения дополнительной информации см. раздел «Генерация отчетов».
Чтобы загрузить комментарии и обоснования в репозиторий Polyspace Metrics, выберите Metrics > Upload to Metrics.
Совет
Чтобы автоматически загрузить ваши комментарии и обоснования в репозиторий Polyspace Metrics при их сохранении:
Выберите Tools > Preferences.
На вкладке Server Configuration выберите Save justifications in the Polyspace Metrics repository.
После завершения проверки в интерфейсе Polyspace Metrics щелкните, чтобы просмотреть обновленные метрики.