Simulink Design Verifier taking really long

7 次查看（过去 30 天）

John Fiaschetti 2023-1-26

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1901410-simulink-design-verifier-taking-really-long

评论： Sobia 2024-4-2

I am new to using SLDV. Forgive my ignorance in advance.

I am running SLDV on a model with a decent-sized Stateflow chart in it. I'm just using the "Design Error Detection" option with "Run exhaustive analysis". SLDV runs fine and then seems to get stuck on something. It is spending a long time on one objective. By long time I mean 30+ minutes and counting. Wtihout exhaustive analysis, it takes about 15 seconds and recommends I use exhaustive analysis. I set the maximum time to inf to allow it to run as long as it needs. 36 minutes as we speak, and it's still on the same objective.

How can I tell what branch in my logic is causing the delay?

Thanks in advance!

7 个评论
显示 5更早的评论隐藏 5更早的评论

Adam Duvick 2023-3-28

Hey, Pat. I have a team using Simulink Design Verifier to generate test cases for an execution group of about 80 models. The task is running on a high performance PC, but is still taking about 80 hours to run. Is this normal? My team is wondering if there if there is anything on our configuration that is making the task take longer than is needed.

I am new to this tool myself, so if there is any information that I should provide, please let me know!

Thank you!

Sobia 2024-4-2

Hi, I am also facing the same issue I am using SLDV test generation and total 321 objectives are to be analyzed out of which 121 objectives are not progressing even after 2 hours time. Kindly let me know what could be the possible reasons for this long run time issue.

Any help is appreciated.

Thanks

请先登录，再进行评论。

请先登录，再回答此问题。