公开(公告)号：CN116126830A

公开(公告)日：2023-05-16

申请号：CN202310123541.2

申请日：2023-02-16

Applicant: 厦门大学

Inventor： 吴荣鑫 ,  郝宗寅 ,  戚鹏宇 ,  张一鸣 ,  沈志荣 ,  李乔 ,  高聪明 ,  舒继武

IPC: G06F16/21 ,  G06F16/24

Abstract: 本发明公开了一种数据库管理系统的逻辑缺陷的检测方法、装置及可读介质，通过获取随机生成的数据库中的表；根据表建立第一查询语句，基于第一查询语句的查询作为种子查询；通过近似变异合成与第一查询语句具有近似关系的若干第二查询语句，基于若干第二查询语句的查询作为合成查询；将第一查询语句和若干第二查询语句输入数据库管理系统中，得到种子查询的结果以及合成查询的结果；判断合成查询的结果与种子查询的结果之间是否违背近似关系，若是，则确定数据库管理系统存在逻辑缺陷。通过合成种子查询的过近似或欠近似，使其查询结果为种子查询结果的超集或子集，可以有效判断数据库管理系统是否存在逻辑缺陷，提高检测的准确性和效率。

公开(公告)号：CN119248283A

公开(公告)日：2025-01-03

申请号：CN202411342686.2

申请日：2024-09-25

Applicant: 厦门大学

Inventor： 吴荣鑫 ,  戚鹏宇 ,  郝宗寅 ,  张一鸣 ,  高聪明 ,  沈志荣 ,  李乔

IPC: G06F8/41 ,  G06F8/36 ,  G06F8/658

Abstract: 本发明一种针对软件项目的函数级增量编译方法及系统，包括：识别出具有文本变化的函数，提取变更代码中使用的符号；基于变更代码中使用的符号，在旧源代码的CDG上执行编译依赖传播，识别语义上发生变化的函数；删减语义上未发生变化的函数，生成部分源代码，然后编译以生成部分二进制文件；从旧的二进制文件中提取符号之间的依赖关系以生成BDG，来识别需要复用的派生二进制代码；对于主体被删减的函数，在BDG上执行二进制依赖传播，确定需要复用的符号和数据段；将旧的二进制文件中需要复用的符号和部分数据段合并到部分二进制文件中，组成完整的二进制文件。本发明能够在函数级别重用之前的编译结果，仅需要重新编译语义发生变化的函数。