【摘 要】
：
软件的调试可分为缺陷复现、缺陷定位、缺陷修复和验证缺陷四个步骤,其中缺陷定位是最难实现的关键步骤,通常也是最耗时的一步。因此,提出精准、有效的软件缺陷定位方法有利于发现软件中潜在的问题,从而提高软件的可靠性。目前,基于程序频谱的缺陷定位[1-7]研究中,现有缺陷定位方法的定位效果还不够精准、约简策略与回归测试的应用研究较少。针对这一问题,本文从缺陷定位方法、用例集约简和频谱因子对缺陷定位的影响三个
论文部分内容阅读
软件的调试可分为缺陷复现、缺陷定位、缺陷修复和验证缺陷四个步骤,其中缺陷定位是最难实现的关键步骤,通常也是最耗时的一步。因此,提出精准、有效的软件缺陷定位方法有利于发现软件中潜在的问题,从而提高软件的可靠性。目前,基于程序频谱的缺陷定位[1-7]研究中,现有缺陷定位方法的定位效果还不够精准、约简策略与回归测试的应用研究较少。针对这一问题,本文从缺陷定位方法、用例集约简和频谱因子对缺陷定位的影响三个方面开展相关研究,主要完成了以下几个工作:1.基于频谱的缺陷定位方法:分析正确执行且覆盖语句s的测试用例数(频谱因子Tep)对缺陷定位效果的影响,提出一种有效的缺陷定位方法,弱化过大的Tep对可疑值的影响,提高了缺陷定位效果的精度。2.测试用例约简策略研究:深入研究VR(Vector Reduction)约简策略[8],发现越精准的缺陷定位方法的定位效果受冗余测试用例的影响越小。将VR约简策略产生的精简测试用例集应用于回归测试中,通过实证研究说明在保证缺陷定位效果的前提下,该约简方法能大幅度降低回归测试成本。3.频谱因子对缺陷定位的影响研究:为了突出错误执行且未覆盖语句s的测试用例数(频谱因子Tnf)的重要性,提出一种新的缺陷定位方法。通过分析不同频谱因子数量对缺陷定位的影响,得到了缺陷定位方法达到最佳定位效果时的Kulczynski[9]系数值。
其他文献
西南高山峡谷区为“三江并流”的重要组成部分,是温带和热带的交汇点,是全球生物多样性最丰富的地区之一。近几十年来由于人口和经济的快速增长,加大了对该区自然资源的掠夺
本论文在能量密度泛函理论框架下,利用Skyrme Hartree-Fock-Bogoliubov（HFB）方法下对原子核结构特征进行了研究。主要包括两个方面:一是对Sn同位素链及132Sn附近核的结合能和电
水土流失降低了土壤肥力,造成土壤的养分流失,土层变薄,降低了林地生产力,对林业生产带来了不利影响,同时也严重影响了生态环境,使生态环境遭到破坏,涝灾害等发生频繁。因此,
膨胀土遍布世界各地,在我国分布尤为广泛,每年我国由于膨胀土引起的工程问题所造成的损失高达1000亿人民币以上,现如今解决膨胀土危害的方法有许多。本文选用河南原阳县的粉
二氧化碳（CO2）与环氧烷烃共聚生成聚碳酸酯等环境友好高分子材料的聚合反应因其绿色环保的特点受到广泛关注。胺基双酚类配体作为一种易于合成与修饰的配体类型,铁作为一种无毒
随着国民生活水平的日益提高,交通问题已经成为了制约国家经济发展的重要因素之一。交通流理论的研究对城市道路规划和城市交通系统的运作起着重要的作用,并且也可以为城市交通运输管理提供科学的理论支撑,从而减少不必要的财政投入。因此近年来对交通流问题的研究也成为众多学者研究的重点课题。本文主要对宏观交通流模型中的多车种LWR模型、非均匀道路上多车种LWR模型和守恒高阶模型的高分辨率数值格式进行研究,主要做了
生物电化学体系中,细菌在电极表面的附着行为对于体系成功运行至关重要。然而这一附着过程受诸多环境因素影响,目前的研究对于电极表面形成生物膜的机理方面的理解还不够完全
近年以来,在我国政府的政策扶持和居民收入不断上涨的前提下,消费金融有了巨大的发展,由于消费金融资金单笔金额小、期限短、需求却大的特点,消费金融为了保持市场扩张速度希望通过资产证券化的方式进行融资。恰好消费金融行业需要信托的专业能力运作资产证券化,而信托行业自资管新规出台后也渴求创新业务来弥补通道业务的损失,如此一来,消费金融信托资产证券化如雨后春笋一般向阳而生。本文通过对京东白条信托资产证券化产品
斑图动力学作为一个横向科学是非线性科学领域的重要部分,它的研究内容涉及数学、生物学、生态学等各个方面.目前斑图动力学的研究对象,主要是反应扩散系统、非线性光学系统及流体中的瑞利-贝纳尔系统等.斑图是在空间或时间上具有某种规律性的非均匀宏观结构,普遍存在于自然界.Turing斑图的形成,是一类由局部失稳引发的斑图形成机制.在斑图动力学的研究中,还有一类斑图,也就是螺旋波斑图,这类斑图起源于系统的全局
连续谱中的单粒子共振态在奇特原子核结构性质中起着至关重要的作用。近年来,人们提出了多种研究单粒子共振态的方法,格林函数方法是其中一种简单有效的方法。在以往工作中,