Design Verifier: Does multiple dimensions input has great influence in test generation?

1 次查看（过去 30 天）
Jiahao CHANG
Jiahao CHANG 2020-11-4
评论： Jiahao CHANG 2020-11-11
Hi,
When I use use Design Verifier(MATLAB 2020a) to generate tests for getting coverage report, my model took 4 hours and didn't generate any test cases. Therefore I modified test suite optimization to Legacy LargeModel (Nonlinear Extended) and after 1h it only generated 2 test cases in harness model and the result like this:
Test generation stopped by user.
4/3471 objectives unsatisfiable
2426/3471 objectives undecided due to runtime error
1041/3471 objectives undecided
Looking at the harness model and it seems that it treat each input with multiple dimensions as plenty of inputs and creat a huge number of input.
Might this be the reason why I can't generate tests? If so, is there any way to change this situation?
Here is a capture of my model's input:
Here is an example of input information:
Here is the harness model:

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

回答（1 个）

Pat Canny
Pat Canny 2020-11-5
Hi Jiahao,
This will likely be difficult to solve via MATLAB Answers.
If you are able to share a bit more detail, could you please contact MathWorks Support?
Thanks.
  • Pat
  1 个评论
Jiahao CHANG
Jiahao CHANG 2020-11-11
Hi Pat,
Unfortunately I can't send this model to MathWorks Support as they asked, but they can pay a visit to me which I hope it could help :)
Tkx,

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Best Practices for Simulink Design Verifier Analysis 的更多信息

标签

产品


版本

R2020a

Community Treasure Hunt

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

Start Hunting!

Translated by