一种基于支配关系的测试用例生成方法与装置

摘要

本发明公开了一种基于支配关系的测试用例生成方法与装置，以生成满足all‑uses数据流测试准则的测试用例，包括：基于构建的待测试程序的控制流图CFG模型分析程序的数据流，计算程序中的定义‑使用对；定义基于支配关系的适应度函数，利用面向多目标的遗传算法生成满足all‑uses准则的测试用例集。本发明的有益效果为：面向all‑uses数据流测试准则，提出了有效的测试用例生成方法。定义了基于支配关系的适应度函数，在分析测试用例对定义‑使用对的覆盖程度中考虑了杀死定义的存在可能性，且考虑了定义结点和使用结点在执行路径中的先后顺序，可以更有效地指导遗传算法搜索出输入域内覆盖所有定义‑使用对的测试用例，从而满足all‑uses测试准则。