在命令行中管理 Polyspace Access 结果和用户

在命令行中使用 polyspace-access 命令管理 Polyspace Access 结果和用户。有关使用 polyspace-access 的信息和示例，请参阅以下命令参考页。

注意

polyspace-access 命令在 polyspaceroot\polyspace\bin 中提供。其中，polyspaceroot 是 Polyspace® Server 的安装文件夹，例如 C:\Program Files\Polyspace Server\R2025b（另请参阅安装文件夹 (Polyspace Bug Finder)）。Polyspace Server 和 Polyspace Access™ 是独立的产品。为避免键入此命令的完整路径，请将此位置添加到操作系统中的 PATH 环境变量中。

管理和审查工程

命令描述
polyspace-access -create-project在 Polyspace Access Web 界面中创建工程文件夹
polyspace-access -move-project移动或重命名工程或文件夹
polyspace-access -delete-project删除指定的工程或文件夹
polyspace-access -set-deletion-policy设置或编辑指定工程的工程运行删除策略
polyspace-access -unset-deletion-policy取消设置指定工程的工程运行删除策略
polyspace-access -get-deletion-policy显示指定工程的删除策略
polyspace-access -list-project列出 Polyspace Access 数据库中所有工程的路径
polyspace-access -list-runs显示已为指定工程上传的所有运行
polyspace-access -set-project-information显示和编辑工程信息（如置顶消息文本）
polyspace-access -unset-project-information删除工程特定信息（如置顶消息文本）

上传、下载或导出结果

命令描述
polyspace-access -upload将 Polyspace Bug Finder、Polyspace Code Prover 或 Polyspace Test 结果上传到 Polyspace Access 数据库。
polyspace-access -export从 Polyspace Access 数据库导出工程结果
polyspace-access -download从 Polyspace Access 下载结果

管理检查结果的审查信息

命令描述
polyspace-access -review编辑工程检查结果的审查字段中的信息
polyspace-access -import-reviews在 Polyspace Access 中将审查信息从源工程导入到目标工程

管理软件质量目标

命令描述
polyspace-access -set-sqo为指定工程分配 SQO 级别
polyspace-access -get-sqo显示当前为指定工程分配的 SQO 级别和 SQO 定义
polyspace-access -list-sqo列出所有可用 SQO 的名称

管理工程运行标签以及未分配的检查结果

命令描述
polyspace-access -add-label向工程运行添加标签
polyspace-access -remove-label从工程运行中删除指定标签
polyspace-access -set-unassigned-findings在 Polyspace Access 数据库中为工程中未分配的结果分配负责人

管理用户权限

命令描述
polyspace-access -set-role针对指定工程或工程文件夹为用户分配角色
polyspace-access -unset-role删除之前针对指定工程或文件夹为用户分配的任何角色

从 Polyspace Metrics Web 中迁移结果

命令描述
polyspace-access -generate-migration-commands生成脚本以将工程从 Polyspace Metrics 迁移到 Polyspace Access
polyspace-access -migrate使用通过 -generate-migration-commands 命令生成的脚本将工程从 Polyspace Metrics 迁移到 Polyspace Access

其他命令

命令描述
polyspace-access -ver显示指定 Polyspace Access 实例的版本和许可证编号
polyspace-access -encrypt-password加密用于登录 Polyspace Access 的密码