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