Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?

Question

Ali Khalil 2015-8-17

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/234131-is-there-a-workaround-in-the-polyspace-tool-to-avoid-justified-checks-from-showing-up-again

编辑： Maja Petkovic 2016-8-22

Hi,

In Polyspace, after the verification run, we go and justify some checks, especially the orange ones, according to our understanding if they aren't real checks.

So, is there a way to not see them again in the next run?

Thanks.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

Answer 1

Alexandre De Barros 2015-8-18

2
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/234131-is-there-a-workaround-in-the-polyspace-tool-to-avoid-justified-checks-from-showing-up-again#answer_189694

编辑：Alexandre De Barros 2015-8-20

Hi,

Since you have justified the checks, I suggest you to activate filters to hide them. If you have used the Classification "Not a defect" for instance, in the Results Summary view you could activate the filter on the column Classification and choose to hide all the checks classified "Not a defect".

More information on the filters here:

http://www.mathworks.com/help/codeprover/ug/filter-checks.html

For the next verifications of the same project, the justifications and comments will be automatically imported in the new results folder (or in the same folder if you choosed to use it again).

You can also annotate the code so the checks are automatically justified and commented :

http://www.mathworks.com/help/codeprover/ug/assign-review-comments-to-code.html

Regards,

Alex

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Maja Petkovic 2016-8-22

编辑：Maja Petkovic 2016-8-22

Hi,

What about the red checks which are caused by an orange check?

As far as I know when a red check is found the verification is abborted in that function call, which means they may be other red warnings masked by that one. How can those orange/red checks be skipped as reasonably FALSE during next verification?

Please correct me if I got something wrong here.

Thank you & Regards

Maja

请先登录，再进行评论。