摘要

关联矩阵测试用例约简在软件测试中具有重要的作用,可以提高测试效率,降低测试成本。本文提出了基于路径关键状态变量的测试用例约简方法,该方法通过抽象语法树获取关键状态变量信息,并基于该信息构建测试用例关联矩阵,最后根据约简准则来判断该测试用例是否可以被约简。本文选取了西门子测试用例集中四个程序进行了实验,实验结果表明,基于路径的关键状态变量测试用例约简方法可以在保证原有测试用例集测试效率的情况下,有效地减少原测试用例集的数量。