MATLAB的答案

回顾评论,理由从去年polyspace指标上运行

15的观点(30天)
沾光盖德
沾光盖德 2021年3月17日
编辑: Anirban 2021年3月19日
你好,
我用polyspace度量存储所有polyspace结果。团队成员要度量服务器下载结果和添加评论。看起来好。
我如何添加这些评论之后运行。桌面产品容易,但如何管理其度量服务器上。
下面是我的. sh脚本我用服务器上传结果指标。
Build_Number詹金斯运行数。
SWCName = " Acc "
詹金斯ResultDir_CP = " C: \ \ workspace \静态分析\ Freestyle-jobs \ vcu_beta \仿真软件万博1manbetx\ \ $ {SWCName} \ results_ $ {SWCName} _CP \ ps_results.pscp”
如果测试- f“ResultDir_CP美元”;然后
echo " $ ResultDir_CP存在。”
回声“上传代码验证报告Polyspace度量服务器SWC $ {SWCName} "
詹金斯ResultDir_CP = " C: \ \ workspace \静态分析\ Freestyle-jobs \ vcu_beta \仿真软件万博1manbetx\ \ $ {SWCName} \ results_ $ {SWCName} _CP”
polyspace-results-repository上传" $ ResultDir_CP“掠夺”vcu_beta”产品“CodeProver”- f模块" $ {SWCName} _CP " - server“ServerIP: 12427”-verif-version " $ {BUILD_NUMBER} "
fi
詹金斯ResultDir_BF = " C: \ \ workspace \静态分析\ Freestyle-jobs \ vcu_beta \仿真软件万博1manbetx\ \ $ {SWCName} \ results_ $ {SWCName} _BF \ ps_results.psbf”
如果测试- f“ResultDir_BF美元”;然后
回声“$文件存在。”
回声”上传错误发现者报告Polyspace度量服务器SWC $ {SWCName} "
詹金斯ResultDir_BF = " C: \ \ workspace \静态分析\ Freestyle-jobs \ vcu_beta \仿真软件万博1manbetx\ \ $ {SWCName} \ results_ $ {SWCName} _BF”
polyspace-results-repository上传" $ ResultDir_BF“掠夺”vcu_beta”产品“BugFinder”- f模块" $ {SWCName} _BF " - server”10.10.0.231:12427 -verif-version " $ {BUILD_NUMBER} "
fi

在回答这个问题。

接受的答案

Anirban
Anirban 2021年3月19日
编辑:Anirban 2021年3月19日
你好,
您可以使用 下载 选择的 polyspace-results-repository 命令来下载Polyspace度量的结果。然后使用 -import-comments 选择当您执行后续(运行 polyspace-bug-finder 或 polyspace-code-prover 或 polypsace-bug-finder-server 或 polyspace-code-prover-server )进口审查信息的下载结果文件夹。

更多的答案(0)