Simulink Design Verifier - No-Test Case

3 次查看（过去 30 天）
Shivaputra Narke
Shivaputra Narke 2018-10-18
评论： Shivaputra Narke 2018-11-12
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

请先登录，再回答此问题。

回答（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?
  3 个评论
显示 1更早的评论
Prahladavaradan Sampath
Prahladavaradan Sampath 2018-11-11
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 2018-11-12
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.

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Generate Tests 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by