Info
Diese Frage ist geschlossen. Öffnen Sie sie erneut, um sie zu bearbeiten oder zu beantworten.
What kinds of coverages do Code Prover support?
1 Ansicht (letzte 30 Tage)
Ältere Kommentare anzeigen
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 Kommentare
Antworten (1)
Kritika Bansal
am 6 Aug. 2019
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 Kommentare
Diese Frage ist geschlossen.
Siehe auch
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!