从 Polyspace Access 导出结果
Polyspace® Access™ 提供了一个集中式数据库,您可以在其中存储 Polyspace 分析结果,以便与您的团队共享结果并进行协同审查。将分析结果上传到数据库后,您可以:
在 Web 浏览器中查看结果。
将结果列表导出为制表符分隔值 (TSV) 文件以进行进一步处理,例如应用自定义过滤器和通过/失败标准。
使用
polyspace-access -download命令下载结果。您可以使用这些下载的结果在 Polyspace Access 工程之间合并审查信息,或将其用作 Polyspaceas You Code™ 中基线工作流的一部分。另请参阅:您无法在任何 Polyspace 界面中打开使用
polyspace-access下载的结果。
将 Polyspace Access 结果导出为 TSV 文件
要将 Polyspace Access 结果导出为制表符分隔值 (TSV) 文件,您只能使用 polyspace-access 二进制文件从命令行导出。当您导出结果时,会生成一个 TSV 文件,其中所列结果的大多数结果属性都与Polyspace Access Web 界面中的结果列表相同。每个列出的结果还包含一个 URL,您可以通过该 URL 在 Polyspace Access 中打开相关结果。要过滤导出的结果列表,请参阅 polyspace-access -export 命令。
例如,要从存储在 Polyspace Access 的 public 文件夹中的工程 myProject 中导出状态为未审查的所有编码规则,请打开命令提示符终端并输入以下命令:
polyspace-access -host hostName -port port ^ -export public/myProject -coding-rules -review-status Unreviewed ^ -output coding_rules.tsv
该命令会提示您输入 Polyspace Access 登录凭据,然后输出 coding_rules.tsv 文件。
和 hostName 对应于您在 Polyspace Access 界面的 URL 中指定的主机名和端口号,例如 porthttps://。如果您不确定要使用的主机名和端口号,请联系您的 Polyspace Access 管理员。根据您的配置,您可能还必须在命令中指定 hostName:port/metrics/index.html-protocol 选项。请参阅配置并启动 Cluster Admin。
请注意,您无法使用 polyspace-access 命令导出利用 Polyspace Test™ 生成的测试或覆盖率结果。