Report generation along with successful Polyspace analysis results using command line option

Question

sharath jakku 2017-6-28

1
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/346528-report-generation-along-with-successful-polyspace-analysis-results-using-command-line-option

评论： Anirban 2022-5-23

i wanted to analyze and generate report for one of .c file,

for Analysis i have used below command

"C:\Program Files\MATLAB\R2014a\polyspace\bin\polyspace-code-prover-nodesktop.exe" -prog LORD_VENKAT -author sharath -I "C:\Sarath\Renault_RACAM_Host\GEN_FILES" -results-dir "C:\Sarath\Renault_RACAM_Host\Applications\POLYSPACE_OUT\Polyspace-Doc" -main-generator -lang c -batch -scheduler HXXXXXXXXX -sources-list-file "FILES_LIST.txt"

for report generation below command

"C:\Program Files\MATLAB\R2014a\polyspace\bin\polyspace-report-generator.exe" -template "C:\Program Files\MATLAB\R2014a\polyspace\toolbox\psrptgen\templates\Developer.rpt" -format pdf -results-dir "C:\Sarath\Renault_RACAM_Host\Applications\POLYSPACE_OUT\Polyspace-Doc"

1.if i use both the commands in a single line i am getting error like "Error: Polyspace : Read access problem on ..." even though i am having admin rights.

2.if i am giving individually

*analysis command* : i can see job status is running in schedule manager.
*Report generation command*  :  This report contains only Polyspace Code Verification Summary, Code Metrics,Configuration Settings,Definitions

* In generated report i can see there is missing section Polyspace Proven which will gives details of number errors in detail. and another section Polyspace Run-Time Checks Results

*here my problem is how i can generate a report with all the list of warnings and with out missing sections (that i have mentioned above) using command line.

Is that commands that i have given correct or not.

could you please help me in this

Thanks in advance Sharath Jakku

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

Answer 1

Alexandre De Barros 2017-6-29

3
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/346528-report-generation-along-with-successful-polyspace-analysis-results-using-command-line-option#answer_272370

Hello,

in the first command you launch a verification in batch mode, i.e. the verification will run on a server, not locally. When you launch the second command, the one which reads the results to generate the report, you have to ensure that the verification is finished and that the results have been downloaded.

Otherwise, the results folder is not complete.

That's the meaning of "*Report generation command* : This report contains only Polyspace Code Verification Summary, Code Metrics,Configuration Settings,Definitions".

Since you want to generate a report for your batch verification, you simply could add the options to generate the report automatically at the end of the verification to your first command.

See this page in the documentation to know the options to use:

http://www.mathworks.com/help/codeprover/ref/generatereport.html

Best regards,

Alexandre

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

Anirban 2022-5-23

Giving a more updated documentation link with all commands, options and workflows related to report generation: https://www.mathworks.com/help/codeprover/generate-reports.html

请先登录，再进行评论。