- Pat
Design Verifier: Does multiple dimensions input has great influence in test generation?
1 回表示 (過去 30 日間)
古いコメントを表示
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:
0 件のコメント
回答 (1 件)
Pat Canny
2020 年 11 月 5 日
Hi Jiahao,
This will likely be difficult to solve via MATLAB Answers.
Thanks.
参考
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!