[发明专利]一种面向软件更新的软件测试方法和装置

权利要求书

1.一种面向软件更新的软件测试方法，其特征在于，包括以下步骤：

建立新版本二进制程序的控制流图CFG和函数调用图CG，在CFG中对核心目标可能的执行路径进行标记，并在CG中标记相应的函数调用关系；

在新版本二进制程序的concolic执行过程中，当执行路径遇到分支时，为执行路径创建一个新状态，然后在CFG中为该新状态查找下一条指令的地址，将新状态映射到该下一条指令的地址，并将新状态放入候选列表中；

当一条路径执行结束后，采用基于目标的搜索策略从候选列表中选择一个落入目标函数的新状态以继续运行concolic执行。

2.根据权利要求1所述的方法，其特征在于，根据补丁所属的函数将补丁分组，在每一组中选择补丁的一行作为所述核心目标，该行尽可能代表函数修改的核心部分。

3.根据权利要求1所述的方法，其特征在于，如果在concolic执行过程中遇到间接跳转或函数指针调用，则对CFG和CG进行动态修正，以获得准确的路径信息。

4.根据权利要求1所述的方法，其特征在于，所述基于目标的搜索策略推断出补丁所覆盖的路径及补丁所在函数的相关路径，并将搜索引向这些路径以避免探索大量冗余路径。

5.根据权利要求4所述的方法，其特征在于，所述基于目标的搜索策略包括：

当一条路径执行结束后，确定候选列表中新状态的下一条指令地址是否命中目标函数，即补丁所在的函数；

如果命中，则为所有命中的新状态分配最高优先级，在最高优先级的新状态中选择最接近核心目标的一条路径以继续运行，该路径执行后，将继续在最高优先级的新状态中选择执行路径；

如果没有命中，或最高优先级的新状态全部执行完成，则结合CFG和CG查找目标函数的上层调用函数，并确认候选列表中是否存在新状态命中该上层调用函数；在命中该上层调用函数的新状态中选择最接近调用点的一个新状态继续执行。

6.根据权利要求4所述的方法，其特征在于，使用公式D_i＝|state_i_addr-target_addr|计算新状态与目标之间的距离，并选择距离最接近目标的新状态，其中Di表示距离，state_i_addr表示新状态的下一条指令地址，target_addr表示目标地址；target_addr是在运行程序之前确定的补丁行的地址，在没有新状态命中目标函数时，target_addr是目标函数的调用链中函数调用行的地址。

7.根据权利要求1所述的方法，其特征在于，在concolic执行过程中，如果遇到分支则将生成的两个分支的状态添加到执行树中，并将正分支置于左侧子树中，将负分支置于右侧子树中，即在创建新状态时将状态的正分支和负分支调整为与静态分析中生成的CFG一致。

8.一种采用权利要求1～7中任一权利要求所述方法的面向软件更新的软件测试装置，其特征在于，包括：

地址映射模块，用于建立新版本二进制程序的控制流图CFG和函数调用图CG，在CFG中对核心目标可能的执行路径进行标记，并在CG中标记相应的函数调用关系；在新版本二进制程序的concolic执行过程中，当执行路径遇到分支时，为执行路径创建一个新状态，然后在CFG中为该新状态查找下一条指令的地址，将新状态映射到该下一条指令的地址，并将新状态放入候选列表中；

基于目标的搜索模块，用于当一条路径执行结束后，采用基于目标的搜索策略从候选列表中选择一个落入目标函数的新状态以继续运行concolic执行。

9.一种电子装置，其特征在于，包括存储器和处理器，所述存储器存储计算机程序，所述计算机程序被配置为由所述处理器执行，所述计算机程序包括用于执行权利要求1～7中任一权利要求所述方法的指令。

10.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质存储计算机程序，所述计算机程序被计算机执行时，实现权利要求1～7中任一权利要求所述的方法。