Info
이 질문은 마감되었습니다. 편집하거나 답변을 올리려면 질문을 다시 여십시오.
What kinds of coverages do Code Prover support?
조회 수: 1 (최근 30일)
이전 댓글 표시
Hello.
I'd like to know what kinds of coverages Code Prover support?
- Statement coverage
- Branch coverage
- MC/DC coverage
The purpose is that I'd like to check the above three kinds of coverage using Polyspace 2018a version.
So, please reply my question and if Code Prover supports the above coverages, kindly let me know the method.
Thank you.
Sincerely yours.
SY Seo
댓글 수: 0
답변 (1개)
Kritika Bansal
2019년 8월 6일
Hi,
Polyspace Code Prover is primarily used to check for runtime errors like division by zero, array indices going out of bounds, etc. You can also use it to check for unreachable code segments in your code which will be highlighted in grey. You can check the details of the color-coding scheme used by Polyspace over here:
You can make use of Simulink Coverage (link below) for the kind of code coverages you are looking for.
댓글 수: 0
참고 항목
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!