【摘 要】
:
软件产品是人们生活中不可或缺的一部分。软件产品的可靠性与可用性成为了人们关心的重要问题。人们在不断变化的环境与需求中对软件的测试与调试提出了更高的要求。调试是提高软件质量的手段之一,它能有效找出软件缺陷所在。近年来,软件的多样性及复杂性给软件调试人员带来极大的挑战。因此,精确的定位软件中所出现的缺陷是当前软件缺陷定位的研究热点。基于谱的缺陷定位方法(spectrum-based fault loc
论文部分内容阅读
软件产品是人们生活中不可或缺的一部分。软件产品的可靠性与可用性成为了人们关心的重要问题。人们在不断变化的环境与需求中对软件的测试与调试提出了更高的要求。调试是提高软件质量的手段之一,它能有效找出软件缺陷所在。近年来,软件的多样性及复杂性给软件调试人员带来极大的挑战。因此,精确的定位软件中所出现的缺陷是当前软件缺陷定位的研究热点。基于谱的缺陷定位方法(spectrum-based fault localization,简称SBFL)是当前最流行软件缺陷定位技术之一。该技术通过收集程序的覆盖信息及执行结果来定位缺陷位置。但是,SBFL方法没有考虑到程序的依赖性,存在局限性。基于条件执行切片谱的多错误定位技术(A technique of Conditioned Execution Slicing Spectrum-based Multiple Fault Localization,简称CESS-MFL)考虑了程序的依赖性,可以一定程度的降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的影响比较大。针对上述问题,本文提出了一种基于条件分类可执行切片的多缺陷定位方法(Conditioned Classification Execution Slicing Spectrum-based Multiple Fault Localization,简称CCESS-MFL)。该技术对CESS-MFL技术中的谓词条件进行了改进并分类,同时设计出一套可疑度公式来计算程序元素的可疑度值。CCESS-MFL技术根据谓词条件与缺陷相关执行切片确定条件特征集,根据条件特征集进行分类得到条件分类执行切片谱,然后计算元素的可疑度,最后生成可疑度报告。CCESS-MFL技术使用了标准数据集西门子的7个子套件来验证其有效性。实验证明,它优于当前流行的Tarantula、Jaccard、Ochiai以及CESS-MFL技术,可以进一步降低与某个缺陷关联的无关语句对其他缺陷语句的影响。
其他文献
章学诚一生热衷于对史学的研究,是我国乾嘉时期著名的史学家、方志学家,他独特的史学思想对我国历史学的发展和创新发挥了重要的作用。他的史学研究中蕴含着丰富的妇学思想,
随着虚拟现实理论和虚拟现实技术的飞速发展,社会各领域广泛地运用虚拟现实技术,高中信息技术新课标也对虚拟现实内容做出了要求,开发虚拟现实相关的校本课程成为普通高级中学迫切的需求。本研究即是对高中《虚拟现实初步》校本课程的开发实践探索。本研究综合运用文献研究法、问卷调查法、访谈法和行动研究法等研究方法。通过文献研究法收集和整理文献,分析虚拟现实教育和校本课程开发的研究现状,界定虚拟现实初步和校本课程开
农用地土壤污染修复是指通过运用物理、化学、生物等技术手段,使受到污染的农用地土壤恢复正常功能。农用地土壤污染修复具有技术性强、修复周期长、修复成本高等特征。农用
新时期,国家的核心竞争力是人才,国与国之间的竞争越来越明显地表现为人才之间的竞争,更是具有合作创新能力的人才的竞争。而合作创新型人才必须在合作的氛围中培养。师生关
在前两个世纪的国际争端解决方案中,法庭仅在极少数情况下寻求专家建议,通常作为最后手段。但在过去的四十年里,国际性法院对专家的依赖急剧增加。人类活动本身变得越来越复杂,越来越科学,越来越专业化,越来越依赖于专家,由这些活动产生的争议也越来越多。与此同时,国际协议不断发展,通常通过明确依赖科学,经济和其他专业领域来逐步解决更复杂的技术问题。因此,在今天,国际争端的当事方经常提出专家证据来支持他们的论点
微波光子学是一门由光学技术和微波技术交叉结合形成的新学科。微波光子技术利用光学的方法对微波信号进行处理,从而把光学技术的大带宽、低损耗、可重构等优势融入到微波信
雷达三维成像可以采用雷达平台与目标相对运动形成的合成孔径(逆合成孔径)和实孔径相结合的方式来实现。本文研究一种线阵ISAR三维成像的系统,三维线阵ISAR,传统二维ISAR实质
电阻抗层析成像(Electrical Impedance Tomography,EIT)是近30年兴起的新一代医学成像技术,是通过对安放于体表的电极施加安全的激励电流,同时测量相应电极的电压变化,并根据
近年来,随着“平安城市”、“智慧城市”等工程的深入开展,在每个城市的主干道、次干道以及街角小巷的两侧和道路交叉口都布设了大量的监控摄像机,主要用于监控行人和车辆等运动目标,这些监控摄像机24小时不间断拍摄,产生了大量的监控视频数据,如何在海量的监控视频数据中快速准确的查询感兴趣运动目标成为研究的热点和挑战,监控视频数据高效组织和检索方法是解决这一问题的核心。监控视频不仅具有丰富的内容信息同时还包含
微流控芯片具有高效、低成本、高通量等优点,可以将生物粒子等的分离、分析、筛选、检测等功能集成在一块很小的芯片上,完成自动化的分析。因此它在生命科学、生物医学、分析