本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
运行设置
指定远程验证
要指定必须在远程服务器端执行验证，请使用运行设置选项。
Polyspace 选项
在远程集群上运行 Bug Finder 或 Code Prover 分析 (-batch) | Enable batch remote analysis |
主题
- 指定 Polyspace 分析选项
在 Polyspace® 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。
- Send Polyspace Analysis from Desktop to Remote Servers Using Scripts
Send Polyspace analysis jobs to a remote server by using batch files (
.bat) or shell scripts (.sh).
