Why Does the Polyspace Analysis Terminate Early?

2019 1 29
1 个回答
回答已采纳
更新时间：2019 3 6
17 次查看（30 天）

0 个投票

When executing Polyspace Code Prover, I specified the "-to" flag to have a value of "pass4". My understanding is that this means that Polyspace will run through Software Safety Analysis level 4.
I noticed, however, that Polyspace completed its execution after Software Safety Analysis level 1.
Why did the Polyspace analysis terminate early?

请先登录，再回答此问题。

 采纳的回答

1 个投票

It turns out, that this behavior is often a result of the fact, that Polyspace is able to conclude, that completing more levels of analysis will not improve the precision of the results.
Because of this, Polyspace decides to end the analysis early.

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

产品

版本

尚未输入任何版本。

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by