公开(公告)号：CN119807057A

公开(公告)日：2025-04-11

申请号：CN202411877049.5

申请日：2024-12-19

Applicant: 厦门大学

Inventor： 吴荣鑫 ,  陈宏侨 ,  朱庆琳 ,  林立 ,  张一鸣 ,  黄华勋 ,  高聪明 ,  向乔 ,  沈志荣

IPC: G06F11/3668 ,  G06F16/242 ,  G06F18/22 ,  G06N5/022

Abstract: 本发明公开了一种基于大语言模型的数据库测试用例扩展方法、装置及可读介质，包括：构建每个数据库管理系统对应的特征知识库；通过错误恢复机制识别初始数据库管理系统的原始查询SQL语句中的原始方言特征，将原始方言特征在目标数据库管理系统对应的特征知识库中进行方言映射，得到目标方言特征及其对应的描述和示例；将初始数据库管理系统的原始查询SQL语句输入到转换模型，构建第一提示词，通过第一提示词指导转换模型生成目标数据库管理系统的原始查询SQL语句；将目标数据库管理系统的原始查询SQL语句输入到所选的变异策略对应的经微调的变异模型，生成对应的目标数据库管理系统的变异查询SQL语句，有效提高通用性和可靠性。

公开(公告)号：CN119597972A

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

申请号：CN202411342681.X

申请日：2024-09-25

Applicant: 厦门大学

Inventor： 吴荣鑫 ,  吴聪霞 ,  王超 ,  张一鸣 ,  黄华勋 ,  高聪明 ,  沈志荣

IPC: G06F16/901 ,  G06F16/9032 ,  G06N5/022

Abstract: 本发明涉及一种面向第三方库组合调用的图可达性分析方法及装置，方法包括：通过内部调用图摘要生成步骤，提取软件项目和TPL的调用边，区分内部调用边和外部调用边，采用精炼策略通过矩阵运算消除TPL内不可达的方法，生成可达性摘要；通过内部调用图摘要检索步骤，接收待检索的TPL位置，逆向搜索确定其依赖路径，构成由软件项目至被查询TPL的依赖节点链路；在可达性分析步骤中，结合依赖路径检索到的调用图摘要与待判断的源方法集合，构建从源方法到目标方法的可达路径集合。本发明优化了调用图摘要的生成与检索流程，适用于处理含有大量TPL的复杂软件项目，有效提高了面向第三方库组合调用的图可达性分析的效率。