Запустите Polyspace Bug Finder на сервере и загрузите результаты на веб-интерфейс

Polyspace^® Bug Finder™ Server™ проверяет код C/C++ на дефекты и кодирование стандартных нарушений, и затем загружает результаты на веб-интерфейс для рассмотрения кода.

Можно запустить Средство поиска Ошибки как часть непрерывного интегрирования. Настройте скрипты, которые запускают анализ Средства поиска Ошибки равномерно или на основе новых представлений кода. Скрипты могут загрузить результаты анализа для анализа в Polyspace доступ к веб-интерфейсу и опционально послать электронные письма владельцам исходных файлов с результатами Polyspace. Владельцы могут открыть веб-интерфейс, чтобы рассмотреть только новые результаты от их представления, и затем зафиксировать или выровнять по ширине проблемы.

В типичном проекте или команде, Polyspace Bug Finder Server периодически запускается на нескольких серверах тестирования и загружает результаты для анализа. У каждого разработчика и инженера по качеству в команде есть лицензия Polyspace Bug Finder Access™, чтобы просмотреть результаты в веб-интерфейсе для расследования и устранения ошибки.

Предпосылки

Чтобы запустить анализ Средства поиска Ошибки сервера и рассмотреть результаты в Polyspace доступ к веб-интерфейсу, выполните эту одноразовую настройку:

Чтобы запустить анализ, установите один экземпляр продукта Polyspace Bug Finder Server.
Чтобы загрузить результаты, настройте компоненты, требуемые размещать веб-интерфейс Polyspace доступ.
Чтобы просмотреть загруженные результаты, у вас и каждого разработчика, рассматривающего результаты, должна быть лицензия Polyspace Bug Finder Access.

Смотрите сервер Polyspace установки и доступ к продуктам.

Проверяйте установку Polyspace

Чтобы проверять, установлен ли Polyspace Bug Finder Server:

Откройте командное окно. Перейдите к polyspaceserverroot\polyspace\bin. Здесь, polyspaceserverroot папка установки Polyspace Bug Finder Server, например, C:\Program Files\Polyspace Server\R2020a. См. также Папку Установки.
Войдите:
polyspace-bug-finder-server -help

Необходимо видеть, что список опций допускал анализ Средства поиска Ошибки.

Чтобы проверять, настраивается ли Polyspace доступ к веб-интерфейсу для загрузки:

Перейдите снова к polyspaceserverroot\polyspace\bin.
Войдите:
polyspace-access -host hostName -port portNumber -create-project testProject
Здесь, hostName имя сервера, размещающего веб-сервер Polyspace Bug Finder Access. Для локально размещенного сервера используйте localhost. portNumber дополнительный номер порта сервера. Если вы не используете номер порта, 9443 используется.
Если настройка была завершена, проект под названием testProject создается в Polyspace доступ к веб-интерфейсу.
Вам предлагают ваш вход в систему и пароль каждый раз, когда вы используете polyspace-access команда. Чтобы постараться не вводить информацию о входе в систему каждый раз, обеспечьте вход в систему и зашифрованную версию вашего пароля с командой. Создать зашифрованный пароль, введите:
polyspace-access -encrypt-password
Введите свой вход в систему и пароль. Скопируйте зашифрованный пароль и предоставьте этому зашифрованному паролю -encrypted-password опция при использовании polyspace-access команда.
В веб-браузере откройте этот URL:
```
https://hostName:portNumber/metrics/index.html
```
Здесь, hostName и portNumber имя хоста и номер порта от предыдущего шага.

В панели PROJECT EXPLORER на Polyspace доступ к веб-интерфейсу вы видите недавно созданный проект testProject.

Запустите средство поиска ошибки на файлах примера

Чтобы запустить Средство поиска Ошибки, в вашей операционной системе, открывают командное окно.

Чтобы запустить анализ Средства поиска Ошибки, используйте polyspace-bug-finder-server команда.
Чтобы загрузить результаты на Polyspace доступ к веб-интерфейсу, используйте polyspace-access команда.

Чтобы постараться не вводить полный путь к команде, добавьте путь polyspaceserverroot\polyspace\bin к Path переменная окружения на вашей операционной системе.

Испытайте команды на файлах примера, которым предоставляют вашу установку Polyspace.

Скопируйте демонстрационные исходные файлы с polyspaceserverroot\polyspace\examples\cxx\Bug_Finder_Example\sources к другой папке, где у вас есть полномочия записи. Перейдите к этой папке в командной строке.

Войдите:

polyspace-bug-finder-server -sources numerical.c,dataflow.c -I . -checkers numerical,data_flow -results-dir .
polyspace-access -host hostName -port portNumber -login username -encrypted-password pwd -create-project testProject
polyspace-access -host hostName -port portNumber -login username -encrypted-password pwd -upload . -project myFirstProject -parent-project testProject

Здесь, username ваше имя для входа в систему и pwd зашифрованный пароль, который вы создали ранее. Смотрите Установку Polyspace Проверки.

Обновите Polyspace доступ к веб-интерфейсу. Вы видите папку testProject на панели PROJECT EXPLORER. Папка содержит один проект myFirstProject.

Чтобы видеть результаты в проекте, нажмите Review. Для получения дополнительной информации см. документацию Polyspace Bug Finder Access. Можно также получить доступ к документации с помощью кнопки в верхнем правом углу интерфейса Polyspace Access.

