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
조회 수: 1 (최근 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에서 Interpret Code Prover Results in Polyspace Platform User Interface에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!