【摘 要】
:
缺陷修复是软件维护活动中耗费成本最多的环节之一,目的是排除软件程序中的缺陷。研究表明程序缺陷发现的越早,造成的损失就越小。为了减少缺陷程序的修复及维护成本,提高软件质量,研究缺陷程序的自动修复技术势在必行。现有缺陷程序修复技术存在着修复材料选择过于随机、不够精确以及修复材料应用方式过于简单等问题,而修复材料的选择及应用方式直接影响到缺陷程序的修复效果。针对上述问题,本文研究基于不完全规约的缺陷程序
论文部分内容阅读
缺陷修复是软件维护活动中耗费成本最多的环节之一,目的是排除软件程序中的缺陷。研究表明程序缺陷发现的越早,造成的损失就越小。为了减少缺陷程序的修复及维护成本,提高软件质量,研究缺陷程序的自动修复技术势在必行。现有缺陷程序修复技术存在着修复材料选择过于随机、不够精确以及修复材料应用方式过于简单等问题,而修复材料的选择及应用方式直接影响到缺陷程序的修复效果。针对上述问题,本文研究基于不完全规约的缺陷程序演化修复技术,并针对不同问题特点提出两种缺陷程序演化修复技术,主要研究内容如下:(1)针对缺陷程序修复材料选取过于随机、无针对性的问题,提出一种基于加权融合相似度和遗传编程的缺陷程序演化修复技术,设计并实现了缺陷程序演化修复原型工具WGRepair(Weighted Fusion Similarity and Genetic Programming based Automatic Software Repair)。首先,利用缺陷定位技术定位出怀疑语句,选择符合条件的怀疑语句作为修改点。其次,根据加权融合相似度值选取缺陷修复材料,并根据遗传编程进行缺陷程序的演化修复。然后,使用测试用例验证程序个体的有效性,并根据测试用例的错误识别能力大小对其进行降序排列。最后,重复上述步骤直到有程序个体通过所有的测试用例或达到程序迭代终止条件。实验结果表明,引入加权融合相似度后的修复技术,能够更有针对性地选取修复材料,提高缺陷程序修复成功率。(2)针对缺陷程序修复粒度过粗、修复材料应用方式过于简单的问题,提出一种基于混合粒度与变量映射的缺陷程序演化修复技术,设计并实现了缺陷程序演化修复原型工具MVRepair(Mixed Granularity and Variable Mapping based Automatic Software Repair)。首先,利用缺陷定位技术定位出怀疑语句,形成修改点列表。其次,获取语句级别的缺陷程序修复材料,建立材料语句与修改点语句之间变量的映射关系,将映射关系作为材料应用的主要约束条件,并根据随机搜索算法进行缺陷程序的演化修复。然后,对每个修改点维护一个测试用例执行信息表,并根据验证过程动态调整,在程序验证时优先执行该信息表中测试用例。最后,重复上述步骤直到有程序个体通过所有的测试用例或达到程序迭代终止条件。实验结果表明,所提缺陷修复技术应用缺陷修复材料的方式更合适,修复成功率和程序验证效率更高。(3)针对所提两种缺陷程序演化修复技术的共同特点,集成一种缺陷修复工具bug Repair。该集成工具主要分为程序预处理模块、程序演化验证模块和补丁输出模块三大模块。该工具使用时,可根据命令提示进行操作,降低了操作修复工具的难度,提高了可操作性,具有一定的实际应用价值。
其他文献
我国作为粮食生产和储藏大国,粮食是人民生存的基本物资。因此,粮食安全是社会与经济发展,国家安全与稳定的重大问题。在粮食储藏周期中,需要对粮食进行温度、水分、霉变和虫害等一系列的指标检测。其中粮食含水量这一指标的检测是粮食安全储藏中的重中之重。粮食水分的过高或过低会影响粮食的品质与安全。粮食水分过高会发生霉变等变化,过低则会破坏粮食内部的有机物从而影响粮食的加工品质。所以,粮食水分含量的检测对于粮食
主动声纳易暴露平台位置,被动声纳探测面临困难较多,所以多基地声纳应运而生,其具有隐蔽性强,探测距离远等一系列优势。多基地声纳的配置与布阵、强干扰下的弱目标检测、多基定位技术、同步与实时技术等已成为热点研究问题。本文主要针对强直达波干扰下的弱目标检测问题和多基地定位问题展开研究。对于弱目标检测问题,本文从信号体制出发,选择多普勒敏感信号,研究时频空联合干扰抑制方法;对于多基定位问题,本文研究最小二乘
地下粮仓具有绿色、环保、低温、节约土地资源等优点,但仍存在着防水防潮、湿作业工作量大和受力复杂等问题,为此本文提出一种装配式地下粮仓钢板-混凝土仓壁新型干式连接节点。此节点不仅能大大提高施工进度,还能满足组合节点的受力性能和防水防潮要求,使仓内粮食得以良好的储存。钢板-混凝土地下粮仓仓壁节点由内、外防水钢板、传力钢板、U型钢板组成,并通过各个钢板之间的焊接将预制仓壁块连接成一个完整构件。共制作了三
河南地区是我国重要的白酒生产省份和酒类文化强省,所生产出来的大多数白酒都是浓香型白酒。俗话讲“老窖产好酒”,窖泥中微生物菌群质量的好坏对酒的质量有决定性的影响。针对豫酒部分生产企业白酒香气不足,尤其是主体香不突出的问题,本课题选取河南两个地域、生产工艺、原料基本接近的白酒厂为样本,采用气相色谱法分析新老窖池所产基酒的主要挥发性香味物质的含量,并使用Illumina-Miseq高通量测序技术分析了新
随着地铁的快速发展,地铁周边的商业住宅随之增多,而对于此类基坑,往往具有风险高、影响大,支护成本高等特点。目前,临近地铁侧止水帷幕选型对已运营地铁的影响研究具有重要研究意义。本文依托临近郑州已运营地铁1号线为背景,针对该基坑特殊的地质和水文条件,优选出适合本工程的止水帷幕型式,通过有限元模拟分析,研究在基坑降水中,止水帷幕的使用对既有隧道的影响,主要研究如下:(1)在总结分析目前常用的止水帷幕型式
随着各类尖端反舰武器在现代海洋战争中的广泛应用,舰船面临的威胁愈发严峻。反舰导弹依靠其强大的机动性与精确制导能力,产生的空爆冲击波与高速破片群对舰船主体形成联合作用毁伤,是大型水面舰艇的主要威胁。防护舱壁结构是舰船的最后一道防御屏障,是舰船生命力的保证,但现有的钢制舱壁已不足以抵御冲击波-破片群联合作用损伤,加厚舱壁提高防护能力则会增加重量进而削弱机动性。因此,重量较轻、力学性能良好、可设计的纤维
藻蓝色素作为一种具有保健功能的天然色素,是GB 2760-2014中允许使用的两种天然蓝色素之一。它是由四吡咯发色团与辅基蛋白连接而成的色素蛋白复合物,色泽独特,营养丰富,具有抗氧化、抗肿瘤、抗炎等多种生理功能,开发应用前景广阔。然而藻蓝色素在高温、酸性环境下不稳定,易褪色且产生沉淀,因此严重制约了其在食品、化妆品,尤其是酸性食品中的应用。本文以藻蓝色素为研究对象,对其稳定性影响因素进行详细考察,