Design Verifier: Does multiple dimensions input has great influence in test generation?
3 views (last 30 days)
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: