[发明专利]软件测试中循环代码的处理方法与系统

权利要求书

1.一种软件测试中循环代码的处理方法，其特征在于，所述方法包括：

依据程序控制流图，查找被测代码的循环体；

确定当前循环体的循环体前子路径；

确定当前循环体的所有单条子路径，组合所述单条子路径为组合子路径，所述循环体前子路径与所述组合子路径的集合路径为可达时，确定所述组合子路径为当前循环体的确定子路径；

确定所述循环体前子路径与所述确定子路径的集合路径为可达时，生成测试用例；

依据所述测试用例，执行被测代码，捕获所述当前循环体的实际执行路径。

2.根据权利要求1所述的软件测试中循环代码的处理方法，其特征在于，所述方法还包括：

被测代码的所有循环体的实际执行路径被捕获后，生成被测代码的完整测试路径，生成完整测试用例，并利用预设的覆盖测试准则对被测代码执行完整测试用例的覆盖测试。

3.根据权利要求1所述的软件测试中循环代码的处理方法，其特征在于，所述确定当前循环体的循环体前子路径，包括：

确定当前循环体为被测代码的第一个循环体且被测代码的程序控制流图的入口节点至当前循环体起始点之间的路径为可达时，确定所述程序控制流图的入口节点至当前循环体起始点之间的路径为循环体前子路径；

确定当前循环体为被测代码的第一个循环体且被测代码的程序控制流图的入口节点至当前循环体起始点之间的路径为不可达时，将所述不可达路径改造成可达路径，确定所述可达路径为循环体前子路径；

确定当前循环体为被测代码的非第一个循环体且集合被测代码的上一个循环体的循环体前子路径、捕获到的上一个循环体的实际执行路径、被测代码的上一个循环体至当前循环体之间的路径为新的循环体前子路径，所述新的循环体前子路径为可达时，确定所述新的循环体前子路径为循环体前子路径；

确定当前循环体为被测代码的非第一个循环体且集合被测代码的上一个循环体的循环体前子路径、捕获到的上一个循环体的实际执行路径、被测代码的上一个循环体至当前循环体之间的路径为新的循环体前子路径，所述新的循环体前子路径为不可达时，将所述新的循环体前子路径改造成可达路径，确定所述新的循环体前子路径为循环体前子路径。

4.根据权利要求1所述的软件测试中循环代码的处理方法，其特征在于，所述确定当前循环体的所有单条子路径，包括：

按序遍历被测代码程序控制流图上的节点，遍历到的循环体起始节点至循环体结束节点之间的路径的集合为循环体的所有单条子路径。

5.根据权利要求1所述的软件测试中循环代码的处理方法，其特征在于，所述组合所述单条子路径为组合子路径，确定所述组合子路径为当前循环体的确定子路径，包括：

依次选取所述所有单条子路径中的一个单条子路径为目标子路径，其他单条子路径为参考子路径，集合至少一个所述参考子路径与所述目标子路径为所述组合子路径、或集合所述目标子路径为所述组合子路径，并利用循环的路径生成策略生成所述目标子路径的确定子路径。

6.根据权利要求1所述的软件测试中循环代码的处理方法，其特征在于，所述确定所述循环体前子路径与所述确定子路径的集合路径为可达时，生成测试用例，包括：

依次选取确定子路径，集合循环体前子路径和所述确定子路径为半条子路径，确定所述半条子路径为可达时，生成所述半条子路径的测试用例。

7.根据权利要求2至6任一所述的软件测试中循环代码的处理方法，其特征在于，所述生成被测代码的完整测试路径，生成完整测试用例，并利用预设的覆盖测试准则对被测代码执行所述完整测试用例的覆盖测试，包括：

集合循环体前子路径、确定子路径和被测代码的最后一个循环体至程序控制流图的出口节点之间的路径为完整测试路径，生成完整测试用例，并利用预设的覆盖测试准则对被测代码执行完整测试用例的覆盖测试。