-add-to-results-repository)Загрузите результаты анализа для просмотра на Метрической веб-инструментальной панели Polyspace
Эта опция применяется к десктопным решениям Polyspace® только.
Задайте загрузку результатов анализа к Метрическому репозиторию результатов Polyspace, позволив Веб-создание отчетов метрик кода и результатов.
Пользовательский интерфейс: В вашей настройке проекта опция находится на узле Run Settings. У вас есть отдельные опции для Средства поиска Ошибки и анализа Программы автоматического доказательства Кода. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -add-to-results-repository. Смотрите информацию о Командной строке.
Метрики Polyspace являются веб-инструментальной панелью, которая генерирует метрики качества кода от ваших результатов анализа. Используя эту инструментальную панель, вы можете:
Предоставьте вашему управлению общий обзор своего качества кода.
Сравните свое качество кода с предопределенными стандартами.
Установите процесс, где вы рассматриваете подробно только те результаты, которым не удается соответствовать стандартам.
Отследите улучшения или регрессию в качестве кода в зависимости от времени.
Смотрите генерируют метрики качества кода с метриками Polyspace.
НаРезультаты анализа хранятся в Метрическом репозитории результатов Polyspace. Это позволяет вам использовать веб-браузер, чтобы просмотреть метрики кода и результаты.
Результаты не загружаются автоматически на ваш рабочий стол.
От (значения по умолчанию)Результаты анализа хранятся локально.
Опция, чтобы загрузить на Метрики Polyspace доступна, только если вы выбираете Run Bug Finder or Code Prover analysis on a remote cluster (-batch).
Если вы выполняете локальный анализ своего рабочего стола, можно позже загрузить результаты на Метрики Polyspace. Щелкните правой кнопкой по своему файлу результатов и выберите Upload to Metrics.
Параметр: -add-to-results-repository |
| Значение по умолчанию: 'off' |
Пример (средство поиска ошибки):
|
Пример (программа автоматического доказательства кода):
|
Пароль является дополнительным.
Загрузка использует Метрический сервер Polyspace, который вы настраиваете в пользовательском интерфейсе Polyspace. Смотрите Настроенные Метрики Polyspace. Если вы хотите явным образом задать Метрический сервер Polyspace во время загрузки, используйте опцию -polyspace-metrics-server serverName:portNumber
-add-to-results-repository -polyspace-metrics-server localhost:12427