基于空间划分和信息熵的自适应随机测试方法研究

来源 :江苏大学 | 被引量 : 0次 | 上传用户:yongz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在当今信息化不断发展的时代,计算机软件作为信息化的关键组成部分,已经广泛参与和应用于人类信息产业和日常生活的各个方面。因此,软件的质量问题备受人们关注。软件测试在软件开发阶段为保障软件质量起到了重要作用。测试用例生成作为其中关键一环,如何生成较高揭错率的测试用例,一直是软件测试领域的热点话题。基于此,自适应随机测试(Adaptive Random Testing,ART)被提出,其保证测试用例尽可能在输入域中均匀分布,进而提升错误检测能力。FSCS-ART(Fixed-size-Candidate-set ART)作为众多ART算法中的经典算法,由于其较好的揭错能力,被研究人员深入研究以及广泛应用。然而,由于其生成测试用例时需要进行大量的测试用例相似性计算,不断膨胀的测试用例数量将引发严重的计算时间开销问题。此外,维度的升高导致其有效性明显降低。上述两类问题限制其实际应用。本文重点分析了FSCS-ART算法的整个过程,首先从提升效率的角度,将一种空间划分模式应用其中实现了测试用例快速生成。随后从改善有效性的角度,提出了两种改进策略来获得更均匀的测试用例分布。并通过一系列实验分析所提算法的效率和有效性情况。最后,通过一个原型系统对所提算法进行验证。本文主要完成了如下工作:1、针对传统的ART算法高昂的时间开销问题,提出了基于改进内存度量树的FSCS-ART算法(FSCS-ART based on the modified Metric-Memory tree,MMFCART)。该算法利用内存度量树(MM树)的划分模式将输入域划分成不同的子区域,空间相似性高的测试用例被划分到同一个或相邻子区域中。通过搜索半径将最近邻搜索限制在某一个或几个子区域中,大幅降低全输入域搜索带来的高昂时间开销。同时为了匹配ART算法的动态过程,提出了一种改进的MM树结构,将子区域与树的节点相对应来存储测试用例。通过与多种ART算法进行实验对比,表明了MMFC-ART算法不仅大幅减少了时间开销,同时一定程度上提高了高维有效性。2、针对MMFC-ART算法低维有效性稍差以及在高维仍然存在较严重的边界效应问题,提出了基于森林策略和信息熵策略的改进MMFC-ART算法,即(ForestStrategy MMFC-ART,FS-MMFC)和(Information-Entropy Strategy MMFC-ART,IES-MMFC)。森林策略引入多棵改进的MM树对输入域进行划分,将每一个测试用例分别存储到多棵树中。在进行最近邻搜索时,分别在多棵树中进行搜索获得多个最近邻,保留距离值最小的作为最终最近邻。信息熵策略通过加入信息熵指标,和原有的距离指标综合度量测试用例相似性来选择测试用例(即距离-信息熵选择策略),以此实现测试用例在高维更为均匀的分布,提升算法高维有效性。同样通过实验验证了两种改进算法仍远比FSCS-ART算法检测异常所需时间短,并且进一步提升了MMFC-ART算法的有效性,其中IES-MMFC算法在高维的有效性大幅提升。3、设计并实现了一个原型系统。该系统由测试模式预处理模块、测试算法执行模块、测试结果统计分析模块和测试结果存取模块构成。系统以自动化的形式完成每个算法的测试工作,并验证了本文所提算法的表现。
其他文献
杂交育种是利用杂种优势创制优良种质资源的重要方法之一,在水曲柳良种选育中更是起到重要作用。本研究针对水曲柳生长期短、易休眠等问题,以白蜡树属杂交子代F1及其水曲柳母本为实验材料比较二者的差异,通过实地性状调查、生理指标测定、表观遗传调控、关键基因差异表达分析等方法,从生长参数、生理指标、基因表达、激素含量等角度对子代F1杂种优势成因进行分析。进一步将对差异表达基因Fm GA20ox2克隆、生物信息
学位
作为下一代互联网架构的典型代表,信息中心物联网(Information-Centric Internet of Things,IC-Io T)由于其命名路由和网内缓存的特性,能够有效降低网络传输冗余、提高内容分发效率,为未来物联网提供更加灵活、高效的网络层支撑。然而,IC-Io T在带来网络性能改善的同时,也带来了潜在的安全问题。一旦内容被分发并缓存在网络中,任何用户都可以在临近路由器中取回内容,
学位
采用高效液相色谱的4种方法检测食品接触塑料中三聚氰胺的迁移量。选取线性回归方程、检出限、定量限、正确度、重复性5个因素,综合评价4种方法,同时检测了3种不同塑料材质的食品接触样品三聚氰胺的迁移量。结果表明,4种方法的回收率均在90%~110%之间,相对标准偏差均小于7.5%,方法 1检出限较高,方法灵敏度较低;方法 2的保留时间短,不易排除假阳性的结果;方法 4色谱峰峰形较差;方法 3为最佳测试方
期刊
在全球范围内,由重要作物病原体引起的疾病对农业生产和环境产生了巨大的负面影响,严重影响了粮食产量和生物多样性。植物在长期的进化过程中形成了复杂的防御机制来抵抗病原体的感染,而病原体也协同进化出规避防御的策略,了解植物-病原体相互作用的机制,将帮助我们培育抗病作物,减轻病原体对全球粮食生产的挑战。大量研究表明,植物病原体利用气孔作为主要入口,当发现微生物病原体时,气孔保卫细胞通过降低细胞膨压作为先天
学位
义务教育语文课程内容主要以学习任务群组织与呈现,思辨性阅读与表达是新课标中的一个发展型学习任务群。深度学习的语文课堂从文本中的矛盾入手,促使学生提出对文本内容、言语形式的质疑,寻求辨析点;用“比较”的阅读方法,唤醒思辨意识;重视并抓住学生阅读中的“质疑”,植入思辨思维。
期刊
最近计算机视觉中主流任务之一的人和对象交互关系检测成为了热门。人和对象交互关系检测主要是使用计算机视觉来对静态图像做出判断,检测出图像中的人和对象之间是否存在一定的关系。目前,关于人和对象交互关系检测已有很多研究,它们针对不同场景下的人和对象之间的关系进行检测并且取得了一定的成果。但是现有的研究方法依然存在着一些问题急需解决。本文在大量阅读人和对象交互关系检测的国内外研究现状以及相关技术的基础之上
学位
土壤盐渍化严重的影响植物生长和作物产量,通过多种复杂的耐盐机制提高作物的耐盐性对于全球粮食生产至关重要。越来越多的研究发现染色质表观调控因子在调节植物响应非生物胁迫过程中扮演着重要的角色。组蛋白变体H2A.Z是常规组蛋白H2A的一种变体,通过转录调节在植物生长发育、逆境胁迫中发挥着重要作用。但H2A.Z是否参与植物应答盐胁迫还不明确,H2A.Z调控植物耐盐性的研究还未见报道。因此本文通过对盐胁迫下
学位
随着信息社会的快速发展,人们面临着信息爆炸的困境,传统的协同过滤算法已经无法满足人们对更加精准的个性化推荐需求。社交信息作为一种可靠的信息源,融合这类信息的社会化推荐算法已成为研究热点。但是,现有的社会化推荐存在信任依赖区分不明确和社交数据稀疏问题,影响模型的推荐性能。针对上述问题,本文以用户兴趣为切入点,研究并讨论了用户兴趣对社会化推荐中用户画像构建、社交好友选择和个性化重排序三个环节的优化方法
学位
随着课标中学业质量标准的研制以及统编教材的实施,高中语文测评正在发生变化,特别是高考命题改革出现了以单元学习任务为载体的新趋势,这并非是偶然为之,而是“双新”推进的必然趋势。本文通过分析单元学习任务在“教学评”中的功能,梳理单元学习任务在高考试题中呈现的方式,进而探究“教学评”中对单元学习任务的细化、融合和运用路径,促进“教学评”的有机衔接。
期刊
人工智能的迅速发展导致当前神经网络中参数的规模变得庞大,GPU中显存以及存储系统中的内存也难以在DNN训练过程中保存大量的参数文件。新兴的非易失性存储器NVM由于其读写速度接近DRAM、延迟低、容量大给DNN训练过程中大量的参数文件提供了有效的解决手段。但是如果直接仅仅更新存储设备,不做存储系统的优化,难以充分使用NVM存储设备的性能。本文在DNN训练过程中需要反复读写参数文件的背景下,针对NVM
学位