How can I measure Equivalence Class Coverage for a Simulink model?

Some signals in my model are partitioned into different equivalence classes. When testing the model, each of my test cases targets a particular equivalence class. Measuring Equivalence Class Coverage would allow me to make sure that I am testing all the relevant partitions. Can I do this with Simulink Coverage?

Answer 1

[Guilherme Costa Nascimento]

Measuring Equivalence Class Coverage is not natively supported in Simulink Coverage, but we have developed an intial solution for R2023a, available here: https://www.mathworks.com/matlabcentral/fileexchange/131424-measuring-equivalence-class-coverage-of-simulink-models

This solution includes an app that allows you to specify equivalence classes for each signal in the model you want to test. After running your tests, the Equivalence Class Coverage results will be automatically added to the coverage report.

Please try this new solution and comment below with any questions, suggestions, and feedback.

We look forward to hearing back from you!

[Steffen Kümmerle]

Can we expect something like this in a future official release? more stable and well integrated into the Matlab environment?

If yes, for which release this feature is planned?

[Pat Canny]

Hi @Steffen Kümmerle - thanks for your questions.

We are (very) actively investigating this to put this into the product, and are trying this new "File Exchange first" approach to explore the workflow because there are a few unknowns we want to learn first (specifically: how would most users want to define and manage the equivalence classes for a given signal?). I can't comment on specific release plans, but would you be interested in a discussion with us?