通过最近邻算法提高自适应随机测试的效率

来源 :江苏大学 | 被引量 : 0次 | 上传用户:heran3
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是一种基本的软件质量保证活动,它最终能够确保较好的软件质量。随机测试(RT)是一种流行的软件测试技术,它从软件的输入域中随机选择并执行测试用例的子集。自适应随机测试(ART)利用大多数故障程序的导致故障输入的聚类特性,提高RT的故障检测效率。ART使用一种机制,从而将测试用例均匀地分布在软件的输入域中。作为一种广泛使用、高效、简单的ART算法,Fixed-Size-Candidate-Set ART(FSCS-ART)面临着平方的时间复杂度。随着软件输入域维度的增加,这种成本会逐渐恶化。由于真实程序中,大多数程序的输入域维度较高,故障率较低,因此迫切需要解决这一问题。本论文旨在解决FSCS-ART的效率问题,同时不牺牲其故障检测效果。我们将FSCSART确定为最近邻搜索(NNS)问题的一个实例,并假设FSCS-ART的效率问题在于其NNS机制。如果NNS机制能够随着数据集的大小和维度的变化而趋于一致,则可能会缓解效率问题。首先,提出了一种基于小世界图(small world graphs)的方法(命名为SWFCART),可以提高FSCS-ART的计算效率。为了高效地执行候选测试用例的最近邻查询,SWFC-ART为之前执行的、非失效的测试用例增量构建了一个分层可导航的小世界图。此外,SWFC-ART在高维输入域的程序中表现出一致性趋势。实验研究表明,SWFC-ART,在保持FSCS-ART的故障检测效果的前提下,将FSCS-ART的计算开销从二次方降低到对数线性阶,并且在高维输入域中保持一致性。其次,对FSCS-ART进行了CPU层面的执行分析,发现其主要由于其距离计算过程采用了单指令-单数据(SISD)机制,存在运行时成本过高的问题。为了克服这个问题,提出了一种新颖高效的FSCS-ART实现方法。Fixed-Size-Candidate-Set using SingleInstruction-Multi-Data(FSCS-SIMD)。FSCS-SIMD采用SIMD指令架构,以多对多的方式同时计算多个测试用例的距离。所提出的方法在一个CPU执行周期内从候选测试用例集和执行测试用例集中加载一批测试用例。之后,对整批测试用例下达单条距离计算指令,进行所有对偶距离的计算。一系列的仿真和实证研究表明,平均而言,FSCS-SIMD在保持类似故障检测效果的前提下,减少了FSCS-ART 90%的测试用例生成时间开销。最后,采用了一种基于量化和反转文件结构的方法来增强FSCS-ART,称为QIVFSCSART,该方法通过使用统一的随机数据集,利用k-means聚类将软件输入域划分为离散的单元进行预处理。之后,将每个已执行的测试用例,以量化形式存储在其单元中心的倒数列表中,我们称为centroid。结果表明,所提出的方法显著地缓解了FSCSART的计算开销,同时保留了其故障检测的有效性,特别是对于高维软件输入域。
其他文献
伴随全国土地调查、年度变更调查、全天候遥感监测等工作的开展,国土资源部门掌握了以全国土地基础数据库建设为核心的海量权威数据,这些数据是强化土地管理各项工作的重要依据,是科学规划、合理利用、有效保护国土资源的重要基础。目前,土地调查监测相关数据成果虽然已被广泛应用于土地管理政策制定、事中事后监管等国土资源管理的诸多关键环节中,但综合来看,土地调查监测数据成果仍待深入挖掘分析和全面整合。在现有理论基础
化石燃料的大规模利用不仅会引起能源枯竭,而且导致了大气中有害气体和温室气体的含量严重超标。利用光催化技术将水(H2O)和二氧化碳(CO2)等转换为氢气(H2)和甲烷(CH4)等太阳能燃料能够有效的解决上述的能源和环境问题。其中二氧化钛(TiO2)因其成本低廉,不易变质,易制取等优势被认为是最有开发潜力的光催化剂。然而单纯的TiO2仍存在着太阳光吸收能力弱,光生电子空穴对易复合猝灭等缺点,这严重的限
涵养水源是森林植被最重要的生态服务功能之一,不同林分类型水源涵养功能存在差异性,为探究北京不同林分类型的水源涵养功能之间的差异,本文选取北京山区典型的3种林分(灌木、栓皮栎、油松)为研究对象,对其林下枯落物和土壤持水性能以及土壤理化性质进行比较和分析,并结合有效蓄水量和最大蓄水量定量比较其水源涵养能力。以次降雨为例,应用氢氧同位素技术分析3种林分降雨及土壤水分的垂直分配特征,为该区森林的生态服务功
电动静液作动器(EHA)作为一种泵控的闭式液压系统优点颇多,例如低重量、结构简单紧凑、维护容易、拥有较高的可靠性等,因此在飞机、主动悬挂系统、汽车等多种领域有着广泛的工程应用背景。但是EHA在工作中也会存在问题,如EHA执行机构会在长时间连续作动的情况下发生执行器内部密封磨损,进而导致内泄漏故障的发生,使系统性能恶化;同时系统中包含大量不确定性,这种不确定性的存在会大大影响系统的控制性能。本论文的
空气中的颗粒物逐渐成为人们关注的重点,其中PM2.5较为重要。碳质气溶胶占PM2.5的比例往往最高,具有较高的研究意义。邢台作为近些年PM2.5屡屡爆表的城市,研究其颗粒物和碳质气溶胶污染现状和来源具有重要的意义。本文研究了2018年7,10月,2019年1月,4月。四个月的数据作为研究数据,分别代表夏秋春冬四个季节。邢台地区PM2.5,OC,EC全年平均含量为102.28μg·m-3,20.3μ
管道运输对经济发展与国防工业具有重要作用,实际使用中由于无法全面检测管道缺陷而造成重大安全事故,因此需要针对管道采用一种高效、准确、便捷的无损检测技术来有效降低管道安全风险。超声导波检测技术相比传统检测手段具有独特的技术优势,论文基于超声导波检测理论研究并设计了一套超声导波管道缺陷检测系统,系统由检测终端、数据传输云平台以及Lab VIEW客户端三部分组成。主要研究内容如下:(1)文章对系统检测信
近年来,植物提取物在动物生产中的应用越来越广泛,其中苹果多酚(Apple polyphenols,APs)是一种理想的抗氧化剂。肠道作为人和其它动物机体最重要的器官,一方面负责膳食营养物质的消化吸收,另一方面发挥重要的屏障功能。苹果多酚在提高抗氧化能力、改善脂质代谢等方面的研究较多,但均是以小鼠模型或者体外试验为主,在育肥猪肠道健康方面的研究很少。本研究旨在考察饲粮添加苹果多酚对育肥猪机体抗氧化能
由于“互联网+”的热潮,中国互联网经济有了喷发式的发展。准确识别潜在的客户和高价值客户成为了很多互联网电商的重点工作之一。客户细分技术就是帮助电商细分客户群体并提供优质服务维护客户的重要手段。电商可以通过客户细分获得客户价值的相关信息,从而制定相应营销策略改善客户体验。不过,仅仅对现有客户的维护已经不能在如今的市场竞争中获得很大优势,如何挽留将要流失的客户也逐渐成为电商们关心的重要内容。所以,客户
中频交流反应磁控溅射是一种利用中频交流电溅射绝缘靶材的真空镀膜技术。相比于传统的磁控溅射,中频交流反应磁控溅射解决了阳极消失和靶中毒等对成膜不利的因素。阴极磁控靶作为磁控溅射技术的核心部件,是磁控溅射镀膜系统的关键所在。然而,磁控平面靶刻蚀不均匀、靶材利用率低是磁控溅射技术的“通病”。本文从中频孪生平面靶的辉光放电机理出发,采用“模拟+实验”的研究方法,通过孪生靶表面磁场分布模拟和靶材刻蚀实验分析
农业是我国产业结构中非常重要的一环,农业发展的程度是我国国家安全和社会稳定的保障。目前我国的农业主要以耕地种植为主,通过培育农作物从而生产食品和初级工业原料,因此提高农作物产量是农业发展的主要方向之一。目前我国农业增产的主要手段是施肥,然而因为没有科学的引导,乱施肥的现象长期存在,这种行为不仅污染了环境,产量并没有相对等的提高,严重制约了我国现代农业的发展。针对这些问题,专家们提出了测土配方施肥技