Polyspace® Доступ предлагает централизованную базу данных, где можно сохранить результаты анализа Polyspace для совместного использования с командой и совместными отзывами. После того, как вы загрузите результаты анализа на базу данных, вы можете:
Просмотрите результаты в своем веб-браузере.
Откройте результаты любого интерфейса рабочего стола Polyspace, который сконфигурирован для Polyspace доступ
Экспортируйте список результатов к файлу разделенного от вкладки значения (TSV) для последующей обработки, таких как применение пользовательских фильтров и передайте/приведите критерии к сбою.
Загрузите результаты при помощи polyspace-access . Вы используете эти загруженные результаты объединить информацию об анализе между проектами Access Polyspace (информация об Анализе Слияния Между проектами Access Polyspace).
Вы не можете открыть результаты, которые вы загружаете polysace-access в любом интерфейсе Polyspace.
Остальная часть этой темы обсуждает, как открыть Polyspace доступ к результатам в настольном интерфейсе и как экспортировать результаты в файл TSV.
Прежде чем вы откроете Polyspace доступ к результатам в настольном интерфейсе, необходимо сконфигурировать интерфейс рабочего стола Polyspace, чтобы передать с Polyspace доступ. Смотрите Пользовательский интерфейс Рабочего стола Polyspace Регистра.
Чтобы открыть результаты, сохраненные в базе данных Access Polyspace, перейдите к Access> Open Result в настольном интерфейсе и следуйте за подсказками. Если вы получаете запрос входа в систему, используйте свой Polyspace доступ к учетным данным входа в систему.
Можно также открыть настольный интерфейс от Polyspace доступ к веб-интерфейсу. На панели инструментов нажмите Open in Desktop. Настольный интерфейс открывает и показывает результаты анализа, в настоящее время отображенные в Polyspace доступ к веб-интерфейсу.
Примечание
В Linux®, настольный интерфейс должен уже быть открыт, прежде чем можно будет просмотреть результаты анализа, в настоящее время открывают в Polyspace доступ.
Если вы открываете результаты в интерфейсе рабочего стола Polyspace, изменения, которые вы вносите в Status, Severity, или поля комментариев отражаются в Polyspace доступ после того, как вы сохраняете те изменения. Присваивать пользовательский Status, в настольном интерфейсе:
Перейдите к Tools> Preferences и выберите вкладку Review Statuses, чтобы создать пользовательское состояние.
В панели Result Details присвойте состояние, которое вы создали из выпадающего Status.
В интерфейсе Polyspace Access пользовательское состояние, которое вы присваиваете в проекте, не доступно в других проектах.
После того, как вы загружаете результаты анализа на Polyspace доступ, если вы открываете локальную копию этих результатов в настольном интерфейсе, вы не можете отредактировать Status, Severity или поля комментариев.
Можно экспортировать Polyspace доступ к результатам к файлу разделенных от вкладки значений (TSV) только из командной строки при помощи polyspace-access двоичный файл. Когда вы экспортируете результаты, вы генерируете файл TSV, который перечисляет результаты с большинством тех же атрибутов результатов как Список Результатов в Polyspace доступ к веб-интерфейсу. Каждый перечисленный результат также включает URL, через который можно открыть результат в Polyspace доступ. Чтобы отфильтровать список результатов, вы экспортируете, видите polyspace-access экспортируйте опции.
Например, чтобы экспортировать все правила кодирования с состоянием Unreviewed из проекта myProject, сохраненный в папке public на Polyspace доступ, откройте терминал командной строки и войдите:
polyspace-access -host hostName -port port ^
-export public/myProject -coding-rules -review-status Unreviewed ^
-output coding_rules.tsvКомандные строки вы для вашего Polyspace доступ к учетным данным входа в систему, и затем выходному файлу coding_rules.tsv.
hostNameport, https://. Если вы не уверены, о котором имени хоста и номере порта, чтобы использовать, связываются с вашим Polyspace доступ к администратору. В зависимости от вашей настройки вам придется также задать hostNameПорт/metrics/index.html-protocol опция в команде. Смотрите Конфигурируют и Запускают Кластерного Администратора.