(DOS/UNIX) Управляет загрузкой, или экспорт Polyspace следует из Polyspace доступ к веб-интерфейсу
polyspace-access -host
создает папку проекта в Polyspace® Доступ к веб-интерфейсу. Папка может быть наверху иерархии проекта или подпапки под существующей папкой проекта.hostname
[configuration options
] -create-project projectFolder
polyspace-access -host
Polyspace загрузок следует из папки или заархивированного файла к базе данных Access Polyspace. Вы загружаете результаты с помощью этой команды, только если те результаты были сгенерированы с Сервером Polyspace Code Prover™ или Polyspace Bug Finder™ Server™. Чтобы загрузить результаты, сгенерированные с интерфейсом рабочего стола Polyspace, смотрите Результаты Загрузки Клиента Рабочего стола Polyspace. Используйте опции загрузки, чтобы задать папку проекта или переименовать проект. hostname
[configuration options
] -upload pathToFolderOrZipFile
[upload options
]
polyspace-access -host
проект экспорта следует из проекта в базе данных Access Polyspace к текстовому файлу, местоположение которого вы задаете с hostname
[configuration options
] -export findingsToExport
-output filePath
[export options
]filePath
. Вы задаете проект с помощью или полного пути в Polyspace доступ или ID запуска. Используйте эту команду, чтобы экспортировать результаты в другие инструменты, которые вы используете для пользовательских отчетов. Чтобы получить пути к проектам и их последним идентификаторам запуска, используйте polyspace-access
с -list-project
команда.
polyspace-access -host
загрузки следуют из проекта Access Polyspace hostname
[configuration options
] -download findingsToDownload
-output-folder-path folderPath
findingsToDownload
к папке, местоположение которой вы задаете с folderPath
. Вы задаете проект с помощью или полного пути в Polyspace доступ или ID запуска.
Используйте эту команду в качестве части рабочего процесса, чтобы объединить информацию об анализе между проектами или создать базовую линию для последующих исследований Polyspace. Чтобы объединить информацию об анализе между проектами, смотрите информацию об Анализе Слияния Между проектами Access Polyspace.
Чтобы создать базовую линию для Polyspace, Вы Кодируют результаты в командной строке, видят Базовый Polyspace, как Вы Кодируете Результаты на Командной строке. Чтобы получить пути к проектам и их последним идентификаторам запуска, используйте polyspace-access
с -list-project
команда.
Вы не можете открыть результаты, которые вы загружаете этой командой в интерфейсе рабочего стола Polyspace или Polyspace, когда Вы Кодируете расширения IDE.
polyspace-access -host
владельцы присвоений к неприсвоенным результатам в проекте в базе данных Access Polyspace. Вы задаете проект с помощью или полного пути в Polyspace доступ или ID запуска. Используйте hostname
[configuration options
] -set-unassigned-findings findingsToAssign
-owner userToAssign
-source-contains pattern
[set unassigned findings options
]set unassigned findings options
присваивать результаты от групп файлов другого источника или различных групп исходных файлов различным владельцам. Чтобы получить пути к проектам и их последним идентификаторам запуска, используйте polyspace-access
с -list-project
команда.
polyspace-access -host
без дополнительного аргумента hostname
[configuration options
] -list-project [findingsPath
]findingsPath
перечисляет пути ко всем проектам в базе данных Access Polyspace и их последних идентификаторах запуска. Если вы задаете полный путь к проекту с аргументом findingsPath
, списки команд последний ID запуска.
polyspace-access -host
присваивает роль hostname
[configuration options
] -set-role role
-user username
-group groupname
-project-path projectFolderOrFindingsPath
role
к username
или groupname
для заданной папки проекта или проекта. Ролевой набор пользователя или группы для папки проекта применяется ко всем результатам проекта под той папкой. Все пользователи в группе наследовали роль, присвоенную их родительской группе. Вы задаете проект с помощью или полного пути в Polyspace доступ или последнего ID запуска. Чтобы получить пути к проектам и их последним идентификаторам запуска, используйте polyspace-access
команда с -list-project
команда.
polyspace-access -host
удаляет любую роль, ранее присвоенную hostname
[configuration options
] -unset-role -user username
-group groupname
-project-path projectFolderOrFindingsPath
username
или groupname
для заданной папки проекта или проекта. Отмена присвоения роли для группы отменяет присвоение той роли для всех пользователей в той группе. Вы задаете проект с помощью или полного пути в Polyspace доступ или последнего ID запуска. Чтобы получить пути к проектам и их последним идентификаторам запуска, используйте polyspace-access
с -list-project
команда.
polyspace-access -encrypt-password
шифрует пароль, который вы используете, чтобы регистрировать в Polyspace доступ. Используйте выход этой команды в качестве аргумента -encrypted-password
опция, когда вы пишете скрипты автоматизации, чтобы взаимодействовать с Polyspace доступ.
polyspace-access -generate-migration-commands
генерирует скрипты, чтобы переместить проекты от пути metrics_dir
-output-folder-path dir
[generate migration commands options
]metrics_dir
в Метриках Polyspace к Polyspace доступ. Команда хранит скрипты в dir
. Чтобы задать который результаты проекта мигрировать, используйте generate migration commands options
.
polyspace-access -host
перемещает проекты от Метрик Polyspace до Polyspace доступ к использованию скриптов, сгенерированных с hostname
[configuration options
] -migrate -option-file-path dir
[-dryrun]-generate-migration-commands
команда. Чтобы просмотреть, какие проекты перемещаются, на самом деле не перемещая проекты, используйте -dryrun
опция.