-add-to-results-repository)Загрузите результаты анализа для просмотра на веб-панели инструментов Polyspace Metrics
Эта опция применяется к Polyspace® только для настольных продуктов.
Укажите загрузку результатов анализа в репозиторий результатов Polyspace Metrics, позволяя создавать веб-отчеты о результатах и метриках кода.
Пользовательский интерфейс: В вашем строении проекта опция находится на узле Run Settings. У вас есть отдельные опции для анализа Bug Finder и Code Prover. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -add-to-results-repository. См. «Информация о командной строке».
Polyspace Metrics - это веб-панель мониторинга, которая генерирует метрики качества кода из результатов анализа. Используя эту инструментальную панель, можно:
Предоставьте вашему руководству высокоуровневый обзор качества вашего кода.
Сравните качество кода с предопределенными стандартами.
Установите процесс, в котором вы подробно просматриваете только те результаты, которые не соответствуют стандартам.
Отслеживайте улучшения или регрессию в качестве кода с течением времени.
Смотрите Сгенерировать метрики качества кода.
НаРезультаты анализа хранятся в репозитории результатов 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