Примечание
В этом разделе описывается рабочий процесс в веб-интерфейсе Polyspace Metrics.
Для упрощения совместной работы используйте Polyspace ® Code Prover™ Access™. В дополнение к более интуитивно понятной веб-панели управления, с помощью Polyspace Access можно:
Просмотр и обоснование результатов непосредственно из веб-браузера.
Интеграция инструмента отслеживания дефектов, такого как Jira, с веб-интерфейсом и создание билетов для отслеживания результатов Polyspace.
Обмен результатами анализа с помощью веб-ссылок.
Дополнительные сведения см. в документации по доступу к программе проверки кода Polyspace.
После проверки результаты можно загрузить в веб-интерфейс Polyspace Metrics. Веб-интерфейс отображает сводку результатов проверки. Эту сводку можно предоставить другим пользователям, даже если они не установили Polyspace локально. Можно также сравнить результаты с предыдущими проверками в том же проекте или измерить их по предварительно определенным целям качества программного обеспечения.
Дополнительные сведения см. в разделе Метрики качества кода.
Прежде чем создавать метрики качества кода, настройте метрики Polyspace. См. раздел Настройка метрик пространства.
При выполнении проверки в удаленном кластере можно указать, что результаты должны быть автоматически загружены в интерфейс Polyspace Metrics после проверки.
Чтобы задать загрузку после проверки с помощью пользовательского интерфейса Polyspace, в конфигурации проекта выберите «Параметры выполнения». Вместе с анализом Run Code Prover на удаленном кластере выберите Загрузить результаты в метрики Polyspace.
После проверки результаты автоматически загружаются в веб-интерфейс.
При выгрузке результатов из нескольких модулей в проекте результаты имеют одно и то же имя проекта и номер версии, но отображаются под отдельными модулями в Полиспейс Метрикс. Для просмотра или изменения имени и номера версии проекта щелкните правой кнопкой мыши на проекте на панели «Диспетчер проектов» и выберите «Свойства проекта».
Чтобы задать автоматическую отправку в командной строке, используйте параметр Upload results to Polyspace metrics (-add-to-results-repository).
При выполнении локальной проверки на рабочем столе результаты можно загрузить в веб-интерфейс Polyspace Metrics. Даже для удаленной проверки, если не выбран параметр Загрузить результаты в параметры Polyspace, после проверки результаты загружаются на компьютер. Вы можете загрузить их позже.
Чтобы загрузить результаты из интерфейса пользователя «Полиспейс», выберите результат на панели «Диспетчер проектов» или откройте его. Выберите Метрики > Загрузить в метрики. При необходимости измените имя и номер версии проекта по умолчанию.
При выгрузке результатов из нескольких модулей в проекте результаты имеют одно и то же имя проекта и номер версии, но отображаются под отдельными модулями в Полиспейс Метрикс. Для просмотра или изменения имени и номера версии проекта щелкните правой кнопкой мыши на проекте на панели «Диспетчер проектов» и выберите «Свойства проекта».
При загрузке результатов в приложение Polyspace Metrics появляется запрос на ввод пароля. Оставьте поле пустым, если его не требуется указывать.
При указании пароля его необходимо вводить каждый раз при открытии проекта в Полиспейс Метрикс. Сеанс длится 30 минут даже при закрытии и повторном открытии веб-браузера. Через 30 минут введите пароль еще раз.
Пароль можно также указать позже. В веб-интерфейсе Polyspace Metrics щелкните правой кнопкой мыши проект и выберите «Изменить/задать пароль».
Примечание
Пароль для проекта Polyspace Metrics зашифрован. Передача веб-данных не зашифрована. Функция пароля сводит к минимуму непреднамеренное повреждение данных, но не обеспечивает безопасность данных. Однако передача данных между локальным хостом Polyspace Code Prover и хостом планировщика заданий MATLAB ® для удаленной проверки всегда шифруется. Чтобы использовать безопасную передачу веб-данных с HTTPS, см. раздел Настройка веб-сервера для HTTPS.
Используйте команду polyspace-results-repository. Для быстрого просмотра параметров команды используйте -h флаг. В командной строке введите:
polyspaceroot\polyspace\bin\polyspace-results-repository -h
polyspacerootC:\Program Files\Polyspace\R2019a.