Simulink Design Verifier - No-Test Case

5 Ansichten (letzte 30 Tage)
Shivaputra Narke
Shivaputra Narke am 18 Okt. 2018
Kommentiert: Shivaputra Narke am 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

Antworten (1)

Prahladavaradan Sampath
Prahladavaradan Sampath am 25 Okt. 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 Kommentare
Prahladavaradan Sampath
Prahladavaradan Sampath am 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 am 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.

Melden Sie sich an, um zu kommentieren.

Community Treasure Hunt

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

Start Hunting!

Translated by