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