Simulink design verifier doesn't finish test case generation

2 次查看(过去 30 天)
I am currently using simulink design verifier to generate test cases. When I use it to extend testcases using existing tests, the tool just gives up after about one hour, despite my max run time, which is set to 300000 seconds. The tool gives no additional test cases other than existing test cases.
Is there a reason for this behavior?
  2 个评论
Angela
Angela 2023-5-3
Did you check model compatibility before generating test cases?
https://www.mathworks.com/help/sldv/ug/check-model-compatibility.html#bt8zwoq

请先登录,再进行评论。

回答(0 个)

类别

Help CenterFile Exchange 中查找有关 Verification, Validation, and Test 的更多信息

Community Treasure Hunt

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

Start Hunting!

Translated by