Azzera filtri
Azzera filtri

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

11 visualizzazioni (ultimi 30 giorni)
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

Risposte (1)

Alexandre De Barros
Alexandre De Barros il 29 Giu 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

Categorie

Scopri di più su Get Started with Polyspace Products for Ada in Help Center e File Exchange

Community Treasure Hunt

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

Start Hunting!

Translated by