基于不一致性分析的移动应用Bug报告生成技术

来源 :南京大学 | 被引量 : 0次 | 上传用户:hzh19780101
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
移动市场的兴起对应用质量提出了更高要求。为保障应用质量,自动化测试工具在开发阶段被广泛使用,其生成的Bug报告是开发人员理解和修复应用程序Bug的重要基础。但现有技术忽略了多设备测试场景引入的不一致性,且产生的报告中缺少对于Bug的洞察,如类别信息,同时还保留了多个设备中重复Bug,最终导致缺少全面且易理解的Bug报告。本文提出了一种基于不一致性分析的Bug报告生成技术,用于为自动化测试生成可复现、易理解的Bug报告。我们首先对多设备场景下自动化测试结果中存在的GUI不一致性和设备不一致性进行了形式化定义,并提出了一个可用于不一致性分析的结构化Bug模型。通过对50个应用在20台设备上真实自动化测试结果中Bug实例进行人工审查,分析Bug和不一致性之间关系,确认其产生的根本原因,并提取同类Bug的通用日志模式,我们构建了一个可扩展的带不一致性标签的Bug分类法,共包含67个Bug类别。接下来,我们实现了一个名为BREGAT的自动化工具,为多设备场景下自动化测试结果生成结构化Bug,并通过本文定义的带不一致性标签Bug分类法对Bug进行分类、去重,最终结合测试结果中截图、测试操作、设备日志等异构数据生成可复现、易理解的Bug报告。本文通过30个应用在20台Android设备上的自动化测试结果对BREGAT的Bug分类和去重能力进行了评估。本文定义的分类法覆盖了83%的真实Bug,且分类精确率为86%,能够代表Android应用真实Bug。BREGAT去除了97%的重复Bug,精确率达到了100%,比现有工具更高效。在16名开发者代表参与的Bug复现实验中,BREGAT报告复现成功率为100%,速率为17.4秒/个,显著优于现有技术产生的报告。报告调查问卷结果表明,BREGAT报告具有更高的可读性,可以显著提升Bug复现速度和成功率,尤其是对于设备相关Bug。
其他文献
以储量丰富、价格低廉、环境友好的单质硫为正极、金属锂为负极组装而成的锂-硫(Li-S)电池有着极高的理论能量密度(2.6 kWh g-1),被认为是最具前景的下一代能量储存系统。但是,Li-S电池的发展严重受制于硫正极的几个缺点,如单质硫及其放电产物电导率低、长链多硫化锂(LiPS)溶于醚类电解液而因此产生“穿梭效应”等。为解决以上问题,常常将硫与碳纳米材料复合并减少硫含量。然而低密度、低活性物质
工程中常常会碰到随机激励,例如地震引起的地面震动、大气湍流、海浪、路面不平整度等激励均属于随机激励。由于工程结构在实际工作时往往会受到这些随机振源的作用而产生随
本文概括介绍了双材料界面断裂力学现有的理论分析模型和试验模型,重点介绍了三种由经典到精确的梁模型:基于经典梁理论的刚性节点模型、基于剪切变形梁理论的半刚性节点模型
随着我国金融市场的飞速发展,金融消费者的数量不断增长,金融消费者们在现代金融中扮演着越来越重要的角色。但是,随金融市场发展而来的是增长不断的金融消费纠纷。由于金融
未成年人不仅是国家的希望,也是社会中的弱势群体。因此,国家、社会、家庭和个人对于保障未成年人健康成长有着不可推卸的共同责任。然而在现实生活中,未成年人被虐待、伤害
约束规格在优化问题的最优性条件中起着重要的作用,然而某些约束规格正体现为映射的正则性,因此研究映射的正则性就显得很有必要,本文主要研究多值映射的方向度量次正则性及其在优化中的应用.首先定义了方向度量次正则和方向calm的概念,给出了方向度量次正则性的一种线性刻画,证明了方向度量次正则性具有某种方向线性开性;然后研究了方向calm的对偶性,得到了方向calm的必要条件,并且利用次微分和(广义)Eke
环境权益的保护以及环境恶化的抑制都需要环境公益诉讼的参与,但目前我国环境公益诉讼并未得到广泛适用,如何推动环境公益诉讼的发展成为当前发展环境事业的首要问题。环保组织应当作为环境公益诉讼的主要推手,成为环境公益诉讼的提起者、环境法的实施者,环境公益诉讼判决执行的监督者。这既能弥补政府失灵所引发的影响,也能完善环境保护方面的社会治理以及社会监督。但当前的立法和司法实践当中,环保组织并未在环境公益诉讼中
本文基于Stepanov类渐近概周期函数的基本定义进行研讨,这个定义比Stepanov概周期函数的定义更为广义.此文基于给定的概念、引理讨论了一类具体的神经网络模型的Stepanov类渐近概周期解.在主要部分中,文章呈现且验证了 Stepanov类渐近概周期函数相关地几个必需的重要性质,基于这些基础性的结论,应用压缩映射原理,得到了含时变时滞以及分布时滞的四元数值的Hopfield神经网络的Ste
近代早期是英国重要的社会转型期,在政治与宗教改革的时代背景下,教会和普通法都反对自杀,对自杀现象的关注和管控呈现出新的发展趋势。通过探究近代早期英国的自杀现象及政
随着社会经济蓬勃发展,夫妻参与市场经济活动从事涉他性财产交易越来越频繁,产生的债务类别日益多样化、复杂化。实务中关于夫妻共同债务认定及清偿问题有很多难点和争议,相