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