[发明专利]一种符号执行方法、装置及系统

权利要求书

1.一种符号执行方法，其特征在于，应用于包含负载均衡器和至少两个控制器的系统中，所述方法包括：

负载均衡器向选择的一控制器发送第一指示指令；

接收到第一指示指令的控制器，按照设定的执行策略确定待测试程序中的第一条路径，且在确定第一条路径的过程中在每一条最终引起路径分叉的分支指令处生成相应的路径种子；将生成的路径种子发送至负载均衡器，并收集该第一条路径上的路径条件，获得满足所述第一条路径上的路径条件的测试用例，向负载均衡器发送进入空闲状态的通知，其中，所述路径种子是由设定个数的元素组成的顺序字节流，所述元素是表示程序路径中依次遇到的每个分支指令的取向；

负载均衡器接收路径种子后，向至少一个空闲的控制器分别发送含有路径种子的第二指示指令，且每个空闲的控制器对应的第二指示指令中的路径种子不同；

收到第二指示指令的控制器，确定所述第二指示指令中的路径种子所表示的第一段路径，在该第一段路径的基础上按照设定的执行策略确定能与第一段路径结合构成第N条路径的第二段路径，并在确定第二段路径过程中在每一条最终引起路径分叉的分支指令处生成相应的路径种子，将生成的路径种子发送至负载均衡器，收集该第N条路径上的路径条件，获得满足所述第N条路径上的路径条件的测试用例，向负载均衡器发送进入空闲状态的通知，所述N为大于1的正整数。

2.如权利要求1所述的方法，其特征在于，在待测试程序中存在多路分支指令时，在所述按照设定的执行策略确定待测试程序中的第一条路径之前，所述方法还包括：

将多路分支指令转换为多条二路分支指令。

3.如权利要求2所述的方法，其特征在于，所述在确定第一条路径过程中在每一条最终引起路径分叉的分支指令处生成相应的路径种子具体包括：

确定该第一条路径中起始分支指令到该第一条路径中的每一条最终引起路径分叉的分支指令前的路径对应的路径种子；

在确定的该路径种子后添加一个表示与第一条路径在该最终引起路径分叉的分支指令的取向相反的元素，得到一个新的路径种子，将该新的路径种子作为生成的路径种子；

所述在确定第二段路径过程中在每一条最终引起路径分叉的分支指令处生成相应的路径种子，具体包括：

确定所述第N条路径中起始分支指令到该第二段路径中的每一条最终引起路径分叉的分支指令前的路径对应的路径种子；

在确定的该路径种子后添加一个表示与第N条路径在该最终引起路径分叉的分支指令的取向相反的元素，得到一个新的路径种子，将该新的路径种子作为生成的路径种子。

4.如权利要求1所述的方法，其特征在于，所述负载均衡器包括一个主线程、一个消费者线程、一个生产者线程和一个任务列表，所述主线程作为消费者线程和生产者线程的守护线程，对消费者线程和生产者线程进行管理；

所述将生成的路径种子发送至负载均衡器具体为：

将生成的路径种子发送至生产者线程，该路径种子被生产者线程存放至任务列表；

所述负载均衡器接收路径种子后，向至少一个空闲的控制器分别发送含有路径种子的第二指示指令具体为：

消费者线程从任务列表中取出路径种子，并向至少一个空闲的控制器分别发送含有该路径种子的第二指示指令。

5.如权利要求1所述的方法，其特征在于，所述负载均衡器和至少两个控制器运行在不同的主机内。