Необходимые условия
Начинать использовать Polyspace® Доступ, загрузка заканчивается к базе данных Access Polyspace и открытый веб-интерфейс, чтобы просмотреть те результаты.
Чтобы загрузить примеры, которым предоставляют ваш Polyspace Bug Finder™ Server™ или установку Сервера Polyspace Code Prover™, из командной строки, переходят к polyspaceroot\polyspace
bin\polyspace-access -host hostname -port port^
-upload examples\cxx\Bug_Finder_Example\Module_1\BF_Resultpolyspaceroot путь к вашей установке Polyspace. hostname полностью определенное доменное имя (FQDN) машины, которая размещает Polyspace доступ. port номер порта, который вы задали при запуске admin-docker-agent двоичный файл. Для получения дополнительной информации о загрузке результатов командной строки смотрите Результаты Загрузки в Командной строке.После каждой команды вам предлагают ввести ваше имя пользователя и пароль. Введите учетные данные, которые вы используете, чтобы войти в систему Polyspace доступ.
Вы не можете использовать командную строку, чтобы загрузить результаты анализа Десктопного решения Polyspace на базу данных Access Polyspace.
Загружать демонстрационные примеры, которым предоставляют ваш Polyspace Bug Finder или Polyspace Code Prover:
Откройте пример в настольном интерфейсе и выберите результаты в панели Project Browser или переключателе к панели Results List.
В меню нажмите Access> Upload Results. Если вам предлагают войти в систему, используйте свой Polyspace доступ к учетным данным.
В окне Upload results to Polyspace Access repository кликните по папке, чтобы выбрать местоположение загрузки, затем нажать Upload. Можно опционально переименовать проект.
Можно также загрузить на базу данных Access Polyspace путем выбора результата в панели Project Browser и использования контекстного меню.
Необходимо сконфигурировать настольный интерфейс, чтобы передать с Polyspace доступ. Смотрите Пользовательский интерфейс Рабочего стола Polyspace Регистра.
После того, как вы загружаете результаты на Polyspace доступ:
Если вы открываете локальную копию результатов в интерфейсе Desktop, вы не можете внести изменения в Status, Severity, или прокомментировать поля.
Чтобы внести изменения в Status, Severity или поля комментария, открывает результаты Polyspace доступ путем движения в Access> Open Results.
Если вы сохраняете изменения, которые вы вносите в эти поля в настольном интерфейсе, изменения отражаются в Polyspace доступ к веб-интерфейсу.
TO, открытый интерфейс Polyspace Access, нажмите Open UI в Admin Dashboard.
Скопируйте URL со строки поиска, например, https://access-machine.company.com:9443/metrics/index.html и совместно используйте его с Пользователями доступа Polyspace. URL позволяет пользователям открывать интерфейс Polyspace Access от любой машины, соединенной с сервером, который размещает Polyspace доступ.
Если вы завершаете установку, закрываете интерфейс Cluster Admin и останавливаете admin-docker-agent двоичный файл в командной строке путем нажатия Ctrl+C. Если вы останавливаете двоичный файл прежде, чем закрыть интерфейс, состояние приложения перечислено как Неизвестное состояние.