How to write Assessments for both time/state dependent properties and state-less properties in Simulink Test

How to write Assessments for both time/state dependent properties and state-less properties in Simulink Test with and without Simulink Design Verifier?

Answer 1

[MathWorks Support Team]

Without Simulink Design Verifier:

1) If there is only one time-/state-dependent property, then you can use steps and sub-steps.

Then, put the assert/verify statements for the stateless properties into the parent step (which runs always), and for the time-/state-dependent property into the sub-steps (which can have transition between sub-steps).

2) Another approach is to use more than one Test Sequence block. This is probably easiest if there are more than one time-/state-dependent property, so, you would put assessments for each property into its own Test Sequence block. You can add as many Test Sequences as needed into the Test Harness after it's created.

With Simulink Design Verifier:

1) Simulink Design Verifier checks for complete coverage of your model. If your model is 100% covered. You will be presented with the option of creating a test harness automatically. This will then create all the test cases for part of your model. This workflow is outlined in the documentation below:

Run below command in R2017b for documentation:

>> web(fullfile(docroot, 'sldv/ug/generate-test-cases-for-model-decision-coverage.html'))

Or refer to the following link for latest documentation:

https://www.mathworks.com/help/sldv/ug/generate-test-cases-for-model-decision-coverage.html

To deal with time/state dependent properties, Simulink Design Verifier has the temporal operator blocks, Detector, Extender, and Within Implies.