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

来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户:z7120
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所
其他文献
唐朝是中华文明发展史上的一个全盛时期,也是我国诗歌发展的黄金时期,文学巨匠“诗仙”李白便诞生于这个时代。众所周知,李白在中国文学史中的地位可谓“垂辉映千秋”,其诗歌
本文综述了应用力学研究所的教师、博士后人员和研究生们将损伤局部性方法(LDA)用于蠕变损伤和低周疲劳损伤分析以及细观损伤测量中的研究成果。展望了损伤局部性方法进一步
文章通过对西南基诺族中学生体质与东北朝鲜族中学生体质调研的数据进行对比分析,探讨了我国西南基诺族与东北朝鲜族13~18岁中学生的体质差异,为提高少数民族青少年体质提供
国际法医遗传学会(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
报纸
浙江省乐清县清江海水养殖场采用三轮车外胎制成橡皮条,于1979年7月在清江海区进行自然附蛎苗和养殖实验,经一年多挂养效果良好。1981年7月中试一万条,经检查,80%的橡皮条附苗好,
根据两次全国公路大中桥孔径设计资料的调查,对桥孔长度进行了全面分析,为《公路工程水文勘测设计规范》制定桥长公式提供参考。