Exponenta Banner

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

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

Описание

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

Укажите загрузку результатов анализа в репозиторий результатов Polyspace Metrics, позволяя создавать веб-отчеты о результатах и метриках кода.

Задать опцию

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

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

Зачем использовать эту опцию

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

  • Предоставьте вашему руководству высокоуровневый обзор качества вашего кода.

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

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

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

См. «Генерация метрик качества кода с Polyspace».

Настройки

На

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

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

Off (по умолчанию)

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

Зависимости

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

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

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

Параметр: -add-to-results-repository
По умолчанию: Off
Пример (Bug Finder): Polyspace Bug Finder -batch -scheduler NodeHost результатов -repository -password passwordName
Пример (Код Prover): Polyspace Code Prover -batch -scheduler NodeHost результатов -repository -password passwordName

Пароль необязателен.

При выгрузке используется сервер Polyspace Metrics, настроенный в пользовательском интерфейсе Polyspace. См. Раздел «Настройка метрики Polyspace» Если вы хотите явным образом задать сервер Polyspace Metrics во время загрузки, используйте опцию -polyspace-metrics-server serverName:portNumber. Для образца:

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

См. также

Темы

Документация Polyspace Bug Finder

Поддержка