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 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
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 Kommentare
Antworten (1)
Dheeraj
am 24 Jul. 2024 um 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.
Siehe auch
Kategorien
Mehr zu Generate Report finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!