Why Does the Polyspace Analysis Terminate Early?

2019 1 月 29
1 回答
回答採用済み
2019 3 月 6 に更新
16 ビュー (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?

サインインしてこの質問に回答する。

 採用された回答

MathWorks Support Team
MathWorks Support Team 2019 年 1 月 29 日

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