Для полного списка опций, доступных для анализа Средства поиска Ошибки, см. Аналитические Опции. Открыть документацию Средства поиска Ошибки в браузере документации, введите:

polyspace-bug-finder-server -doc

Демонстрационные скрипты для анализа средства поиска ошибки серверов

Чтобы запустить анализ, вместо того, чтобы ввести команды в командной строке, можно использовать скрипты. Скрипты могут выполниться каждый раз, когда вы добавляете или изменяете исходные файлы.

Демонстрационный пакетный файл Windows^® показывают ниже. Здесь, путь к установке Polyspace задан в скрипте. Чтобы использовать этот скрипт, замените polyspaceserverroot с путем к вашей установке. Вы, должно быть, уже сгенерировали зашифрованный пароль для использования в скриптах. Смотрите Установку Polyspace Проверки.

echo off
set POLYSPACE_PATH=polyspaceserverroot\polyspace\bin
set LOGIN=-host hostName -port portNumber -login username -encrypted-password pwd
"%POLYSPACE_PATH%\polyspace-bug-finder-server" -sources numerical.c,dataflow.c -I .^
 -checkers numerical,data_flow -results-dir .
"%POLYSPACE_PATH%\polyspace-access" %LOGIN% -create-project testProject
"%POLYSPACE_PATH%\polyspace-access" %LOGIN% -upload . -project myFirstProject -parent-project testProject
pause

Демонстрационный сценарий оболочки Linux^® показывают ниже.

POLYSPACE_PATH=polyspaceserverroot/polyspace/bin
LOGIN=-host hostName -port portNumber -login username -encrypted-password pwd
${POLYSPACE_PATH}/polyspace-bug-finder-server -sources numerical.c,dataflow.c -I .\
 -checkers numberical,data_flow -results-dir .
${POLYSPACE_PATH}/polyspace-access $LOGIN -create-project testProject
${POLYSPACE_PATH}/polyspace-access $LOGIN -upload . -project myFirstProject -parent-project testProject

Задайте источники и опции в отдельных файлах из запускающихся скриптов

Вместо того, чтобы перечислить исходные файлы и аналитические опции в рамках запускающихся скриптов, можно перечислить их в отдельных текстовых файлах.

Задайте текстовый файл, перечисляющий источники при помощи опции -sources-list-file.
Задайте текстовый файл, перечисляющий аналитические опции при помощи опции -options-file.

Путем удаления исходных файлов и аналитических технических требований опции из запускающихся скриптов, можно изменить эти технические требования как требуется с новыми представлениями кода при оставлении запускающегося скрипта нетронутым.

Рассмотрите скрипт в предыдущем примере. Можно изменить polyspace-bug-finder-server команда, чтобы использовать текстовые файлы с источниками и опции. Вместо:

polyspace-bug-finder-server -sources numerical.c,dataflow.c -I . -checkers numerical,data_flow -results-dir .

использование:

polyspace-bug-finder-server -sources-list-file sources.txt -options-file polyspace_opts.txt -results-dir .

Здесь:

sources.txt перечисляет исходные файлы в отдельных линиях:
```
numerical.c
dataflow.c
```
polyspace_opts.txt перечисляет аналитические опции в отдельных линиях:
```
-I .
-checkers numerical,data_flow
```

Как правило, ваши исходные файлы заданы в команде сборки (make-файл). Вместо того, чтобы задать исходные файлы непосредственно, можно проследить команду сборки, чтобы создать список исходных технических требований. Смотрите polyspace-configure.

Полный рабочий процесс

В типичном непрерывном рабочем процессе интегрирования вы запускаете скрипт, который выполняет эти шаги:

Извлеките опции Polyspace из своей команды сборки.
Например, если вы используете make-файлы, чтобы создать ваш исходный код, можно извлечь аналитические опции из make-файла.
polyspace-configure -output-options-file compile_opts make
Смотрите также:
- polyspace-configure
- Создайте аналитическую настройку Polyspace из команды сборки
Запустите анализ с ранее созданным файлом опций. Добавьте второй файл опций, который содержит остающиеся опции, требуемые для анализа.
polyspace-bug-finder-server -options-file compile_opts -options-file run_opts
Смотрите готовят скрипты к анализу Polyspace.

Загрузите результаты на Polyspace Bug Finder Access.

polyspace-access login -upload resultsFolder -project projName -parent-project parentProjName

Здесь, login комбинация опций, требуемых связываться с веб-сервером, который размещает Polyspace Bug Finder Access:

-host hostName -port portNumber -login username -encrypted-password pwd

resultsFolder папка, содержащая результаты Polyspace. projName и parentProjName имена проекта и порождают папку, когда они появились бы в Polyspace доступ к веб-интерфейсу.

Опционально, отправьте уведомления по электронной почте разработчикам с новыми результатами их представления кода. Электронная почта содержит прикрепления со ссылками на результаты в Polyspace доступ к веб-интерфейсу.
Смотрите отправляют уведомления по электронной почте результатами Polyspace Bug Finder.

Смотрите примеры скриптов, выполняющих эти шаги в Демонстрационных Скриптах для Анализа Polyspace с Дженкинсом.

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