Если вы используете Polyspace® Метрики, чтобы сохранить результаты и контролировать качество вашего исходного кода, можно передать те результаты Polyspace доступ.
Polyspace доступ к перспективе DASHBOARD предлагает веб-интерфейс с навигацией между проектами и категориями результатов. От инструментальной панели Project Overview просмотрите агрегированную статистику для всех своих проектов или углубитесь, чтобы посмотреть детали результатов по категориям или файл. Для каждого семейства результатов откройте дополнительную инструментальную панель, чтобы видеть детали. После того, как вы сузите набор результатов, что вы хотите обратиться, открыть их в перспективе REVIEW, чтобы начать рассматривать отдельные результаты.
Примечание
Перспектива REVIEW только доступна для результатов анализа, сгенерированных с версией R2019a Продукта polyspace или позже. Чтобы рассмотреть R2018b или более ранние результаты, что вы переместили на Polyspace доступ, смотрите Открытый или Результаты Экспорта Polyspace доступ.
Можно также рассмотреть результаты Polyspace доступ путем открытия их в интерфейсе рабочего стола Polyspace. Вы не должны загружать локальную копию Polyspace доступ к результатам просмотреть те результаты в настольном интерфейсе. Редактирования, которые вы делаете к результатам, сохранены непосредственно в Polyspace доступ и позволяют вам выполнить совместные отзывы.
Передача результатов Метрического репозитория к базе данных Access Polyspace требует polyspace-access двоичный файл. Этот двоичный файл доступен под polyspaceroot/polyspace/binpolyspaceroot папка установки Продукта polyspace, например, C:\Program Files\Polyspace Server\2019a.
Для синтаксиса и примеров, смотрите polyspace-access.
Чтобы переместить результаты Метрик Polyspace на Polyspace доступ, выполните эти шаги. Вы должны быть зарегистрированы к вашему Метрическому серверу, чтобы завершить эту операцию.
Идентифицируйте Метрическое местоположение репозитория результатов. Метрические результаты Polyspace хранятся в results-repository папка в том местоположении.
Чтобы просмотреть путь к этому местоположению, от настольного интерфейса, переходят к Tools> Metrics Server Settings. Или в командной строке запустите команду psqueue-check-config.
По умолчанию результаты хранятся под C:\Users\username\AppData\Roaming\Polyspace_RLDatas\results-репозиторий/home/ на Linux®. username/.polyspace/results-repositoryusername ваше компьютерное имя зарегистрированного пользователя.
Сгенерируйте скрипты миграции.
Если вы идентифицируете папку репозитория, от которого вы хотите передать результаты, задать стратегию миграции. Можно принять решение передать все проекты, или можно сузить осциллограф передачи в определенный набор проектов.
Задайте набор проектов с опциями, перечисленными в этой таблице.
| Опция | Описание |
|---|---|
| Количество новых аналитических запусков вы хотите мигрировать для каждого проекта. Например, чтобы переместить только последние два аналитических запуска проекта, задайте 2. |
| Только переместите результаты, которые были загружены на Метрики Polyspace на или после заданной даты. |
| Продукт раньше анализировал и производил результаты проекта в виде |
| Режим Analysis раньше генерировал результаты проекта в виде |
Например, чтобы передать только результаты анализа Polyspace Bug Finder™, которые вы загрузили на Метрики Polyspace на или после июня 2017, используйте эту команду:
polyspace-access -generate-migration-commands ^
C:\Users\username\AppData\Roaming\Polyspace_RLDatas\results-repository ^
-output-folder-path C:\Polyspace_Workspace\Migrate^
-project-date-after 2017-06^
-product bug-finderC:\Users\username\AppData\Roaming\Polyspace_RLDatas\results-репозиторийC:\Polyspace_Workspace\Migrate. Прежде чем вы продолжите, можно опционально открыть скрипты миграции в текстовом редакторе и изменить -project или -parent-project параметры. Параметры соответствуют имени проекта и папки, под которой это хранится в Polyspace доступ, соответственно.
Переместите проекты.
После того, как вы сгенерируете скрипты миграции, чтобы передать все выбранные проекты используют те скрипты с этой командой миграции:
polyspace-access -host hostName -port port ^
-migrate -option-file-path ^
C:\Polyspace_Workspace\MigrateC:\Polyspace_Workspace\Migrate и загружает результаты на Polyspace доступ к экземпляру, который вы задаете с hostName. Введите свое имя и пароль Пользователя доступа Polyspace в подсказке.hostNameport, https://. Если вы не уверены, о котором имени хоста и номере порта, чтобы использовать, связываются с вашим Polyspace доступ к администратору. В зависимости от вашей настройки вы можете также должны быть задать hostNameПорт/metrics/index.html-protocol опция в команде миграции.
Во время выполнения скрипта миграции команда генерирует временный STARTED файл. После каждого успешного выполнения скрипта миграции команда удаляет STARTED файл и генерирует соответствующий DONE файл в той же папке как скрипт. Например, команда генерирует foo.started во время выполнения foo.cmd, и затем foo.done однажды foo.cmd сделан. Не удаляйте их DONE файлы, пока вы не завершили свою миграцию от Метрик до доступа.
В зависимости от объема данных, который вы передаете и на вашей конфигурации сети, может занять много времени миграция. Можно прервать передачу, и затем продолжить от того, где вы кончили в более позднее время. Чтобы остановить передачу, нажмите CTRL+C. Перезапускать передачу:
Перейдите к папке, где вы храните скрипты миграции и открываете STARTED файл в текстовом редакторе. Файл может быть в подпапке папки скриптов миграции.
Следуйте инструкциям в файле, затем снова используйте ту же команду миграции, которую вы использовали, когда вы запустили миграцию. Команда пропускает проекты, которые загрузили успешно.
Если миграция проекта перестала работать, перейдите к папке скрипта миграции. Смотрите FAILED файл для получения дополнительной информации.
После того, как вы перемещаете свои проекты от Метрик Polyspace до Polyspace доступ, вы можете заметить различия, когда вы исследуете свое качество кода против, Оценивают Результаты Polyspace Code Prover Против Целей Качества программного обеспечения (Polyspace Code Prover).
Различие происходит из-за пути Метрики Polyspace и Polyspace, доступ вычисляет пороги для качественных целей. Метрики Polyspace смотрят на отдельные файлы, чтобы определить, достигает ли ваш код данного порога SQO. Например, если файл foo.c не достигает порога SQO2, затем целый проект не достигает того порога.
Доступ к Polyspace смотрит на целый проект определить, соответствует ли ваш исходный код данному порогу SQO. Даже если файл foo.c не достигает порога, целый проект может все еще соответствовать заданному качественному порогу цели.