主要内容

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

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

注意

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

管理和审查工程

命令描述
polyspace-access -create-projectPolyspace 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 -uploadPolyspace Bug Finder™Polyspace Code Prover™Polyspace Test™ 结果上传到 Polyspace Access 数据库
polyspace-access -exportPolyspace Access 数据库导出工程结果
polyspace-access -downloadPolyspace Access 下载结果

管理检查结果的审查信息

命令描述
polyspace-access -review编辑工程检查结果的审查字段中的信息
polyspace-access -import-reviewsPolyspace 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-findingsPolyspace Access 数据库中为工程中未分配的结果分配负责人

管理用户权限

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

其他命令

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