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