从 Polyspace Access 生成报告

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

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

DOS/UNIX 命令

`polyspace-access`	(DOS/UNIX) Manage Polyspace Access results and users at the command line
`polyspace-report-generator` (Polyspace Bug Finder)	(DOS/UNIX) Generate reports for Polyspace analysis results stored locally or on Polyspace Access

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