基于中心补偿策略的适应性随机测试用例生成算法研究

来源 :江西财经大学 | 被引量 : 0次 | 上传用户:wangking88
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着信息技术的快速发展,软件系统影响着我们生活的方方面面,其可靠性也受到越来越多的关注。软件测试是用来保证软件质量的重要手段,其目标是以较少的开销检测出引发程序错误的失效位置。随机测试(Random Testing,RT)是最为基本的软件测试技术之一,因其思路简单易于实现而在实际生活被广泛使用。RT通过随机选择的方式在程序输入域中选择测试用例,但是其失效检测能力有限。适应性随机测试(Adaptive Random Testing,ART)通过使测试用例之间保持一定的距离提高其多样性,从而可以提升随机测试的有效性。FSCS-ART(FixedSize-Candidate-Set ART)算法基于“均匀分布”的思想,通过距离指标衡量候选用例,选择到已执行测试用例距离最远的用例作为下一个执行的用例。但是随着已执行用例池的增加,该算法每产生一个测试用例将需要更多的计算开销,高昂的计算开销限制了其广泛使用。此外,高维情况下的边界效应导致算法的失效检测能力显著下降。为了解决上述两个问题,本文提出了基于中心补偿策略的FSCS-ART算法(Adaptive Random Testing by Center Compensation Strategy,FSCS-CCS)。首先,针对高维情况下的边界效应,FSCS-CCS算法使用动态划分技术将程序输入域均等划分,通过区域候选机制选择在空间中较为稀疏的区域作为候选用例产生的目标区域。在距离计算的基础上提出了中心补偿策略对候选用例进行筛选,选择距离区域中心较近的候选用例作为下一个执行的测试用例。同时为了避免位于边界区域的测试用例被选中的几率过小,采用随机控制策略使得测试用例有一定的概率落位于输入域边界。最后,为了提高算法的计算效率,低维情况下通过基于距离感知的遗忘策略减少计算开销,高维情况下对邻居区域的查询范围限制,减少查询和计算开销,以提升算法的检测效率。为了验证FSCS-CCS算法的错误揭示能力和计算效率相较于FSCS-ART算法是否得到了有效改进,本文中进行了模拟实验和实证实验。模拟实验中,分别设置了低维和高维四个不同维度,每个维度中模拟三种失效模式,并设置了不同失效率的情况。观察实验结果得出结论,FSCS-CCS算法在保证失效检测能力的情况下,有效减少时间开销。实证实验中,选取28个ART领域研究中典型公开的种子程序。通过实证实验的实验结果对比可以发现,FSCS-CCS算法在失效检测能力上与FSCS-ART算法相当,或是达到更为良好的检测效果。同时该算法为线性时间复杂度开销,对FSCS-ART算法的性能有了较好的提升效果。综上所述,本文提出的FSCS-CCS算法能以较低的时间开销产生测试用例,并保证用例的失效检测能力,为适应性随机测试的理论研究和实际应用中的推广提供了参考。
其他文献
随着经济与政治的全球化,政府面临日益复杂的政策环境,社会问题层出不穷,给公共政策的制定带来严峻的挑战。社会公众在满足生产、生活条件的情况下,对政治参与提出了更高的要
【正】 美国电影电视工程师学会(SMPIE)是主要的国际性学会之一,它分布于世界各国的学会会员超过9000人。学会成立于1916年,是世界上成立最早的电影专门学会和电视专门学会,
以甲苯为萃取剂分别对中温沥青(MP)、氧化改性沥青(OMP)和热缩聚改性沥青(TMP)进行溶剂萃取-热过滤-蒸馏处理,得到三种甲苯可溶物(依次命名为TS1M、TSOM和TSTM)。利用元素分
当前研究生数量急剧增加,采取有效的方式防止研究生质量下滑是研究生教育特别重视的问题。分析了利用信息化的研究生质量监测平台,从研究生基础信息、课程学习、论文管理、毕
燕山大学“测控技术与仪器”专业于1978年筹建,1980年开始招收“检测技术及仪器”专业本科生。燕山大学是全国成立该专业最早的高校之一。“测控技术与仪器”专业隶属于“仪器
党的十九大提出“加强和创新社会治理,打造共建共治共享的社会治理格局”。社区,不仅是居民居住生活的基本单元,也是城市日常性服务和管理的基础单元,是社会治理中服务群众、落实群众美好生活期待的“最后一公里”。近些年来,我国物业服务行业的快速发展,融入社区共治的程度也越来越高,实践表明,物业管理是基层党建引领基层社会治理的有益尝试,其在价值引领、资源整合、行动协调等方面发挥了重要作用,已成为社区治理乃至城
目的探讨子宫内膜息肉患者的宫腔镜手术治疗效果。方法选取我院2017年1月至2019年6月收治的98例子宫内膜息肉患者作为研究对象,分为观察组(宫腔镜手术)和对照组(常规治疗)各4
<正> 资料使用说明1.本刊于1990年发表过东芝 V-98C 的 IC 实用数据资料,它同时适用于主要 IC 都是相同的东芝V-90/93/94机型,而95C 却与它们有很大区别,很多 IC 都不一样,为
词汇作为语言学习的三大要素(语音、词汇、语法)之一,是语言习得系统不可或缺的重要部分。词汇教学也因此逐渐受到了外语教师的广泛重视,他们尝试将不同教学方法与词汇教学相结合。近年来,多模态词汇教学开始受到关注。20世纪90年代,多模态话语分析理论开始进入大家的视野,并被广泛研究。多模态话语分析理论强调多渠道、多感官刺激来调动学习者参与学习语言的主动性,符合语言学习的规律。近年来,信息科技的高速发展,为