Polypspace(R2014a) code prover report shows "NA"?

1 次查看（过去 30 天）
Dinesh Kumar
Dinesh Kumar 2015-7-31
评论： Alexandre De Barros 2015-8-6
Why does rtf report of Polypspace(R2014a) code prover shows "NA" for some some of the files in column "proven" of the table "Chapter 2. Polyspace Proven"?

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

回答（1 个）

Alexandre De Barros
Hi Dinesh,
The column Proven represents the selectivity rate, i.e. the percentage of 'proven checks' that is to say the checks that are not orange (unproven).
NA means Not Available, probably because there is no check in this file (look at the other statistics on the same line,, they should be 0), so it makes no sense to give a selectivity rate.
Best regards,
Alexandre
  2 个评论
Dinesh Kumar
Dinesh Kumar 2015-8-6
Hello Alexandre, Thanks for your response. Yes,All the other statistics are zero but my source files has lots of codes and all the functions from those files are UNP.
Thanks & Regards, Dinesh
Alexandre De Barros
Alexandre De Barros 2015-8-6
So it means that you have to find why the functions are not called, and this is another question to investigate (probably related to your other question on MATLAB Answers).
And if you think that the initial question is answered, please set it as "Answered".
Thanks !
Best regards,
Alexandre

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by