开始第一次验证PolySpace服务器配置和运行正常。这样做:
Windows:
1。从开始菜单中启动远程启动管理器工具或通过运行:
C: \ PolySpace \ PolySpace_Common \ RemoteLauncher \ PSTRLManager.exe
2。检查配置是否正确
3所示。确认日志文件显示,通过点击“查看日志”服务开始
4所示。如果有任何错误或如果你不确定该服务启动,单击“启动守护进程”按钮重新启动服务。
在Solaris / Linux:
1。确认有polyspaced过程运行
2。检查日志文件:/var/PolySpace/polyspaced。日志看到遥控发射器启动,没有错误。
3所示。如果有任何问题,尝试重置远程发射器通过运行脚本:
/usr/local/PolySpace/PolySpace_Common / RemoteLauncher / bin / setup-remote-launcher
4所示。一旦重新配置您可以运行相同的脚本开始营运旗重新启动服务:
/usr/local/PolySpace/PolySpace_Common / RemoteLauncher / bin / setup-remote-launcher开始营运
一旦你确定服务PolySpace服务器上启动并运行,检查并确保客户端被配置为指向PolySpace服务器上正确的端口。这样做:
1。打开客户端启动
2。去选项菜单的偏好(R2010a或之前:编辑菜单偏好)
3所示。去远程启动选项卡
4所示。选择“使用下面的服务器和端口”并输入PolySpace服务器主机名和端口号
5。按OK设置PolySpace服务器
设置后,再次尝试运行工作。如果工作仍然失败,联系安装和授权的团队:
