基于动态信息的变概率ART测试方法及其在OOS测试中的应用

来源 :江苏大学 | 被引量 : 0次 | 上传用户:ren971211
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着信息化技术与人类社会的不断结合,人类与软件之间也越来越密不可分。而自从软件问世以来,其质量问题一直是困扰人们的一大难题,每年因为软件质量造成的损失更是数以亿万计。为此,众多研究者们不断探索,希望找到一种切实有效的测试方法。如今比较流行的一种测试方法是随机测试(Random Testing,RT),随机测试凭借实现快、操作简单的特点受到了众多业内人士的青睐。但随机测试也存在着检测效率较低的缺点,通过多年研究,TY Chen等人针对程序错误普遍连续的特性,在随机测试的基础上进行改进,并提出了一种名为自适应随机测试(Adaptive Random Testing,ART)的高效算法。ART算法的基本思想是,在输入域中使生成的测试用例尽可能均匀地散布,从而提高检测软件缺陷的效率。基于该思想,许多ART算法也被提出,其中变概率ART算法是目前其中检测效果最好的算法之一。本文重点分析了其中一种变概率ART算法——基于概率密度函数的ART算法(Adaptive Random Testing through Test Profile,ARTTP),该方法通过已执行测试用例生成一个概率密度函数,并利用逆变换法得到下一个测试用例。本文在分析了ARTTP算法后,针对该算法的不足之处提出了改进,并将其应用到面向对象程序测试中,最后实现了一个基于两种算法的测试原型系统并进行实验,实验证明本文提出的算法具有一定的有效性。本文的主要工作如下:1.针对ARTTP算法对程序动态信息利用不足的缺陷,本文在该算法基础上进行改进,提出了两种回归测试中的变概率ART算法(Probability Adaptive Random Testing based on Regression Testing,PARTRT)。PARTRT-A算法的主要思想是首先随机生成大量的测试用例并执行,通过插桩等方法获取它们的语句覆盖和分支覆盖信息,之后在回归测试中在变概率ART算法的基础上,针对不同的动态信息选择不同的比较方式进行挑选测试用例,以此改进ART算法从而进一步提高它的检测效果。PARTRT-B算法的主要思想则是利用变概率ART算法生成测试用例并执行,在获取动态信息后通过比较不同的动态信息进行挑选测试用例,从而提高检测软件缺陷的效率。通过对不同实际程序的测试,并与其他相关算法比较,结果表明两种PARTRT算法在检测效果上都具有更高的优越性,且时间开销也不是特别大。2.由于面向对象程序的众多优点,现在面向对象程序越来越普及,然而现在面向对象程序测试方法还依旧不够成熟。针对这一问题,我们提出针对面向对象程序的ARTTP算法(Adaptive Random Testing through Test Profile for Object-Oriented Software,ARTTP-OO)。由于面向对象测试用例结构复杂,无法简单地将一个测试用例数值化一个点从而生成概率密度函数。为此我们提出在输入域边缘生成一个测试用例,利用OMISS度量公式计算面向对象测试用例间的距离。通过距离生成概率密度函数,从而能够挑选测试用例进行测试,实现了ARTTP算法在面向对象程序中的应用。通过对实际面向对象程序的测试,ARTTP-OO算法在不降低检测效果的情况下,具有较少的时间开销。3.设计并实现了一个基于上述变概率ART算法的测试原型系统。通过将本文算法继承在系统中,实现了算法测试的自动化。系统主要包括数值型程序测试和面向对象程序测试两个模块,每个模块下有各自的子模块。利用该系统进行算法测试,证明了该原型系统能较好地实现本文算法,并具有较高的可扩展性。
其他文献
目的:自噬作为先天性免疫的一部分在多种病原体的入侵过程中发挥着至关重要的保护性作用,乙型肝炎病毒(hepatitis B virus,HBV)的感染可以诱导自噬的发生,但该自噬过程对HBV
视觉标记码是一种用于简化机器自动检测而设计的人工视觉特征,广泛用于计算机视觉,增强现实和机器人技术领域。随着需求的日益增长,对视觉标记码的设计,以及识别的快速性和鲁
样本量的计算一直是人们密切关注的一个话题,因为它在试验和医学的临床研究中起着至关重要的作用,合理的样本量可以决定着一个临床试验的成败。一般来说,人们主要是研究标准比例风险模型下样本量和带有时依协变量模型下样本量的计算问题,而对于边际比例风险模型样本量的计算问题研究较少。本文使用广义估计方程来研究边际比例风险模型下样本量的计算方法,主要是对集群内重复观测值之间存在一定相关性的数据进行模拟分析,并将边
近年来,主动式的智能仿生腿成为了康复医疗机器人领域备受关注的课题,随着生物医学的发展,表面肌电信号(s EMG)的应用越来越成熟,而作为仿生腿的核心技术之一的步态识别,在提
CCN(Content Centric Network)通过节点缓存实现大规模的内容分发,解决网络传输过程冗余问题,提高网络的服务性能。由于节点存储空间有限,一个高效的缓存策略可以直接提高CCN
目的:研究蒙药紫癜片对血小板减少性紫癜(ITP)模型小鼠的干预作用,探讨其作用机制。方法:(1)将48只BALB/C小鼠按血小板指数随机分为正常组,模型组,对照组,紫癜片低,中,高剂量组。除正常组外,其余各组采用免疫法腹腔注射豚鼠抗小鼠血小板血清(GP-APS)建立ITP小鼠模型。于造模第7日起灌胃给药,连续8天。于实验第15天观察动物的一般情况,血常规,脾脏、胸腺系数及病理学检查。(2)取正常组
随着自动驾驶技术不断地发展创新,汽车已逐渐成为人们日常生活中必不可少的交通工具。为了确保汽车系统运行的可靠性与安全性,减少交通事故的频繁发生,汽车系统的过程监控已
随着信息技术发展,互联网已经成为了我们日常生活中不可或缺的一部分,但是,网络在带给我们便利的同时,也产生了信息超载问题。为了缓解信息超载的负面影响,研究者们提出了个
在实验室或企业等组织的运转过程中,设备是非常重要的物质资源,它直接影响着实验室的科研成本、科研效率以及科研成果质量,因此实验室或企业的设备管理水平与其未来发展息息
综合监视系统(ISS)包含地形感知与告警系统(TAWS)、空中交通防撞系统(TCAS)和机载气象雷达(WXR),是飞机通信、导航和监视航空电子系统(CNS)的重要组成部分,提供飞机周围的地形、空中交通状况和气象等信息,增强飞行员对周围环境的感知能力,保障飞行安全。本文主要对综合模块化航空电子(IMA)架构下的综合监视系统仿真器设计进行研究,对比传统的联合式综合监视系统结构,设计了综合模块化航空电子