Simulink Design Verifier - No-Test Case
2 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
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
0 comentarios
Respuestas (1)
Prahladavaradan Sampath
el 25 de Oct. de 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 comentarios
Prahladavaradan Sampath
el 11 de Nov. de 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)
Ver también
Categorías
Más información sobre Prepare and Analyze Model en Help Center y File Exchange.
Productos
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!