Polyspace Access结果导出与代码注释使用指南
1. Polyspace Access结果的查看与导出概述
Polyspace Access提供了一个集中式数据库,可用于存储Polyspace分析结果,方便团队共享和协作评审。上传分析结果到数据库后,你可以进行以下操作:
- 在Web浏览器中查看结果。
- 从任何配置好与Polyspace Access通信的Polyspace桌面界面打开结果。
- 将结果列表导出为制表符分隔值(TSV)文件,以便进行进一步处理,如应用自定义过滤器和通过/失败标准。
- 使用 polyspace-access 下载结果,用于合并Polyspace Access项目之间的评审信息。但需注意,使用 polyspace-access 下载的结果无法在任何Polyspace界面中打开。
下面将详细介绍如何在桌面界面打开Polyspace Access结果以及如何将结果导出为TSV文件。
2. 在桌面界面打开Polyspace Access结果
在桌面界面打开Polyspace Access结果之前,你需要配置Polyspace桌面界面以与Polyspace Access进行通信。具体操作如下:
1. 在桌面界面中,选择“Access > Open Result”,然后按照提示操作。如果系统要求登录,请使用你的Polyspace Access登录凭据。
2. 你也可以从Polyspace Access Web界面打开桌面界面。在工具条上,点击“Open in Desktop”,桌面界面将打开并显示当
超级会员免费看
订阅专栏 解锁全文
47

被折叠的 条评论
为什么被折叠?



