MATLAB的答案

我怎么能在第二个实例开始Polyspace呢?

5视图(30天)
Christoph
Christoph 2023年3月22日
回答: Anirban 2023年3月24日
你好,
我使用Polyspace。我需要为我的工作比较结果。每次我开始ps_results.psbf
它是在同一个窗口中了。有办法开始第二个polyspace窗口吗?
也许使用命令行?
谢谢

在回答这个问题。

答案(3)

杰克
杰克 2023年3月22日
你好,
是的,你可以打开的多个实例Polyspace从命令行启动它与不同的参数。
要做到这一点,您可以打开一个命令提示符或终端窗口并导航到Polyspace安装的目录。然后,输入以下命令,以启动一个新实例Polyspace:
polyspace-gui.exe-new
这将启动一个新实例的Polyspace在一个单独的窗口。你可以重复这个命令来打开你需要尽可能多的Polyspace的实例。
你也可以附加参数传递给命令行上Polyspace自定义其行为。例如,您可以指定工程项目的位置打开:
polyspace-gui.exe-new“C: \ \ \ \ project.polyspace”
这将打开一个新实例Polyspace和加载指定的项目。
谢谢。
Christoph
Christoph 2023年3月22日
谢谢你的反应。
我用R2022a
没有polyspace-gui.exe。
在文件夹:“c: \ Program Files \ Polyspace \ R2022a \ Polyspace \ bin”
我只有这个文件:
polyspace-access.exe
polyspace-autosar.exe
polyspace-bug-finder-nodesktop.exe
polyspace-bug-finder.exe
polyspace-checkers-selection.exe
polyspace-code-prover-nodesktop.exe
polyspace-code-prover.exe
polyspace-comments-import.exe
polyspace-configure.exe
polyspace-connector.exe
polyspace-job-monitor.exe
polyspace-jobs-manager.exe
polyspace-modularize.exe
polyspace-pack.exe
polyspace-report-generator.exe
polyspace-results-export.exe
polyspace-unpack.exe
polyspace-verifier.exe
polyspace.exe
polyspace1.exe
web-browser-wrapper.exe
我尝试你的建议,但是没有运气。它不工作。
1评论
杰克
杰克 2023年3月22日
很抱歉混乱。似乎Polyspace R2022a不包括安装 polyspace-gui.exe 可执行文件。
在这种情况下,您可以尝试以下步骤启动Polyspace Bug仪不使用GUI:
  1. 开放的MATLAB和导航到文件夹包含您想要分析的代码。
  2. 在MATLAB命令窗口中,键入polyspace-bug-finder启动Polyspace命令行界面。
  3. 输入命令polyspace-bug-finder -看到一个可用的命令行选项和参数列表。
  4. 输入命令polyspace-bug-finder <选项> <文件>开始分析指定的文件(年代)。您可以指定多个文件或使用通配符来分析所有文件目录。
例如,分析一个文件 mycode.c 在当前目录默认设置,你会类型:
复制代码
polyspace-bug-finder mycode.c
然后您可以监控分析的进展在MATLAB命令窗口,并查看结果Polyspace报告生成器。
我很抱歉的混乱,我希望这可以帮助。

登录置评。

Anirban
Anirban 2023年3月24日
你可以双击 polyspace.exe 执行两次打开两个实例,然后打开你的 .psbf 文件从你想要的任何实例。
如果你想比较两个地方相同的结果,有一种方法可以复制源代码窗口。看到 导航两个结果在相同的文件在不同的窗口 。