【摘 要】
：
软件缺陷是软件开发和维护过程中不可避免的.随着现代软件规模的不断变大,软件缺陷的数量以及修复难度随之增加,为企业带来了巨大的经济损失.修复软件缺陷,成为了开发人员维护软件质量的重大负担.软件缺陷自动修复技术有希望将开发者从繁重的调试中解脱出来,近年来成为热门的研究领域之一.搜集了94篇该领域最新的高水平论文,进行了详细的分析和总结.基于缺陷修复技术在补丁生成阶段所使用的技术手段不同,系统性地将软件自动修复技术分为4大类,分别是基于启发式搜索、基于人工模板、基于语义约束和基于统计分析的修复技术.特殊地,根据
【机 构】
：
天津大学智能与计算学部,北京大学信息科学技术学院计算机科学技术系软件研究所,高可信软件技术教育部重点实验室（北京大学）
【基金项目】
：
国家自然科学基金(62002256,61922003),天津市智能制造专项资金项目(20193155)。
论文部分内容阅读
软件缺陷是软件开发和维护过程中不可避免的.随着现代软件规模的不断变大,软件缺陷的数量以及修复难度随之增加,为企业带来了巨大的经济损失.修复软件缺陷,成为了开发人员维护软件质量的重大负担.软件缺陷自动修复技术有希望将开发者从繁重的调试中解脱出来,近年来成为热门的研究领域之一.搜集了94篇该领域最新的高水平论文,进行了详细的分析和总结.基于缺陷修复技术在补丁生成阶段所使用的技术手段不同,系统性地将软件自动修复技术分为4大类,分别是基于启发式搜索、基于人工模板、基于语义约束和基于统计分析的修复技术.特殊地,根据
其他文献
摘要：【目的】調研分析广西粉葛产业发展现状及存在的问题，并提出发展建议，为加快广西粉葛产业健康可持续发展提供参考。【方法】对广西粉葛产业进行实地调研，收集相关资料（2018—2020年），围绕广西粉葛种植区域、种植面积、主要品种、产量、加工等方面综合分析广西粉葛产业的发展现状及存在问题。【结果】广西是我国最大的粉葛产区，种植面积达10201 ha，其中梧州、桂林和贵港为广西粉葛产业主产区，种植面积
摘要：【目的】针对广西甘薯产业发展现状，就其发展过程中存在的相关问题进行分析，为甘薯产业高效优质发展提供理论依据。【方法】通过对广西14个地级市的甘薯产业发展现状进行实地调研，明确其区域分布、种植品种、种植面积及产量、加工规模、产品品牌、主要销售市场及渠道，阐述广西甘薯产业的发展现状，剖析当前存在的问题，并有针对性地提出建议。【结果】广西是我国南方最大的甘薯主产区，2019年甘薯种植面积20.4万
点云配准是基于激光雷达的同时定位与建图(SLAM)的关键技术之一。点云配准最终目的是求解出相同坐标系下不同姿态点云的变换矩阵,利用该矩阵实现多次扫描点云的精确配准,从而获得车身位置和姿态的变换。文章首先介绍点云配准的思想,对迭代最近点(ICP)算法和正态分布变换(NDT)算法的发展现状概括并进行说明,然后主要介绍ICP和NDT两种经典点云配准算法,最后进行总结。
在驾驶时使用智能手机与交通事故的发生率有高度的相关性。手机使用行为会导致驾驶员注意力分散,影响其判断和道路分析等能力,从而给驾驶安全带来巨大隐患。文章从手机使用行为的视觉资源消耗及认知资源消耗等方面,依据驾驶行为信息加工机理和注意分配理论,对手机使用行为对驾驶可靠性影响过程进行分析。结果表明,在驾驶过程中,驾驶员使用手机行为占用驾驶行为的视觉及认知资源,导致对驾驶信息处理速度降低,从而导致驾驶绩效下降,对驾驶可靠性有负影响。
摘要：【目的】調研分析广西芋头产业现状及其存在的主要问题，并有针对性地提出发展建议，为促进广西芋头产业的可持续发展提供决策参考。【方法】2018—2020年对广西全区14个地级市的芋头产业情况进行实地调研，调查重点对象为种植及加工相关合作社、企业以及地方农业局，调查指标包括芋头种植面积、种植品种、种植方式、产量、销售价格、销售模式和产品加工等，综合分析广西芋头产业现状及存在的主要问题，并提出产业发
随着汽车行业的发展,分布式驱动电动汽车的应用逐渐广泛,针对分布式车辆稳定性控制技术的研究也越来越深入。文章首先对车辆稳定性控制参数进行分析,之后简单介绍如今常用的车辆横摆稳定性控制方法并概述其研究现状,最后对车辆稳定控制发展趋势进行总结。分布式驱动车辆拥有可灵活分配的轮胎纵向力,并且分布式电机拥有可独立控制的电机转矩,可采取合理分配各车轮横摆力矩的方法提高车辆横摆稳定性能。
摘要：【目的】综合评价苹婆（Sterculia nobilis Smith）种质资源，筛选苹婆优异种质，为加快苹婆新品种选育进程提供理论参考。【方法】应用层次分析法（AHP）—模糊综合评价法（FCE）的数学模型建立20个苹婆种质资源综合评价体系，再结合逼近理想解的排序法（DTOPSIS），筛选出综合性状表现优良的苹婆品系。【结果】经AHP法构建的4个准则层指标权重值及11个单项指标权重值均通过一致
摘要：【目的】鑒定油棕（Elaeis guineensis）脱落酸（ABA）受体PYR/PYL/RCARs（PYL）基因家族成员，分析其表达特性，为探究ABA信号通路在油棕果肉成熟过程中的功能研究提供理论依据。【方法】以拟南芥和水稻的PYL蛋白氨基酸序列作为参考序列，通过BLASTp比对及保守结构域预测分析从油棕基因组中鉴定出PYL基因家族成员，利用生物信息学软件对其染色体定位、基因结构、启动子顺
摘要：【目的】利用葉绿体基因组（cpDNA）的间隔区序列（trnL-trnF、trnH-psbA和trnT-trnL）对甘薯种质进行遗传多样性分析，为其种质保护及开发利用提供理论依据。【方法】以从我国12个省份收集的52份甘薯种质为材料，从10个cpDNA间隔区序列的引物中筛选出能扩增单一、清晰明亮且稳定的序列引物，利用其PCR扩增筛选出间隔区序列，并进行测序及序列拼接。利用DnaSP 5.0进行
为了提高汽车的舒适性和操纵性,在汽车悬架减振系统中安装磁流变阻尼器。基于磁流变液的组成部分,对其工作原理进行分析,并阐述了磁流变阻尼器的三种工作模式。接着研究了汽车悬架半主动减振系统的控制和测试方法,为磁流变阻尼器在汽车悬架中的应用提供了理论支撑。文章介绍了磁流变阻尼器在国内外汽车领域中的应用,阐述了磁流变液在汽车悬架减振系统中的重要作用。