主要内容

Polyspace Access 导出结果

Polyspace® Access™ 提供了一个集中式数据库,您可以在其中存储 Polyspace 分析结果,以便与您的团队共享结果并进行协同审查。将分析结果上传到数据库后,您可以:

Polyspace Access 结果导出为 TSV 文件

要将 Polyspace Access 结果导出为制表符分隔值 (TSV) 文件,您只能使用 polyspace-access 二进制文件从命令行导出。当您导出结果时,会生成一个 TSV 文件,其中所列结果的大多数结果属性都与Polyspace Access Web 界面中的结果列表相同。每个列出的结果还包含一个 URL,您可以通过该 URL 在 Polyspace Access 中打开相关结果。要过滤导出的结果列表,请参阅 polyspace-access -export 命令。

例如,要从存储在 Polyspace Accesspublic 文件夹中的工程 myProject 中导出状态为未审查的所有编码规则,请打开命令提示符终端并输入以下命令:

polyspace-access -host hostName -port port ^
-export public/myProject -coding-rules -review-status Unreviewed ^
-output coding_rules.tsv

该命令会提示您输入 Polyspace Access 登录凭据,然后输出 coding_rules.tsv 文件。

hostNameport 对应于您在 Polyspace Access 界面的 URL 中指定的主机名和端口号,例如 https://hostName:port/metrics/index.html。如果您不确定要使用的主机名和端口号,请联系您的 Polyspace Access 管理员。根据您的配置,您可能还必须在命令中指定 -protocol 选项。请参阅配置并启动 Cluster Admin

请注意,您无法使用 polyspace-access 命令导出利用 Polyspace Test™ 生成的测试或覆盖率结果。

另请参阅

主题