Code Coverage with Simulink Test

Hallo,

is it possible to measure the code coverage (not only model coverage) with Simulink Test? Is there a difference between model coverage and code coverage for Stateflow models?

Regards

[Sudhakar Akki]

Hello Carl,

Code coverage can be done with Polyspace Code Prover/S-function. in code coverage it is possible to check illegal typecasting, infinite loops and fixed-point quantization errors which is not possible in model coverage.

check this link: http://www.mathworks.com/help/ecoder/examples/collecting-code-coverage-metrics.html?s_tid=gn_loc_drop

Regards, Sudhakar Akki

Answer 1

[Sebastian Castro]

EDIT: This answer is from October 2015. Please see Paul Urban's comments below for the most updated answer.

Simulink Verification and Validation is the tool which allows you to collect model coverage, but not code coverage for auto-generated code. However, this is planned for a future release as several people have requested this functionality.

Right now, you can interface with the third-party code coverage tools BullseyeCoverage or LDRA Testbed as shown in this example.

To answer the other question: Having full model coverage significantly increases the likelihood of also having full code coverage. However, it's not 100% guaranteed and we always recommend testing the code coverage separately anyhow. This has to do with (among other reasons) external code you may be using, optimizations in the generated code, or libraries not being equivalent on the host (PC) vs. the target processor.

- Sebastian

Answer 2

[Abhishek]

Starting 16a, you can collect model and code coverage from your tests in Simulink Test Manager: http://www.mathworks.com/help/sltest/ug/collect-model-coverage-in-tests.html

You also need Simulink Verification and Validation in addition to Simulink Test.

[Paul Urban]

Starting in R2017b Simulink Coverage allows you to measure code coverage of the generated code in addition to model coverage. You can collect coverage when running tests in Simulink Test Manager.