Simulink Design Verifier - No-Test Case

5 views (last 30 days)
Shivaputra Narke
Shivaputra Narke on 18 Oct 2018
Commented: Shivaputra Narke on 12 Nov 2018
Hi,
I am running Design Verifier to generate test cases. After execution, I get below response,
"Test generation completed normally."
16/22 objectives are proven unsatisfiable. 6/22 objectives are satisfied - no test case.
..."
But no test case is generated. However, when I run verifier on simple model, it actually generate test cases. Does anyone know the reason behind this behavior ?
Thanks in advance

Answers (1)

Prahladavaradan Sampath
Prahladavaradan Sampath on 25 Oct 2018
It appears that the model is mostly dead (16 out of 22 objectives) -- this is what "unsatisfiable" indicates. The "Satisfied - no test case" status seems to indicate that you are running SLDV on a model with no in-ports. Could you please confirm?
Could you also indicate which version of MATLAB you are using?
  3 Comments
Prahladavaradan Sampath
Prahladavaradan Sampath on 11 Nov 2018
Would it be possible to share a model for investigation?
Have you tried analyzing this model on a more recent release? (18b is the latest release)
Shivaputra Narke
Shivaputra Narke on 12 Nov 2018
I will check on 2017b. (I dont have latest version with me right now). If it will not work then I will try to share my model with you.

Sign in to comment.

Community Treasure Hunt

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

Start Hunting!