基于SAFL算法的错误定位工具的设计与实现

来源 :北京大学 | 被引量 : 0次 | 上传用户:w633744
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件规模的日益增大,软件的复杂度也越来越高,这就使得原本已经很费力的调试任务更加艰巨,特别是占调试任务大部分精力的错误定位,于是,依靠人力来进行软件排错越来越不切实际,为了减轻程序员在软件开发和维护过程中的沉重负担,各种错误定位的自动化工具也应运而生。 在现有的各种错误定位方法中,TBFL (基于测试信息的错误定位) 方法相对于同类型的错误定位方法取得的实验效果一般较好,但是基于此类方法的错误定位工具大多数没有集成测试环境,更多地依赖于已有的测试信息,而且也缺乏成熟的IDE的支持,即使有些工具集成了测试或者IDE方面的功能,也存在着效率低下,限制较多的缺点。 为了能够有效地解决错误定位的自动化,本文的工具基于SAFL (基于测试用例相似性的错误定位)算法,以Eclipse插件的形式设计并实现了错误定位工具。 基于SAFL算法的错误定位工具以帮助程序员进行软件排错为主要目标,本文从测试和排错之间的联系开始入手,详细说明了测试信息对错误定位的不可忽视的作用,并介绍了相关工作和技术。接着,本文提出了基于SAFL 算法的错误定位工具的设计框架,并将该工具分为三个部分分别实现: 第一部分,用户交互部分。这一部分的主要功能是系统获取用户输入信息和系统向用户展示结果。工具利用Eclipse的扩展点支持实现了工具的输入数据定制,并且将工具执行结果跟IDE结合起来; 第二部分,业务逻辑部分。这一部分的主要功能是收集测试执行信息并对这些测试数据进行分析。收集测试执行信息和数据分析是相互独立的两个部分,收集测试执行信息利用了EclEmma的语句覆盖,数据分析是根据SAFL 算法来处理测试执行信息; 第三部分,数据存储部分。这一部分的主要功能是存储测试执行信息,由业务逻辑部分的收集测试执行信息模块将数据存储到xml文档中,以便于数据分析。
其他文献
本文研究了公钥密码RSA算法,主要内容如下: (1)介绍了攻击模型化。为了预先考虑不同程度的攻击,需要各种更严格的安全性概念。而为了建立更严格的安全性概念,做的第一步就是正
文物的实时再现技术中有两大关键问题需要研究,一是文物的纹理映射,二是文物的虚拟展示。本文选题来源于北京师范大学数字博物馆建设项目,以文物三维模型的获取、三维纹理映射、
HEVC作为下一代视频编码标准,在视频质量相同的情况下比H.264节省约50%的有效码流。HEVC如此高的压缩效率是以复杂的递归划分算法和更长编码时间为代价的。目前主流的H.264/A
软件成本估算模型的目的在于帮助人们更好的理解软件项目的成本问题,进行准确的估算。因而,软件成本估算模型的广泛应用,一方面有助于软件采购方与开发者更好的理解软件成本,获得
学位
虚拟化技术源于上世纪60年代,近年来重新受到重视并得到快速发展,其核心思想是在一个物理主机上虚拟出多个虚拟计算机并在其上同时运行多个客户操作系统。虚拟化平台允许用户方
随着计算机技术特别是网络技术和数据库技术的发展,信息化系统在企业中变得越来越重要,越来越普及,但是由于企业自身特点和各经营环节对信息化需求的不同,许多早期的信息化系统的
PAC:S(Picture AI"chive and communicate System)系统是医疗领域一个倍受关注的发展方向,越米越多的医院中都已经或者需要部署PACS系统,PACS系统具有很人的市场潜力。PACS系统
随着网络技术的不断发展和企业应用系统的增加,企业集成中的“信息孤岛”问题日益严重。传统的应用集成方法复杂、缺乏灵活性,难以适应不断变化的企业需求。目前解决这一问题的
本文介绍了项重写系统研究的最新课题和动态项重写计算的基本理论,着重阐述了新的项重写系统等价性证明的归纳证明理论及最新研究进展,设计并实现了四种新的项重写系统重写策略
藏族人口众多,随着科学技术的飞速发展,藏文信息化的需求越来越迫切。藏文是一种拼音文字,但在文字处理方面却表现出了“方块字”的特点。 1997年,国际标准化组织通过了藏文编