摘要:程序控制流的设计是为实现正确的数据流服务的,数据流测试是非常重要的。文中将面向通用数据流准则的测试用例生成问题建模为多目标优化问题,提出了一种基于遗传算法的测试用例生成方法。通过构建待测程序的控制流图进行数据流分析,计算出程序中所有的定义-使用对,得到测试目标,利用面向多测试目标的遗传算法生成满足通用准则的最优解。遗传算法中定义了一种改进的基于支配关系的适应度函数,在分析测试用例对定义-使用对的覆盖程度时考虑了存在重定义的可能性,且考虑了定义结点和使用结点在执行路径中的先后顺序。实验结果表明,所提方法可以有效地生成满足通用准则的测试用例,相比其他方法可以有效地提升测试目标的覆盖率,降低生成测试用例所需的迭代次数。
中图分类号:
吉顺慧, 张鹏程.基于支配关系的数据流测试用例生成方法[J] ●●●●。计算机科学, 2020, 47(9): 40-46. https://doi.org/10.11896/jsjkx.200700021
季顺辉、张鹏成。基于支配关系的数据流测试用例生成方法[J] ●●●●。计算机科学,2020,47(9):40-46。https://doi.org/10.11896/jsjkx.200700021