公开(公告)号：CN118093414A

公开(公告)日：2024-05-28

申请号：CN202410273156.0

申请日：2024-03-11

Applicant: 中国科学院软件研究所

Inventor： 窦文生 ,  宋建森 ,  高钰 ,  崔紫玉 ,  黄涛 ,  王伟 ,  魏峻

IPC: G06F11/36 ,  G06F16/242 ,  G06F16/2453 ,  G06F16/2455

Abstract: 本发明公开了一种元数据导向的逻辑缺陷自动化检测方法及装置，涉及软件技术领域。本发明针对目标数据库系统，基于数据定义语言语句和数据操纵语言语句构造初始数据库；根据初始数据库构造原始数据库，该原始数据库与初始数据库具有相同表数据但不具有相同元数据；根据初始数据库生成测试目标数据库系统的查询语句；在初始数据库和原始数据库中分别执行查询语句，获取初始数据库和原始数据库返回的结果；通过判断初始数据库和原始数据库返回的结果之间的关系，来确认目标数据库系统是否发生了元数据相关的逻辑缺陷。本发明不局限于关系型数据库系统，而是适用于所有使用数据库元数据进行查询优化的数据库系统。

公开(公告)号：CN115344500A

公开(公告)日：2022-11-15

申请号：CN202211046253.3

申请日：2022-08-30

Applicant: 中国科学院软件研究所

Inventor： 王伟 ,  宋建森 ,  窦文生 ,  崔紫玉 ,  魏峻 ,  黄涛 ,  刘杰

IPC: G06F11/36

Abstract: 本发明公开了一种面向关系型数据库中SQL语句执行的自动化测试方法及装置，涉及软件技术领域。所述方法包括：针对目标关系型数据库，基于创建数据表以及填充数据的SQL语句构建至少一个数据表，以得到目标数据库；生成目标数据表；生成测试所述目标数据库的SQL语句组；其中，所述目标数据表是一个数据表或者JOIN连接的多个数据表或者逗号连接的多个数据表；所述SQL语句组是由包含相同谓词且操作在相同目标数据表上的SELECT、UPDATE和DELETE语句组成；获取所述SQL语句组中每一SQL语句在所述目标关系型数据库中的执行结果；通过分析所述执行结果是否符合所述目标关系型数据库的SQL语句执行策略，得到测试结果。本发明支持检测所有包含谓词的SQL语句中的逻辑错误。

公开(公告)号：CN114610626B

公开(公告)日：2024-08-20

申请号：CN202210252064.5

申请日：2022-03-15

Applicant: 中国科学院软件研究所

Inventor： 窦文生 ,  戴千旺 ,  崔紫玉 ,  宋建森 ,  魏峻

IPC: G06F11/36 ,  G06F16/21 ,  G06F16/242 ,  G06F16/28

Abstract: 本发明公开了一种面向关系型数据库的事务隔离性自动化测试方法及装置，所述方法包括：针对目标关系型数据库，构建测试输入；基于数据库修改历史对测试输入进行执行结果推断，以获取期望结果；依据所述语句交叉执行顺序，将所述事务对提交给待测数据库执行，以获取执行结果；比较所述期望结果与执行结果，以生成测试报告。本发明通过测试发现事务隔离缺陷，能够覆盖目标关系型数据库中多样的数据类型、数据约束、语句类型等特性，提高数据库事务隔离缺陷的检测效率。

公开(公告)号：CN114610626A

公开(公告)日：2022-06-10

申请号：CN202210252064.5

申请日：2022-03-15

Applicant: 中国科学院软件研究所

Inventor： 窦文生 ,  戴千旺 ,  崔紫玉 ,  宋建森 ,  魏峻

IPC: G06F11/36 ,  G06F16/21 ,  G06F16/242 ,  G06F16/28

Abstract: 本发明公开了一种面向关系型数据库的事务隔离性自动化测试方法及装置，所述方法包括：针对目标关系型数据库，构建测试输入；基于数据库修改历史对测试输入进行执行结果推断，以获取期望结果；依据所述语句交叉执行顺序，将所述事务对提交给待测数据库执行，以获取执行结果；比较所述期望结果与执行结果，以生成测试报告。本发明通过测试发现事务隔离缺陷，能够覆盖目标关系型数据库中多样的数据类型、数据约束、语句类型等特性，提高数据库事务隔离缺陷的检测效率。