Measuring Equivalence Class Coverage of Simulink® Models

This workflow demonstrates the user a systematic approach for measuring equivalence class coverage of Simulink models.

This workflow demonstrates the user a systematic approach for measuring equivalence class coverage of Simulink models. The workflow is as follows:

• The user specifies the equivalence classes on the input signals of the design. In this version we support only input signals, but can later be extended for output signals also.
• The user also specifies the testcases against which the coverage should be measured. The supported testcase formats are name of the data files of sldvData or Simulink Test testfile (.mldatx file), structure, testfile, testsuite, or testcase object.
• The coverage report is produced to visualize how the equivalence classes of the signals are covered using those testcases.

This workflow is achieved as follows:

1. The tool auto creates an instrumented harness model using the equivalence classes of the signals.

2. For this it inserts test objective blocks on each signal in the harness.

3. The harness is simulated and equivalence coverage is measured as coverage of test objective blocks.