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

1 回表示 (過去 30 日間)
Jiahao CHANG
Jiahao CHANG 2020 年 11 月 4 日
コメント済み: Jiahao CHANG 2020 年 11 月 11 日
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:

回答 (1 件)

Pat Canny
Pat Canny 2020 年 11 月 5 日
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 件のコメント
Jiahao CHANG
Jiahao CHANG 2020 年 11 月 11 日
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,

サインインしてコメントする。

カテゴリ

Help Center および File ExchangeBest Practices for Simulink Design Verifier Analysis についてさらに検索

製品


リリース

R2020a

Community Treasure Hunt

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

Start Hunting!

Translated by