扬州大学薄莉莉获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉扬州大学申请的专利基于模板的并发缺陷修复系统及方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114327575B 。
龙图腾网通过国家知识产权局官网在2025-06-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202111507043.5,技术领域涉及:G06F8/658;该发明授权基于模板的并发缺陷修复系统及方法是由薄莉莉;袁砚池;孙小兵;李斌;吴潇雪设计研发完成,并于2021-12-10向国家知识产权局提交的专利申请。
本基于模板的并发缺陷修复系统及方法在说明书摘要公布了:本发明公开了一种基于模板的并发缺陷修复系统及方法,包括:通过爬取开源缺陷跟踪系统中开源项目的缺陷报告,检索并筛选所有与并发相关的缺陷,并提取对应的补丁文件;将补丁文件转化为特殊的变更树表示;通过比较变更树的相似度来提取修复模板;把修复模板和已知缺陷代码行号的待修复文件作为输入进行模板匹配,匹配成功后通过重构源码完成并发缺陷的修复。本发明通过将补丁文件转化为特殊的变更树表示,捕获代码变更上下文,生成更加精确和细粒度的编辑脚本,通过比较变更树之间的相似度,挖掘出准确的修复模板,能更好地利用缺陷代码的语法信息,充分挖掘其与上下文的关系,修复更多类型的并发缺陷,普适性和通用性更强,修复更加准确。
本发明授权基于模板的并发缺陷修复系统及方法在权利要求书中公布了:1.一种基于模板的并发缺陷修复系统,其特征在于,包括: 数据集采集模块,用以通过爬取开源缺陷跟踪系统中开源项目的缺陷报告,以“并发的”、“并发性”、“死锁”、“原子性违背”、“数据竞争”、“资源竞争”、“顺序违背”、“线程安全”、多线程”以及“同步”作为关键词检索所述缺陷报告,筛选所有与并发相关的缺陷,并提取对应的补丁文件; 富编辑脚本计算模块,用以将所述补丁文件使用GumTree计算出该补丁文件的抽象语法树AST的编辑操作序列并重新映射到程序AST中的相关节点;富编辑脚本中的每个节点都包含三种不同类型的信息:形状、操作和令牌; 修复模板提取模块,用以构建搜索索引,即一组比较子空间,为每次迭代分别定义一个搜索索引,依次得到形状索引、操作索引、令牌索引;其中,迭代的类型包括:形状、操作以及令牌; 分别计算富编辑脚本的前两种表示的树编辑距离,即将一棵树转换为另一棵树的编辑操作序列,对于前两次迭代,即形状与操作,利用GumTree的编辑脚本算法,将两棵树作为输入,并生成编辑脚本,编辑脚本的大小即表示两棵树之间的树编辑距离,当树编辑距离为零时,输入的两棵树被认为是相同的,两棵相同的树被称为相同树对; 为了提取修复模板,利用富编辑脚本的特殊的变更树表示的簇,从为每个迭代生成的相同树对开始,根据迭代提取相应的变更树表示,利用基于图中连接组件识别理论的聚类过程以找到一组相同的树,即簇;从树对集合中创建一个无向图,图中的节点表示树,边表示关联的树,即相同树对;在图中,将簇定义为子图,每个子图包含一组树,这组树彼此相同,互不关联,一个簇包含一个富编辑脚本集合,同一集合中的富编辑脚本共享一个公共的特殊树表示,当一个簇至少有两个成员时,该簇被限定为一个模板; 并发缺陷修复模块,用以把所述修复模板和已知缺陷代码行号的待修复文件作为输入进行模板匹配,匹配成功后通过重构源码完成并发缺陷的修复。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人扬州大学,其通讯地址为:225009 江苏省扬州市大学南路88号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。