首先要验证PolySpace服务器是否已配置并正常运行。这样做:
Windows:
1.从开始菜单或运行以下命令启动远程启动器管理器工具:
C: \ PolySpace \ PolySpace_Common \ RemoteLauncher \ PSTRLManager.exe
2.检查配置是否正确
3.通过单击“View log”确认日志文件显示服务已启动
4.如果有任何错误或您不确定服务是否已启动，请单击“启动守护进程”按钮重新启动服务。
在Solaris / Linux:
1.验证是否有一个polyspaced进程正在运行
2.检查日志文件:/var/ polyspace /polyspace .log，查看远程启动器是否启动，并且没有错误。
3.如果有任何问题，尝试通过运行脚本重置远程启动器:
/usr/local/PolySpace/PolySpace_Common / RemoteLauncher / bin / setup-remote-launcher
4.重新配置后，您可以运行带有-start-service标志的相同脚本重新启动服务:
/usr/local/PolySpace/PolySpace_Common / RemoteLauncher / bin / setup-remote-launcher开始营运
确定服务在PolySpace Server上启动并运行后，请检查以确保将客户端配置为指向PolySpace Server上的正确端口。这样做:
1.打开客户端启动器
2.转到选项菜单到首选项(R2010a或更早版本:编辑菜单到首选项)
3.进入远程启动器选项卡
4.选择“使用以下服务器和端口”选项，并输入PolySpace服务器主机名和端口号
5.按OK设置PolySpace服务器
设置完成后，尝试再次运行作业。如果作业仍然失败，请在此处联系安装和授权团队:
