[发明专利]基于符号执行的路径搜索方法、装置以及存储介质

说明书

本公开提供了一种基于符号执行的路径搜索方法、装置以及存储介质，涉及计算机技术领域，其中的方法包括：采用基于代的路径遍历算法对被测试程序进行路径搜索，基于预设的路径优化函数以及路径选择规则在可执行路径中确定可供选择路径；对各个代的可供选择路径进行分束处理，生成捆绑束；基于与可供选择路径相对应的束内系数和束外系数，对捆绑束以及捆绑束内的可供选择路径进行排序处理；将捆绑束内的可供选择路径以及对应的路径约束输出至求解器，生成新的输入。本公开的方法、装置以及存储介质，对基于代的路径策略算法进行优化，可以增加测试的指向性；在高测试覆盖率的基础上，能够节省计算资源，并提高测试的效率。

技术领域

本公开涉及计算机技术领域，尤其涉及一种基于符号执行的路径搜索方法、装置以及存储介质。

背景技术

目前，对于在模糊测试中的测试用例生成，通常采用已有的路径遍历策略进行路径约束的收集；收集后的路径约束直接用于约束求解模块进行求解；目前此种路径约束收集方法的缺点由选用的路径遍历策略的缺点造成，选用的路径遍历策略为基于代的路径遍历策略等，基于代的路径遍历策略存在路径遍历冗余，计算资源占用率大，甚至可能引起路径过多、降低测试效率等问题。

发明内容

有鉴于此，本公开要解决的一个技术问题是提供一种基于符号执行的路径搜索方法、装置以及存储介质。

根据本公开的第一方面，提供一种基于符号执行的路径搜索方法，包括：采用基于代的路径遍历算法对被测试程序进行路径搜索，用以获得与所述被测试程序相对应的各个代的可执行路径；基于预设的路径优化函数以及路径选择规则在所述可执行路径中确定可供选择路径；对各个代的可供选择路径进行分束处理，生成捆绑束；基于与所述可供选择路径相对应的束内系数和束外系数，对所述捆绑束以及所述捆绑束内的可供选择路径进行排序处理；将所述捆绑束内的可供选择路径以及对应的路径约束输出至求解器，以使所述求解器生成新的输入。

可选地，所述路径优化函数包括：敏感函数、捆绑函数和表征后续有无分支或者循环的函数；其中，所述基于预设的路径优化函数以及路径选择规则在所述可执行路径中确定可供选择路径包括：基于所述路径优化函数计算所述可执行路径的权重；基于所述路径选择规则在所述可执行路径中选取权重大于预设阈值的可执行路径，作为所述可供选择路径。

可选地，所述路径优化函数为：

f(x)＝g(x)+β/αj(x)+θk(x)；

其中，g(x)是指敏感函数；ɑ是指可供选择路径所在的捆绑束的系数，α2^i-1，i为可供选择路径的当前代数；j(x)捆绑函数，β是指可供选择路径在捆绑束内的层级权重系数；k(x)是指表征后续有无分支或者循环的函数，θ是指循环的复杂度。

可选地，所述束外系数为所述ɑ，所述束内系数为所述β；所述基于与所述可供选择路径相对应的束内系数和束外系数，对所述捆绑束以及所述捆绑束内的可供选择路径进行排序处理包括：基于β/ɑ对各个代的捆绑束进行排序；基于β对所述捆绑束内的可供选择路径进行排序。

可选地，所述将所述捆绑束内的可供选择路径以及对应的路径约束输出至求解器包括：获取所述捆绑束内权重最高的可供选择路径以及对应的路径约束输出至求解器。

可选地，如果确定此权重最高的可供选择路径在求解之后出现异常，则将此权重最高的可供选择路径所属的捆绑束的排序调整至最前；如果此权重最高的可供选择路径不通，则将此权重最高的可供选择路径从所属的捆绑束中删除。