从 Polyspace Access 导出结果
从 Polyspace® Access™ Web 界面导出结果
您可以从 Polyspace Access Web 界面将结果导出为制表符分隔值 (TSV) 文件,以进行进一步处理,例如应用自定义过滤器和通过/失败准则。
DOS/UNIX 命令
polyspace-access |
主题
- 从 Polyspace Access 打开或导出结果 (Polyspace Access)
在桌面端界面中打开 Polyspace Access 结果,或将结果导出为 TSV 文件。