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

1 visualizzazione (ultimi 30 giorni)
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:

Risposte (1)

Pat Canny
Pat Canny il 5 Nov 2020
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 Commento
Jiahao CHANG
Jiahao CHANG il 11 Nov 2020
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,

Accedi per commentare.

Prodotti


Release

R2020a

Community Treasure Hunt

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

Start Hunting!

Translated by