Polyspace 2012a - compatibility windows 7 and Java libraries missing

1 次查看（过去 30 天）
Simileac Andrei
Simileac Andrei 2012-10-30
Hello,
I have 2 questions regarding this version of Polyspace.
One, is regarding the verification status. I send a verification to the server, and it is send ok, dose the verification, reaches the end, but when to generate the results, it says failed and displays this error:
Error: Unable to find the Java libraries pve.jar and util.jar.
If I log on to the server queue I see the verification that was sent by me, and can manually download the results, and see them, but the status in my project manager of the verification is failed. Is this a problem of my machine, dose this libraries are missing from my computer of from the installation?
The other one, is regarding the compatibility with windows 7. Dose this version of Polyspace compatible with it, and if the impact of changing the operating system on my client will take effect on the servers configurations?
Thank you!

请先登录，再回答此问题。

回答（3 个）

Alexandre De Barros
Alexandre De Barros 2012-10-31
Hi !
For the first question, can you tell me where do you see the message "Error: Unable to find the Java libraries pve.jar and util.jar." ? And are you downloading the results from the spooler?
For the second question, yes, Polyspace 12a is compatible with Windows 7. There is no impact on the server if you change the OS of the client. The verification process is independant of the OS that you're using: you can have Linux or Windows clients, and Windows or Linux servers, no problem !
  2 个评论
Simileac Andrei
Simileac Andrei 2012-10-31
Hi Alex,
When I click on the result that finished the verification, in the Output Summary tab, the last 3 info's are:
first: "Warning: No display specified. You will not be able to display graphics on the screen."
second: "Error: Unable to find the Java libraries pve.jar and util.jar."
and last: "Warning: report-generator did not create any file."
The status of the verification is failed, and yes, to actually see the results I need to go on the Queue Manager and download the results manually so that I can see the results.
Hope this information is more accurate.
Alexandre De Barros
Alexandre De Barros 2012-10-31
Are you using some kind of "remote connection" to your client? Generally speaking, could you tell me how you're using the Client?

请先登录，再进行评论。

Sachin Ganjare
Sachin Ganjare 2012-10-30
For Problem No.1:
Refer link below, if you have not already gone through it:
http://www.mathworks.in/support/solutions/en/data/1-9VQS9L/index.html?product=ML&solution=1-9VQS9L
Hope it helps!!!
Benoit
Benoit 2013-2-28
Hello,
I had the same error. In my case it was due to polyspaced started as root on the server instead of the dedicated user account used to install PolySpace.
So starting the PolySpace as the dedicated 'polyspace' user with '/etc/init.d/polyspaced start' was the solution.
Configuration:
* PolySpace 2012b
* Server running on debian amd64
* Client running on windows XP SP3
Benoît.

类别

在 Help Center 和 File Exchange 中查找有关 Introduction to Installation and Licensing 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by