Info

This question is closed. Reopen it to edit or answer.

What kinds of coverages do Code Prover support?

1 view (last 30 days)
Seungyeop
Seungyeop on 29 Jul 2019
Closed: MATLAB Answer Bot on 20 Aug 2021
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

Answers (1)

Kritika Bansal
Kritika Bansal on 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.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!