MATLAB的答案

我试图上传bugfinder分析的结果从服务器下载Polyspace访问。但我继续这个错误

15的观点(30天)
Asim Thapa
Asim Thapa 2019年9月25日
评论道: 基督教的吟游诗人 2022年3月28日
C: \ RTC \ Athapa_ws1 \ vcm_app \ Polyspace \ Polyspace启动文件> polyspace-access主机usdc-ppoly1协议http登录 loginName 加密的密码 密码 创建项目myTestProject连接到http://usdc-ppoly1:9443连接 loginName PROJECT_EXISTS myTestProject命令完成
C: \ RTC \ Athapa_ws1 \ vcm_app \ Polyspace \ Polyspace启动文件> polyspace-access主机usdc-ppoly1协议http登录 loginName 加密的密码 密码 上传。/ Bug_finder_results项目myTestProject错误:结果与桌面应用程序生成只能上传到Polyspace访问从桌面用户界面尝试“polyspace-access - h”更多信息按任意键继续。

在回答这个问题。

接受的答案

Anirban
Anirban 2019年10月31日
编辑:Anirban 2019年10月31日
使用 polyspace-access 命令上传结果,结果一定是使用Polyspace服务器产品之一,生成Polyspace错误发现者服务器或Polyspace代码验证服务器,或等价,命令s manbetx 845 polyspace-bug-finder-server 或 polyspace-code-prover-server 。
看到更多的信息: //www.tianjin-qmedu.com/help/polyspace_bug_finder_server/gs/run-bug-finder-on-server.html。
错误信息意味着你跑分析使用Polyspace桌面产品,Polyspace错误发现者或Polyspace代码验证。s manbetx 845你可能已经运行的分析使用一个命令 polyspace-bug-finder 或 polyspace-code-prover 或运行分析用户界面的桌面产品。s manbetx 845在这些情况下,您不能使用自动上传结果 polyspace-access 命令。你必须从Polyspace单独上传的用户界面。在这里看到的: //www.tianjin-qmedu.com/help/polyspace_bug_finder_access/gs/upload-results.html
这个想法是:Polyspace服务器访问产品作为post-submit一对自动化。s manbetx 845在这里看到的: //www.tianjin-qmedu.com/help/polyspace_bug_finder_server/gs/polyspace-s manbetx 845products-for-code-analysis-and-verification.html
桌面产品是运行在单个开发s manbetx 845人员的桌面,之前提交的代码。虽然桌面产品还支持自动化工作流的自动化s manbetx 845万博1manbetx 包括上传Polyspace访问 ,不支持。万博1manbetx与桌面产品,你想要运行一个分析和查s manbetx 845看结果都在桌面上。
然而,您可能有一个桌面和服务器产品的许可证。s manbetx 845在这种情况下,您可以使用桌面产品的用户界面来配置一个分析,得到分析工作然后生成脚本运行的服务器产品。s manbetx 845在这里看到的: //www.tianjin-qmedu.com/help/polyspace_bug_finder_server/ug/create-command-line-script-from-project-file.html

更多的答案(0)