After running Polyspace (Code Prover), in the "Reasons for Unchecked Code" section, if the progress of the "code operations" is not 100%, I would like to know how the percenta

Question

新宝 2024-7-24，5:46

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2139776-after-running-polyspace-code-prover-in-the-reasons-for-unchecked-code-section-if-the-progress

评论：新宝 2024-7-24，7:07

After running Polyspace (Code Prover), in the "Reasons for Unchecked Code" section, if the progress of the "code operations" is not 100%, I would like to know how the percentage of "code operations" is calculated and what specifically "code operations" refer to.

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

请先登录，再进行评论。

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

Answer 1

Dheeraj 2024-7-24，5:59

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2139776-after-running-polyspace-code-prover-in-the-reasons-for-unchecked-code-section-if-the-progress#answer_1489756

在 MATLAB Online 中打开

Hi 新宝,

I understand you seek to know how the "Code Operations" column which is seen in the Polyspace Code Prover Dashboard.

Code operations is the percentage of elementary operations in verified functions that are checked for run-time errors. Hence, can be calculated as follows,

(number of code operations reached/ total number of code operations present in software) * 100

You could refer to the below MATLAB documentation for more details about the Polyspace Code Prover Dashboard:

https://www.mathworks.com/help/codeprover/ug/dashboard.html?searchHighlight=%22Code%20operations%22&s_tid=srchtitle_support_results_9_%2522Code%2520operations%2522#mw_f6db7b68-2fdc-4965-bbb1-795759aac22b

Thank you.

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

新宝 2024-7-24，7:07

Hi Dheeraj, I have read your response, but I still have some questions about this part.

What is the definition of code operations, and how are the 'number of code operations reached' and 'total number of code operations present in software' calculated? Is the diagram below an explanation of code operations? It seems to suggest that code operations refer to checks on the code, as the definition of a variable like 'int x' doesn't require any checks, so it doesn't count as a code operation. However, the line 'x = 1 / x; x = x + 1;' undergoes five checks such as 'overflow check', so the total number of code operations is five. But in reality, only the 'Non-initialized local variable' check was performed, so the number of code operations reached is one. The percentage of code operations is then 20%. Is my understanding correct?