在存在终端约束时生成约束保持测试用例的系统和方法

摘要

本发明涉及一种用于在存在终端约束时生成约束保持测试用例的系统和方法。通过为从当前时间步长开始的未来K个时间步长中的选定数量的时间步长建立约束求解的滑动窗口，实现了生成测试用例中准确性和计算成本之间的平衡。测试用例在网表的每个状态处求解接下来的K个时间步长的约束，而不是仅尝试求解当前时间步长的约束。通过为每个输入确定从输入到约束的最小长度路径深度或最大长度路径深度来确定K。然后将到网表的输入的最大深度值用作网表的深度。然后，使用此深度来定义约束求解的滑动窗口的宽度。