Upload results to Polyspace Metrics (-add-to-results-repository)

Загрузите результаты анализа для просмотра на Метрической веб-инструментальной панели Polyspace

Описание

Эта опция применяется к десктопным решениям Polyspace® только.

Задайте загрузку результатов анализа к Метрическому репозиторию результатов Polyspace, позволив Веб-создание отчетов метрик кода и результатов.

Установите опцию

Пользовательский интерфейс: В вашей настройке проекта опция находится на узле Run Settings. У вас есть отдельные опции для Средства поиска Ошибки и анализа Программы автоматического доказательства Кода. Смотрите Зависимости для других опций, которые необходимо также включить.

Командная строка: Используйте опцию -add-to-results-repository. Смотрите информацию о командной строке.

Почему использование эта опция

Метрики Polyspace являются веб-инструментальной панелью, которая генерирует метрики качества кода от ваших результатов анализа. Используя эту инструментальную панель, вы можете:

  • Предоставьте вашему управлению общий обзор своего качества кода.

  • Сравните свое качество кода с предопределенными стандартами.

  • Установите процесс, где вы рассматриваете подробно только те результаты, которым не удается соответствовать стандартам.

  • Отследите улучшения или регрессию в качестве кода в зависимости от времени.

Смотрите генерируют метрики качества кода с метриками Polyspace.

Настройки

On

Результаты анализа хранятся в Метрическом репозитории результатов Polyspace. Это позволяет вам использовать веб-браузер, чтобы просмотреть метрики кода и результаты.

Результаты не загружаются автоматически на ваш рабочий стол.

От (значения по умолчанию)

Результаты анализа хранятся локально.

Зависимости

Опция, чтобы загрузить на Метрики Polyspace доступна, только если вы выбираете Run Bug Finder or Code Prover analysis on a remote cluster (-batch).

Если вы выполняете локальный анализ своего рабочего стола, можно позже загрузить результаты на Метрики Polyspace. Щелкните правой кнопкой по своему файлу результатов и выберите Upload to Metrics.

Информация о командной строке

Параметр: -add-to-results-repository
Значение по умолчанию: Off
Пример (Средство поиска Ошибки): Polyspace Bug Finder - пакет - планировщик NodeHost "добавляют к репозиторию результатов" - пароль passwordName
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - пакет - планировщик NodeHost "добавляют к репозиторию результатов" - пароль passwordName

Пароль является дополнительным.

Загрузка использует Метрический сервер Polyspace, который вы настраиваете в пользовательском интерфейсе Polyspace. Смотрите Настроенные Метрики Polyspace. Если вы хотите явным образом задать Метрический сервер Polyspace во время загрузки, используйте опцию - метрический сервер полипробела serverName:portNumber. Например:

-add-to-results-repository -polyspace-metrics-server localhost:12427