从 Polyspace Access 生成报告

从 Polyspace^® Access™ Web 界面导出结果

将 Polyspace Access Web 界面中的结果汇总到制表符分隔值 (TSV) 文件中，以进行进一步处理，例如应用自定义过滤器和通过/失败准则。将结果汇总存档到报告中，以用于认证和保留记录。

系统命令

`polyspace-access -export` (Polyspace Access)	Export results from Polyspace Access database
`polyspace-report-generator`	（系统命令）从本地或 Polyspace Access 上存储的 Polyspace 分析结果生成报告。

从 Polyspace Access 打开或导出结果 (Polyspace Access)
在桌面端界面中打开 Polyspace Access 结果，或将结果导出为 TSV 文件。
从 Polyspace Access 生成报告和变量列表 (Polyspace Access)
将 Polyspace Access 中的结果汇总到一份报告中，该报告所含结果包括您代码中的变量列表。