从 Polyspace Access 生成报告和变量列表

注意

要在命令行中生成有关 Polyspace^® Access™ 的结果报告，您必须安装 Polyspace Bug Finder™ Server™ 或 Polyspace Code Prover™ Server。

假设您要生成报告，并从 Code Prover 分析结果中导出变量列表以在 Polyspace Access 工程中查看。

要连接到 Polyspace Access，请提供主机名和登录凭据（包括加密密码）。要加密您的密码，请使用 polyspace-access 命令并在提示符处输入用户名和密码。

polyspace-access -encrypt-password 
login: jsmith
password:
CRYPTED_PASSWORD LAMMMEACDMKEFELKMNDCONEAPECEEKPL
Command Completed

将登录名和加密密码存储在凭据文件中，并限制对此文件的读取和写入权限。例如，打开文本编辑器，将以下两行代码复制到编辑器中，然后将文件另存为 myCredentials.txt 文件。

 -login jsmith
 -encrypted-password LAMMMEACDMKEFELKMNDCONEAPECEEKPL

要限制文件权限，请右键点击文件，然后在 Linux^® 中选择权限选项卡或在 Windows^® 中选择安全选项卡。

要选择工程以在 Polyspace Access 中进行汇总，请指定该工程的运行 ID。要获取工程及其最新运行 ID 的列表，请带 -list-project 选项使用命令 polyspace-access。

polyspace-access -host myAccessServer -credentials-file myCredentials.txt -list-project
Connecting to https://myAccessServer:9443
Connecting as jsmith
Get project list with the last Run Id
Restricted/Code_Prover_Example (Code Prover) RUN_ID 14
public/Bug_Finder_Example (Bug Finder) RUN_ID 24
public/CP/Code_Prover_Example (Polyspace Code Prover) RUN_ID 16
public/Polyspace (Code Prover) RUN_ID 28
Command Completed

有关此命令的详细信息，请参阅 polyspace-access。

为主机名为 myAccessServer 的 Polyspace Access 实例中运行 ID 为 16 的结果生成 Developer 报告。此 Polyspace Access 实例的 URL 为 https://myAccessServer:9443。

SET template_path=^
"C:\Program Files\Polyspace\R2019a\toolbox\polyspace\psrptgen\templates"

polyspace-report-generator -credentials-file myCredentials.txt ^
-template %template_path%\Developer.rpt ^
-host myAccessServer ^
-run-id 16 ^
-output-name myReport

该命令使用您指定的模板创建报告 myReport.docx。该报告存储在您调用该命令时的路径上的 Polyspace-Doc 文件夹中。

生成制表符分隔的文本文件，该文件包含代码中用于指定的分析结果的全局变量列表。

polyspace-report-generator -credentials-file myCredentials.txt^
-generate-variable-access-file ^
-host myAccessServer ^
-run-id 16

全局变量列表 Variable_View.txt 存储在与生成的报告相同的文件夹中。有关导出的变量列表的详细信息，请参阅View Exported Variable List (Polyspace Code Prover)。

从 Polyspace Access 生成报告和变量列表

WeChat