Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 南京财经大学杨乙霖获国家专利权

南京财经大学杨乙霖获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉南京财经大学申请的专利一种基于上下文程序约简技术的软件缺陷定位方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120295896B

龙图腾网通过国家知识产权局官网在2025-08-22发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510774210.4,技术领域涉及:G06F11/362;该发明授权一种基于上下文程序约简技术的软件缺陷定位方法是由杨乙霖设计研发完成,并于2025-06-11向国家知识产权局提交的专利申请。

一种基于上下文程序约简技术的软件缺陷定位方法在说明书摘要公布了:本发明公开了一种基于上下文程序约简技术的软件缺陷定位方法,该方法采用缺陷定位系统进行工作,该系统包括可疑程序提取模块、代码实体处理模块、缺陷定位模块,所述可疑程序提取模块用于将程序活动的堆栈帧生成堆栈追踪,并在其中提取可疑程序实体,所述代码实体处理模块用于解析可疑程序实体,对潜在的有缺陷的代码实体进行缺陷概率的排名,所述缺陷定位模块用于对有缺陷的代码实体进行定位,所述可疑程序提取模块包括堆栈帧生成模块、堆栈追踪分析模块,所述堆栈帧生成模块与堆栈追踪分析模块电连接;所述堆栈追踪分析模块用于从堆栈帧中提取可疑程序实体,本发明,具有语句级缺陷定位的特点。

本发明授权一种基于上下文程序约简技术的软件缺陷定位方法在权利要求书中公布了:1.一种基于上下文程序约简技术的软件缺陷定位方法,其特征在于:该方法采用缺陷定位系统进行工作,该系统包括可疑程序提取模块、代码实体处理模块和缺陷定位模块,所述可疑程序提取模块用于将程序活动的堆栈帧生成堆栈追踪,并在其中提取可疑程序实体,所述代码实体处理模块用于解析可疑程序实体,对潜在的有缺陷的代码实体进行缺陷概率的排名,所述缺陷定位模块用于对有缺陷的代码实体进行定位; 包括以下步骤: S1、记录系统故障时的程序活动,利用系统提供的API获取当前执行的堆栈帧信息,堆栈帧记录了函数调用的顺序和位置,利用堆栈帧创建堆栈追踪,从中提取可疑程序实体; S2、使用正则表达式解析提取的可疑程序实体,将可疑程序实体中的代码实体划分为函数名称、文件名和行号,并分析可疑文件中代码实体的依赖关系,以推测潜在有缺陷的代码实体; S3、对相关的代码实体进行缺陷概率的排名,调整识别缺陷语句的覆盖率,以覆盖缺陷概率高的代码实体,并尽量减少检索空间; S4、检测有缺陷的代码实体,输出检测到的缺陷代码实体及其对应的位置信息,并对检测到各个缺陷代码实体的缺陷检出数量进行统计,对各个代码实体的缺陷概率进行调整; S5、对代码实体按照行号进行拆分,将经常出现缺陷的行号区间命名为新的代码实体,并且使得新的代码实体参与缺陷概率的排名。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人南京财经大学,其通讯地址为:211000 江苏省南京市文苑路3号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。