[发明专利]一种面向对象程序中条件语句缺陷补丁生成与验证方法有效
申请号: | 202110777641.8 | 申请日: | 2021-07-09 |
公开(公告)号: | CN113590167B | 公开(公告)日: | 2023-03-24 |
发明(设计)人: | 杨秋辉;李兴佳;伍佳 | 申请(专利权)人: | 四川大学 |
主分类号: | G06F8/658 | 分类号: | G06F8/658;G06F11/36 |
代理公司: | 暂无信息 | 代理人: | 暂无信息 |
地址: | 610065 四川*** | 国省代码: | 四川;51 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供一种面向对象程序中条件语句缺陷补丁生成与验证方法。该方法包括修复信息收集、补丁生成和补丁验证三个步骤。首先运行测试用例,收集待修复程序位置的上下文信息,然后综合使用变异技术和程序合成技术自动化地生成候选补丁,最后运行测试用例验证候选补丁的有效性。该方法可以有效地修复条件语句错误和条件语句缺失两种缺陷,显著提高了缺陷修复率和补丁精度,缓解了补丁过度拟合问题。 | ||
搜索关键词: | 一种 面向 对象 程序 条件 语句 缺陷 补丁 生成 验证 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于四川大学,未经四川大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202110777641.8/,转载请声明来源钻瓜专利网。