Simulink Design Verifier - No-Test Case

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

Answer 1

[Prahladavaradan Sampath]

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?

[Shivaputra Narke]

Hi,

I am using Matlab 2015b. The model has inports and outports.

[Prahladavaradan Sampath]

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]

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.