设计验证人:在测试生成多个维度输入有很大影响吗?
2视图(30天)
显示旧的评论
你好,
2020年当我使用使用设计验证器(MATLAB)来生成测试覆盖率报告,我的模型花了4个小时,没有产生任何测试用例。因此我修改测试套件优化遗留LargeModel(非线性扩展)和1 h只生成2测试用例后,利用模型和结果如下:
测试生成了用户。
4/3471的目标不可满足的
2426/3471的目标决定由于运行时错误
1041/3471的目标决定
看着利用模型和看起来对每个输入多个维度作为大量的输入和创造大量的输入。
也许这是为什么我不能生成测试?如果是这样,有什么办法可以改变这种情况呢?
这是一个捕捉我的模型的输入:
这里是输入信息的一个例子:
这是利用模型:
