[发明专利]用于验证数据库系统正确性的方法和装置

权利要求书

1.一种用于验证数据库系统的正确性的方法，包括：

接收结构化查询SQL指令；

扩展所接收到的SQL指令的访问路径；

利用所述扩展的访问路径执行所述SQL指令；以及

根据执行所述SQL指令的结果验证数据库系统的正确性。

2.如权利要求1所述的方法，其中扩展所接收到的SQL指令的访问路径包括：

获取组成所述SQL指令的访问路径的元素；以及

组合所述元素的可能取值以生成扩展的访问路径。

3.如权利要求2所述的方法，进一步包括：

根据访问路径中的元素的权重值以及历史错误信息，计算所扩展的访问路径的权重值。

4.如权利要求3所述的方法，所述历史错误信息包括：在SQL指令执行出错的情况下，每个元素的各个可能的取值所占的比例。

5.如权利要求3或4所述的方法，其中利用所述扩展的访问路径执行所述SQL指令包括：

根据所计算得到的所扩展的访问路径的权重值，选择需要利用的所扩展的访问路径；以及

利用所选择的访问路径执行所述SQL指令。

6.如权利要求5所述的方法，其中根据所计算得到的所扩展的访问路径的权重值，选择需要利用的所扩展的访问路径是利用蒙特卡洛算法实现的。

7.如权利要求1-6任一所述的方法，其中根据执行所述SQL指令的结果验证数据库系统的正确性包括：

判断执行所述SQL指令的结果是否与之前的执行所述SQL指令的结果相同；以及

如果结果不同，则确定所述数据库系统存在错误。

8.一种用于验证数据库系统的正确性的系统，包括：

接收装置，用于接收结构化查询SQL指令；

访问路径扩展装置，用于扩展所接收到的SQL指令的访问路径；

执行装置，用于利用所述扩展的访问路径执行所述SQL指令；以及

验证装置，用于根据执行所述SQL指令的结果验证数据库系统的正确性。

9.如权利要求8所述的系统，其中访问路径扩展装置包括：

元素获取装置，用于获取组成所述SQL指令的访问路径的元素；以及

访问路径扩展装置，用于组合所述元素的可能取值以生成扩展的访问路径。

10.如权利要求9所述的系统，进一步包括：

访问路径选择装置，用于根据访问路径中的元素的权重值以及历史错误信息，计算所扩展的访问路径的权重值。

11.如权利要求10所述的系统，所述历史错误信息包括：在SQL指令执行出错的情况下，每个元素的各个可能的取值所占的比例。

12.如权利要求10或11所述的系统，其中执行装置被进一步配置为：

根据所计算得到的所扩展的访问路径的权重值，选择需要利用的所扩展的访问路径；以及

利用所选择的访问路径执行所述SQL指令。

13.如权利要求12所述的系统，其中执行装置被进一步配置为：利用蒙特卡洛算法选择需要利用的所扩展的访问路径。

14.如权利要求8-13任一所述的系统，其中验证装置被进一步配置为：

判断执行所述SQL指令的结果是否与之前的执行所述SQL指令的结果相同；以及

如果结果不同，则确定所述数据库系统存在错误。