What kinds of coverages do Code Prover support?

Hello.

I'd like to know what kinds of coverages Code Prover support?

1. Statement coverage
2. Branch coverage
3. 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

Answer 1

[Kritika Bansal]

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:

https://in.mathworks.com/matlabcentral/answers/102523-what-do-the-different-colors-in-the-polyspace-source-code-view-rte-view-and-variable-view-windows-m

You can make use of Simulink Coverage (link below) for the kind of code coverages you are looking for.

https://in.mathworks.com/help/slcoverage/ug/types-of-code-coverage.html