| 摘要 |
The invention provides a method for verifying correctness of a database system, comprising: receiving SQL instruction; extending access paths of the received SQL instruction; executing the SQL instruction by using the extended access paths; and verifying correctness of the database system according to result of executing the SQL instruction. With the method and system of the invention, the object of verifying correctness of a database system by automatically extending access paths of SQL statement may be achieved, and the object of verifying correctness of a database system scientifically, effectively and purposefully based on ratio of error or defect present in database itself due to various data manipulation approaches (different values of access path elements) may also be achieved.
|
