MATLAB的答案

报告生成与成功Polyspace分析结果使用命令行选项

55视图(30天)
sharath jakku
sharath jakku 2017年6月28日
评论道: Anirban 2022年5月23日
我想分析c文件之一,并生成报告
为 分析我用下面的命令
“C: \ Program Files \ MATLAB \ R2014a \ polyspace \ bin \ polyspace-code-prover-nodesktop.exe” 掠夺 LORD_VENKAT 也只是 sharath -我 “C: \ \ Renault_RACAM_Host \ GEN_FILES瑟” -results-dir “C: \ Sarath \ Renault_RACAM_Host \程序\ POLYSPACE_OUT \ Polyspace-Doc” 主发电机 朗 c 批处理 调度器 HXXXXXXXXX -sources-list-file “FILES_LIST.txt”
为 报告生成 下面的命令
“C: \ Program Files \ MATLAB \ R2014a \ polyspace \ bin \ polyspace-report-generator.exe” 模板 “C: \ Program Files \ MATLAB工具箱\ R2014a \ polyspace \ \ psrptgen \ templates \ Developer.rpt” 格式 pdf -results-dir “C: \ Sarath \ Renault_RACAM_Host \程序\ POLYSPACE_OUT \ Polyspace-Doc”
1。如果我同时使用一行中的命令我得到错误像“错误:Polyspace:读访问问题…”即使我有管理的权利。
2。如果我单独给
*分析命令*:我可以查看工作状态在调度运行管理器。
*报告生成命令*:这份报告只包含Polyspace代码验证总结、代码指标、配置设置、定义
*生成的报告中我可以看到有缺失的部分 Polyspace证明 这将给详细数量错误的细节。和另一个部分 Polyspace运行时检查结果
*我的问题是如何生成一个报告所有的警告和缺失的部分(我上面提到的)使用命令行。
是命令我给正确与否。
你能帮我在这吗
提前谢谢Sharath Jakku

在回答这个问题。

答案(1)

Alexandre De Barros
Alexandre De Barros 2017年6月29日
你好,
在第一个命令你推出一个以批处理方式验证,即验证将运行在一个服务器上,而不是本地的。在启动第二个命令时,读取的结果生成报告,你必须确保验证完成后,结果被下载。
否则,结果文件夹是不完整的。
的意义”* *报告生成命令:本报告只包含Polyspace代码验证总结,代码度量,配置设置,定义”。
因为你想生成一个报告批量验证,你只可以选择添加到自动生成报告的最后验证你的第一个命令。
看到这个页面的文档了解选择使用:
//www.tianjin-qmedu.com/help/codeprover/ref/generatereport.html
最好的问候,
亚历山大