MATLAB的答案

代码验证的结果是否依赖于计算机运行的力量吗?

2视图(30天)
Tran Thang
Tran Thang 2020年7月22日
评论道: Anirban 2020年8月3日
下午好,
当我2计算机上运行一个相同的项目,一个是核心i7,一个是核心19。我意识到结果代码验证的警告数量从2电脑是不同的。为什么?

在回答这个问题。

答案(1)

Anirban
Anirban 2020年7月23日
编辑:Anirban 2020年7月24日
你好,
结果不应依赖于使用的处理器数量。部分的分析确实是并行多个进程(最多高达四、看 -max-processes )。然而,对于任何良好的并行化,结果不会改变。
你能给一个想法的差异你看到吗?也许这可以帮助诊断问题。看到的差异:
  1. 在项目上运行Polyspace i7计算机。
  2. 在项目运行Polyspace i9的电脑。使用命令polyspace-comments-import进口的i7结果(prevResultsFolder) i9结果(currentResultsFolder)。(注意,命令让它看起来像你必须先i7结果发表评论。这不是我在这里提出所需的工作流。在这里,你只是做一个基线为新结果比较反对。)你还可以导入使用的用户界面。
  3. 现在打开i9结果Polyspace用户界面,然后点击“新”按钮。你应该看到新的结果i9的电脑相比i7电脑。
如果你给一个例子,你看到一个新的结果,有助于更好地理解这个问题。
否则,像往常一样,技术支持可以使用你诊断特定的项目正万博1manbetx在研究和建议的解决方案。万博 尤文图斯
8的评论
显示7年长的评论
Anirban
Anirban 2020年8月3日
你好,
是的,事实上,不同的是奇怪但是我恐怕不能说更多的截图。如果我能获得这个项目,我会遵循的步骤如下:
  • 的变量ult_InShoPntIdxi7似乎获得价值10。我徘徊在循环上限确认ult_InRnewEndPntIdx值10(应该是9 19)。
  • 那我就右击ult_InRnewEndPntIdx并选择搜索所有引用。让我看看ult_InRnewEndPntIdx有它的价值。也许,这是来自另一个变量。我将继续,直到我理解这个结果。
技术支持可以帮助找出万博1manbetx问题。这是一个经典的results-understanding问题,必须追溯的代码到一个可以决定一个橙色的检查是一个真正的运行时错误或可追溯到一些Polyspace近似。

登录置评。