- Pat
Design Verifier: Does multiple dimensions input has great influence in test generation?
3 次查看(过去 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:
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/402480/image.png)
Here is an example of input information:
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/402485/image.png)
Here is the harness model:
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/402490/image.png)
0 个评论
回答(1 个)
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!