How can the results of Polyspace Code Prover be shared?

Question

vivek manchala 2018-6-5

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/404157-how-can-the-results-of-polyspace-code-prover-be-shared

回答： Jatin 2024-9-20

I have a machine where i run Polyspace analysis on Polyspace Code prover and i have to share those results with my team who work on resolving the errors, but they are unable to open the .pscp files withot polyspace license on their workstations.

Isn't there a possibility for them to access the results file without the license for the product as they just have to view the results and do not have the need to run the code prover for analysis.

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Geetha S 2019-9-3

Hello ,

Export the results in Develpoer review in Export option .

Export option are .PDF, word and HTML report

but again you need to feed them into project for further analysis

请先登录，再进行评论。

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

Answer 1

Jatin 2024-9-20

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/404157-how-can-the-results-of-polyspace-code-prover-be-shared#answer_1519750

Hi @vivek manchala,

You can indeed share your Polyspace analysis results with your team even if they don't have a Polyspace license. You can generate reports in various formats such as HTML, PDF, or Word and distribute these to your team.

For larger teams or enhanced collaboration, consider using Polyspace Access. Although it requires a license, this product allows you to upload reports to a server, enabling team members to access them with a web-based interface.

You can go through these documents to know more about this:

"generate reports": https://www.mathworks.com/help/bugfinder/generate-reports.html

"Polyspace Access": https://www.mathworks.com/help/polyspace_access/index.html

Hope this was helpful.