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
4 ビュー (過去 30 日間)
古いコメントを表示
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.![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1739971/image.png)
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1739971/image.png)
0 件のコメント
回答 (1 件)
Dheeraj
2024 年 7 月 24 日
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:
Thank you.
参考
カテゴリ
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!