Report generation along with successful Polyspace analysis results using command line option
24 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
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 comentarios
Respuestas (1)
Alexandre De Barros
el 29 de Jun. de 2017
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:
Best regards,
Alexandre
1 comentario
Anirban
el 23 de Mayo de 2022
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
Ver también
Categorías
Más información sobre Run Settings en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!