Search Based Automated Program Repair for Multiple Faults

来源 :北京化工大学 | 被引量 : 0次 | 上传用户:ljj3061105011
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在软件开发过程中,程序错误是不可避免的,实际上,一个软件中可能会发生多个错误,解决这些错误主要包括两个步骤:错误定位和程序修复。当前错误定位的有效性和自动程序修复(Automatic Program Repair,APR)技术可能会受到多个错误共存的影响。因此,在定位错误时,需要针对定位多错误来确定错误与测试用例之间的关系。现有修复错误的技术主要关注于如何有效并且高效地修复程序中的单错误,这在大多数情况下并不适用,因为在现实世界中,大多数程序都包含多个错误,这些错误通过测试用例相互连接。
  近年来,对多错误程序的自动修复的研究并不完全,将多错误定位与修复方法相结合,以修复给定程序的所有错误,是多错误修复方面的一个主要研究课题。
  为了解决上述问题,本文提出了一种基于GenProg的基于搜索的多错误自动修复方法,该方法采用k-medoids聚类实现错误定位,使用变异自动修复程序中所有错误。该方法首先使用K-medoids聚类和Dstar错误定位技术来确定测试用例与错误之间的关系,生成多错误定位信息。该方法确定哪个测试用例与哪个错误相关,并且在聚类时标识测试用例来完成,确定测试用例与错误的关系对于修复多错误是有必要的。利用此故障定位信息的优势,该方法根据语句位置和变异算子生成一个非随机初始种群,种群中的个体是经过进一步验证的粗糙补丁,然后是包含两种类型交叉的混合交叉用于加速错误修复的整个搜索空间。
  使用上述实验环境,对SIR(Software-artifact Infrastructure Repository,SIR)库中的7个程序进行了实验。实验结果表明,本文提出的方法在自动修复程序的多个错误版本方面是有效并且是高效的。我们的方法中使用的错误定位方法可以有效地定位和识别测试用例之间的关系,而基于搜索的修复方法可以有效地修复由错误定位信息推荐的错误。
其他文献
摘要:财务报表作为会计核算工作的最终表现形式为广大报表信息使用者提供了决策依据,国内外许多会计工作者一直致力于研究财务报表的改进完善工作,以使报表提供的信息更为真实、全面、有效。针对当前備受关注的《财务报表列报初步意见(讨论稿)》在中国的应用问题,简要分析了国际财务报表改革趋势的积极意义,并结合部分证券市场投资者对当前报表列报的看法,讨论了中国财务报表列报国际持续趋同的必要性,然后分析了“讨论稿”
期刊
摘要:金融危机对实体经济产生严重影响,研究了苏州工业园区在后金融危机时代产线和产能转移特点和趋势,探讨了它的成因和对区域经济发展的影响,提出了相应的策略和建议。  关键词:工业园区;产能转移;区域经济  中图分类号:F127文献标志码:A文章编号:1673-291X(2010)31-0173-02    1994年,中、新两国政府间最大的合作项目——苏州工业园首期开发建设正式启动。经过十余年的发展
期刊
摘要:煤炭资源是发展采掘工业的物质基础。煤炭资源的开采条件直接影响煤炭资源的利用价值,同时也直接影响劳动者的身体健康。矽肺病是一种严重危害劳动人民健康的职业病,严重者可影响肺功能,丧失劳动能力,甚至发展为肺心病、心衰及呼吸衰竭直至人死亡。经调查发现,在中国的一些矽肺病的高发地区,造成人们得矽肺病的原因是他们都曾经在非法开采的个体煤矿里打过工,由于个体煤矿缺乏良好的生产环境和劳动保护措施,劳动者长期
期刊
摘要:通过对埃克森美孚公司和BP公司在实施低碳经济方面的做法进行调研,总结了这两个公司所采取的措施,结合国内能源企业的现状,提出了相关的一些认识与启示。认为转变观念、推进技术进步和在关键环节进行控制是实现低碳经济最有利的方式。  关键词:油气公司;低碳经济;经验  中图分类号:F124.5文献标志码:A文章编号:1673-291X(2010)31-0220-02    引言  对跨国石油公司来说,
期刊
摘要:目前大学生就业市场上,求职者和招聘方仍面临着由于信息不对称而造成的“逆向选择”困扰。据此,通过对网上就业市场、新型平台浙江大学生网上就业市场的调研分析,提出并讨论了一种立足校企合作、依托第三方机构运行的网上求职招聘平台,这种解决大学生就业问题的新模式,值得我们探讨并尝试。  关键词:信息不对称;大学生;网上就业平台;求职招聘  中图分类号:F241.23文献标志码:A文章编号:1673-29
期刊
摘要:企业社会责任与低碳经济始终密切联系。考察低碳经济与企业社会责任的互动与策略对接,是寻求企业积极履行社会责任的重要途径,具有重要的理论和现实意义。  关键词:企业社会责任;低碳经济;和谐社会  中图分类号:F27文献标志码:A文章编号:1673-291X(2010)31-0217-03    一、问题的提出  (一)内涵的阐释  企業社会责任(Corporate Social Responsi
期刊
摘要:民族文化旅游品牌资产价值主要由理性价值、象征性价值和感性价值构成,基于此,主要从民族文化旅游品牌的品质认知度、市场竞争力、知名度、忠诚度和联想度五个角度构建出民族文化旅游品牌资产价值的评价指标体系,并以大湘西為例,对该地区的民族文化旅游品牌资产价值进行了评价分析。  关键词:民族文化旅游;品牌价值;品牌资产评估;大湘西  中图分类号:F592.7文献标志码:A文章编号:1673-291X(2
期刊
摘要:产业结构变动是影响能源消费的重要因素。采用对数线性回归模型分析了浙江省的产业结构变动对能源消费的影响,研究表明,第三产业对能源消费的影响最为巨大,第二产业次之,第一产业对能效消费的影响较小,因此浙江省的产业结构变动在总体上对于节能的影响较弱。进而提出,浙江省在第三产业中应积极推进清洁生产,倡导适度消费。  关键词:产业结构;能源消费;对数线性回归  中图分类号:F121.3文献标志码:A文章
期刊
摘要:品牌联盟是一种当前广泛应用的品牌营销战略,但对它的理论研究却相对滞后。从战略执行的角度出发进行分析,指出了品牌联盟战略的本质目的是提升品牌价值,它的收益体现在市场开拓、营销推广和财务回报多个方面。围绕品牌价值的培育和管理,构建了一个品牌联盟的执行流程。同时从目标、合作伙伴等角度探讨了品牌联盟活动的常见风险。  关键词:品牌联盟;品牌适应性;品牌价值  中图分类号:F27文献标志码:A文章编号
期刊
摘要:以古希腊、古罗马为代表的西方早期社会,司法主体的专门化程度较低。但在统治集团内部,司法成为控制权力滥用的重要手段,司法的规则形成功能凸显,统治集团内部,司法的纠纷解决功能得到进一步的体现,但对于被统治阶级来说,司法的镇压功能占据了重要的地位。  关键词:司法能动主义;古希腊;权力控制  中图分类号:D93文献标志码:A文章编号:1673-291X(2010)31-0269-02    原始社
期刊