Simulink Design Verifier - No-Test Case
조회 수: 2 (최근 30일)
이전 댓글 표시
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
답변 (1개)
Prahladavaradan Sampath
2018년 10월 25일
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
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)
참고 항목
카테고리
Help Center 및 File Exchange에서 Prepare and Analyze Model에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!