一种基于规则的自动程序修复方法

来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户:z7120
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所
其他文献
唐朝是中华文明发展史上的一个全盛时期,也是我国诗歌发展的黄金时期,文学巨匠“诗仙”李白便诞生于这个时代。众所周知,李白在中国文学史中的地位可谓“垂辉映千秋”,其诗歌
国际法医遗传学会(International Society of Forensic Genetics,简称ISFG)是旨在促进法医遗传标记分析研究的国际科学组织。成立于1968年,现有来自61个国家971名会员。每两年召
李某,男,38岁。2005年7月3日,与马某发生纠纷,4天后,李某因“右耳外伤鼓膜穿孔”鉴定为轻伤,并说系马某用手打击形成,马某坚决否认打击其耳朵。李某病历记载,伤后3天,耳科查见右耳鼓膜
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
报纸