共享模式……
SLDV测试生成305秒后停止
1视图(30天)
显示旧的评论
我在做某种可伸缩性SLDV汽车系统的分析。我从一个模型和迭代添加组件的一部分。我现在遇到一个问题,当模型变大:
在测试生成模式中,SLDV停止后305秒,这增加的唯一的事就是决定目标的数量。我有maxProcessTime设置为3000秒,MaxTestCaseSteps 8000。模型现在不是非常大,它有125个状态和68的转换。你知道这个问题吗?我能做什么呢?