杨永国

(中国人民解放军91550部队，辽宁 大连 116023)

0 引言

软件规模越大，其逻辑复杂性越高，对这些软件的可靠性要求也就越高。软件的隐藏错误能够造成其自身运行的失败。也就是说软件的隐藏错误是影响软件可靠性的最关键因素之一[1]。对于小规模的软件，工程实践中大多采用人工设置断点的方法来进行测试，以查找出错误。不过人工方法判断错误位置较为复杂，且难度较大，不适用于大规模的软件测试。因此，为了更加精准且高效地查找和消除软件错误，专家学者们开展了广泛的研究，提出了一些解决方法，并研发出对软件进行单元、静态和动态测试的工具软件。这些方法和测试软件，都要求测试用例集尽可能覆盖全面，只有这样才能精准地定位错误，提高测试的有效性[2-4]。但测试用例集包含的用例数量应该尽量约简，以降低测试成本。

刘锋等人提出基于向量相似度的测试用例集约简方法[5]。张蕊等人提出一种基于搜索树的用例约简方法，求得约简问题的全局最优解[6]。谢经纬在测试用例集约简中引入需求分析，提出了两阶段用例集优化方法，分为需求切片和用例集优化两个步骤[7]。张晨光等人提出一种在线测试用例集约简方法，将测试集约简嵌入测试生成流程内，测试生成过程为测试集约简提供了测试序列与测试目标之间的满足关系[8]。杨羊等人通过定义和合并基于ASM模型测试生成的等价迁移和等价状态，减少了无效访问状态和无效迁移路径的数量，实现了测试用例集空间的约简[9]。……