Design Verifier: Does multiple dimensions input has great influence in test generation?
Show older comments
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:
Answers (1)
Pat Canny
on 5 Nov 2020
0 votes
Hi Jiahao,
This will likely be difficult to solve via MATLAB Answers.
Thanks.
- Pat
1 Comment
Jiahao CHANG
on 11 Nov 2020
on 4 Nov 2020
on 11 Nov 2020
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!