【摘 要】
:
随着互联网行业的发展,越来越多的软件被应用到人们的生活和工业的生产中,良好的软件质量不仅可以提高工作效率,而且还可以减少大量的手工成本。软件缺陷定位作为保证软件质量中的一环被广泛研究,它旨在帮助测试人员快速找到软件的缺陷位置并修复,提高软件的可靠性和稳定性并降低人力资源成本。近年来,国内外研究人员提出了很多关于软件缺陷定位的方法,但仍然存在一些问题有待解决,例如如何在不降低定位精度的前提下减少定位
论文部分内容阅读
随着互联网行业的发展,越来越多的软件被应用到人们的生活和工业的生产中,良好的软件质量不仅可以提高工作效率,而且还可以减少大量的手工成本。软件缺陷定位作为保证软件质量中的一环被广泛研究,它旨在帮助测试人员快速找到软件的缺陷位置并修复,提高软件的可靠性和稳定性并降低人力资源成本。近年来,国内外研究人员提出了很多关于软件缺陷定位的方法,但仍然存在一些问题有待解决,例如如何在不降低定位精度的前提下减少定位所消耗的时间,或者在不增加定位所消耗时间的前提下提高定位精度,在多缺陷定位方法中无法很好地确定缺陷数目、未能考虑程序上下文信息等问题导致定位精度不佳。本文围绕以上问题展开研究,具体内容包括:(1)针对单缺陷定位方法中定位精度不够和资源消耗过大的问题,提出了一种基于函数切片和定点变异的单缺陷定位方法。首先计算出整个程序的语句可疑度列表和函数调用链频谱。其次只选取出可疑度较高的条件判断语句和循环语句并对其变异,通过减少变异体的数量来减少资源消耗。然后运行所有失败测试用例区分出关键谓词、关键循环词、非关键谓词、非关键循环词,并通过他们各自的数据依赖关系制作出可疑语句切片语句和不可疑语句切片。最后使用增强程序频谱得到语句可疑度列表并根据此列表检查出缺陷语句。该方法有效地降低了资源消耗且提高了定位精度。(2)针对多缺陷定位方法中无法很好地确定缺陷数目、未能考虑程序上下文信息的问题,提出了一种基于虚拟网络和社区发现算法的多缺陷定位方法。首先通过结合多缺陷语句可疑度列表的实际情况改进了肯德尔距离公式,然后把改进后的肯德尔距离公式用于聚类中心近似估值,估算出最佳聚类数目为缺陷数目并把它作为社区发现算法的最终社区数。接着使用社区发现算法结合程序上下文信息把缺陷隔离开来形成独立社区。最后分别对每个社区使用复杂网络缺陷定位方法来定位缺陷位置。该方法有效地确定了缺陷数目并结合了程序上下文信息,达到提高定位精度的效果。
其他文献
新时期,社会经济迈入转型阶段,金融市场处于稳定发展状态,为国家经济发展作出巨大贡献,并且在经济金融化背景下,实体经济面临更多发展机遇。就目前状况而言,结合市场经济走向,制定合理优化经济发展战略,可以调整经济资本市场结构,有助于促进金融与实体经济协调发展。本文重点阐述了经济金融化下金融与实体经济有效发展的策略,并简单论述了经济金融化发展的助力因素等内容,希望对相关工作有所帮助。
人脸图像的编辑与合成技术在娱乐社交、社会安全等领域有着广泛的应用。鉴于生成对抗网络(GAN)模型能够生成高质量图像的优点,近年来诸多学者通过对生成码进行编辑实现目标图像的生成。例如,通过对生成码空间进行语义解析,基于求解的语义控制向量编辑生成码,将生成码输入生成器得到编辑后的目标人脸。针对已有人脸编辑算法使用单一控制向量编辑生成码会引入无关属性变动的问题,以及在合成用户想象中的人脸时,如何从无到有
基于大中小学思政课一体化建设过程中初中学校思政课改革创新的迫切需求和提高初中法治教育质量和实效的教学需要,在大中小学思政课一体化视域下对初中法治教育教学方法开展了深入研究。研究了初中法治教育教学方法的意义、基本依据和整体特征、现状问题、基本原则和改进对策。研究依托于教学方法与其基本依据,聚焦于教学方法与相关依据之间的统一性。初中法治教育教学方法有助于实现提高初中法治教育质量和实效的目标,有助于实现
视频目标分割任务旨在从给定视频中获取感兴趣目标的像素区域,可应用于自动驾驶、视频会议、视频编辑、人机交互等多个实际场景。根据指定目标的方式即目标先验的不同,视频目标分割可以分为对于自主定位目标的无监督视频目标分割、利用目标相关的语句描述指定目标的参考语句视频目标分割、给定视频首帧像素级别标注的半监督视频目标分割等设置。然而现有方法存在诸如分割目标未指定、处理速度慢、候选目标交互复杂、生成候选掩膜相
语文教育从改革开放以来经历了许多次讨论,从“双基”到“人文性与工具性”再到语文学科的“核心素养”,这些改革归根到底都是为了解决语文教学中存在的问题。从课堂教学实录和学生的成绩表现上来看,大多老师开始创新课堂模式,与学生进行良性互动。在教学的实际操作中,很多中学老师也有意识地将差异化教学应用在课堂之中。但由于班级授课制、应试教育的限制,语文课堂的差异化教学落实得并不理想,语文课堂教学面临如下几个难题
目的:以影像-病理对照为基础,研究裸鼠横纹肌肉瘤模型的DWI和IVIM序列的参数:ADC、D、D*和f值与其病理指标EGFR、HIF-1α表达的相关性。材料与方法:一、实验材料:(一)实验细胞株(人胚胎型横纹肌肉瘤细胞株RD)。(二)实验试剂:细胞培养所需试剂。(二)实验动物:雌性Balb/c裸小鼠,20只。(三)实验器材:3.0T GE磁共振扫描仪、显微镜。二、实验方法(一)裸鼠横纹肌肉瘤模型的
2μm波段的激光处于大气窗口波段,对应众多气体分子和水分子的吸收峰,因此广泛应用在气体检测、光通信、激光手术、激光雷达等领域。尤其是2μm波段激光可作为3-5μm中红外光学参量振荡器(OPO)的泵浦源。3-5μm波段超快激光在分子指纹光谱学和军事红外对抗技术等领域应用广泛。基于以上研究背景,本文重点研究了2μm波段掺铥激光器及同步泵浦的中红外光学参量振荡器。本论文的主要研究内容和取得的创新性成果如
研究背景及目的肝癌严重威胁人类健康,深入探讨肝癌发病的分子机制,可为肝癌的防治提供新思路。Hsp90(Heat shock protein 90)作为真核细胞中不可或缺的分子伴侣,参与调控复杂的蛋白质稳态系统,是抗癌药物研发的明星分子。已有研究发现Hsp90在多种肿瘤组织中过量表达,且肝癌组织中Hsp90的表达与肿瘤的分化程度以及肿瘤大小密切相关。低氧应激在实体瘤中普遍存在,并能诱发细胞自噬。自噬
在现代市场经济中,金融的地位日益攀升,其影响范围不断拓展、作用力度不断增强,金融与经济的关系愈发紧密,尤其是20世纪中后期以来,全球各经济体都经历着不同程度的经济金融化。在全球经济金融化不断加剧和国际金融资本不断积累的情境下,加入世贸组织之后,中国经济发展不可避免地受到其影响,呈现金融化特征。然而,由于经济金融化因素自身存在不稳定性,在对经济增长的影响中势必会出现利弊共存的问题。因此,从政策实践看