Примечание
Эта тема описывает рабочий процесс в Метрическом веб-интерфейсе Polyspace.
Для более легких совместных отзывов используйте Polyspace® Code Prover™ Access™ . В дополнение к более интуитивной веб-инструментальной панели с Polyspace может доступ к вам:
Рассмотрите и выровняйте по ширине результаты непосредственно от вашего веб-браузера.
Интегрируйте отслеживающий дефект инструмент, такой как Jira с веб-интерфейсом и создайте тикеты, чтобы отследить результаты Polyspace.
Совместно используйте результаты анализа с помощью ссылок на сайт.
Для получения дополнительной информации см. документацию Polyspace Code Prover Access.
Прежде чем можно будет просмотреть метрики качества программного обеспечения, загрузите результаты на Метрический репозиторий Polyspace. Можно загрузить результаты локальной верификации или удаленной верификации. Для получения дополнительной информации смотрите, Генерируют Метрики качества Кода.
Можно открыть метрический интерфейс одним из следующих способов:
Если у вас есть локальная установка Polyspace, выберите Metrics> Open Metrics.
Если у вас нет локальной установки, введите следующий URL в веб-браузер:
protocol:// ServerName: PortNumber
protocol любой http (значение по умолчанию) или https.
Чтобы использовать HTTPS, настройте конфигурационный файл и настройки Metrics configuration. Для получения дополнительной информации смотрите, Конфигурируют веб-сервер для HTTPS.
ServerName имя или IP-адрес вашего Метрического сервера Polyspace.
PortNumber номер порта веб-сервера (значение по умолчанию 8080)
В интерфейсе Polyspace Metrics можно просмотреть или все проекты или все запуски.
На вкладке Projects просмотрите все проекты.
На этой вкладке можно сделать следующее:
| Цель | Действие |
|---|---|
| Смотрите количество запусков проекта. | Наведите свой курсор на название проекта. |
| Соберите в группу проекты. | Щелкните правой кнопкой по проекту. Выберите Create Project Category. Перетащите проекты к своей новой категории. |
| Отфильтруйте проекты от отображения. | В поле ниже заголовка столбца Project введите имя проекта, который вы хотите. |
| Удалите проект из Метрического репозитория. | Щелкните правой кнопкой по проекту. Выберите Delete Project from Repository. |
| Присвойте пароль проекту. | Щелкните правой кнопкой по проекту. Выберите Change/Set Password. |
| Смотрите метрики качества кода для всех запусков проекта. | Кликните по названию проекта. Для получения дополнительной информации смотрите Метрики Анализа для Конкретного Проекта или Запуска. |
Совет
Если новая верификация была выполнена для проекта начиная с вашего последнего визита, то на вкладке Projects, значок
появляется перед названием проекта.
Если проект имеет несколько запусков на вкладке Runs, просмотрите отдельные запуски. Чтобы идентифицировать различные запуски того же проекта, используйте столбец Version и Project.
На этой вкладке можно сделать следующее:
| Цель | Действие |
|---|---|
| Удалите запуск из репозитория. | Щелкните правой кнопкой по запуску. Выберите 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.
В пользовательском интерфейсе Polyspace рассмотрите конкретный результат, исследуйте первопричину в своем исходном коде и присвойте комментарии анализа и выравнивания.
Можно рассмотреть загруженные результаты или сгенерировать отчеты. Если вы генерируете отчет, все результаты в файле результатов появляются в отчете (не только загруженные результаты). Чтобы сгенерировать отфильтрованный отчет, измените осциллограф Web checks в другой именованный отфильтрованный набор, например, All results. Затем примените фильтры и сгенерируйте отчет. Для получения дополнительной информации смотрите, Генерируют Отчеты.
Чтобы загрузить ваши комментарии и выравнивания к Метрическому репозиторию Polyspace, выберите Metrics> Upload to Metrics.
Совет
Чтобы загрузить автоматически ваши комментарии и выравнивания к Метрическому репозиторию Polyspace, когда вы сохраняете их:
Выберите Tools> Preferences.
На вкладке Server Configuration выберите Save justifications in the Polyspace Metrics repository.
После того, как ваш анализ закончен в интерфейсе Polyspace Metrics, щелкните
, чтобы просмотреть обновленные метрики.
