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
20 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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 Commenti
Risposte (1)
Dheeraj
il 24 Lug 2024 alle 5:59
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.
Vedere anche
Categorie
Scopri di più su Generate Report in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!