覆盖测试中循环结构的路径选择方法研究与实现

来源 :北京邮电大学 | 被引量 : 0次 | 上传用户:wy2720204445
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是软件质量的重要保证,单元覆盖测试是其中的基本方法,它通过生成测试用例来覆盖特定的目标元素集。由于循环结构的执行次数难以通过静态分析的方法确定,使得覆盖测试中的循环结构路径选择一直是个难点问题。常见的0-1展开策略无法满足循环结构需要执行多次的情况,固定K次展开策略也有展开次数的局限性。本文提出了一种动静结合的循环结构选路方法,通过静态选路和动态执行为循环结构进行路径选择。文中介绍了循环结构路径选择的两种常见策略,分析了它们的局限性,并针对其中的两个局限性给出了改进方法。接着,本文提出了动静结合的循环结构选路方法,该方法首先为目标元素进行静态选路,选出前缀路径,然后用动态执行方法生成包含目标元素的可达路径。但是,该方法对于循环结构展开次数的选取具有随机性,又提出了改进的动静结合的循环结构选路方法。该方法将目标覆盖元素分为自由目标元素和非自由目标元素,优先为所有的自由目标元素进行路径选择,记录循环结构实际的迭代次数为非自由目标元素的路径选择提供参考,最后为非自由目标元素借助参考值进行路径选择。本文最后借助CTS代码覆盖测试系统对动静结合的循环结构选路方法进行了可行性和有效性验证实验,对实验结果进行了分析,给出了实验结论。
其他文献
丁香假单胞菌丁香致病变种1336(Pseudomonas syringae pv.Syringae Van Hall 1336)是一种重要的植物致病菌,其寄主范围广,可以侵害多种木本植物和草本植物的枝、叶、花和果,
桉树(Eucalyptusspp.)是世界三大速生造林树种之一,具有重要的经济价值。桉树焦枯病(Cylindrocladium leaf blight)是桉树苗木生产极具毁灭性病害之一。目前对桉树焦枯病的防
20世纪70年代,翻译目的论(skopostheory)开始兴起于德国,skopos源于希腊语的目的一词,来自德国的翻译学家H·J·弗米尔首次提出了目的论原则,在其构架起来的理论框架里,译文受众面成了她首要考虑的因素,即整个翻译的动态过程中,无论是方法策略乃至风格的选择,都应该服从于交际目的。笔者在导师的带领下有幸参与了工业机器人专业原声视频翻译项目,翻译视频8部,翻译总文本近万余字。本次工业机器
目的:代谢综合征(Metabolic syndrome,MS)在腹膜透析(Peritoneal dialysis,PD)患者中非常多见,但是腹膜透析患者长期使用含糖的腹膜透析液,严重影响基础代谢情况,导致在此类人群中研究代谢综合征较困难,因此关于腹膜透析患者中代谢综合征的相关研究较少。到目前为止,在腹膜透析患者中,代谢综合征的定义,临床特点及预后情况等到均尚不明确。我们研究的目的是通过调查和收集单
我国医药工业企业发展迅速,但行业集中度不高,近期出台的政策对医药工业企业的并购起到了促进作用,研究医药工业企业的并购绩效具有实际意义。本篇论文对对国内外并购绩效研
背景随着生活水平及医疗技术的提高,人们的平均寿命逐渐延长,全球步入老龄化社会,慢性肾脏病(chronic kidney disease,CKD)及终末期肾病(end stage renal disease,ESRD)发病
麝香草酚和肉桂醛是植物源天然小分子化合物,主要应用于食品保鲜和医学研究等领域。有研究发现麝香草酚和肉桂醛能够通过调控植物先天免疫系统抵御病原菌侵染。鉴于植物免疫
微博已经发展成了一个重要的社会化媒体,大量用户在这平台上发送和传播信息。微博中异常用户的存在,严重影响了微博的网络环境,因此识别微博用户类型的研究具有重大意义。本
目前,基因工程技术的发展使得多种重组蛋白药物成功地应用于临床治疗,并产生了巨大经济和社会效益。以大肠杆菌(E.coli)系统表达的重组蛋白已有上万多种,其中细胞中不溶性的
嗜盐耐盐真菌是一类能够在高盐环境下生长或者需要高盐环境才能生长的极端环境真核微生物。由于嗜盐耐盐真菌生长环境较特别,在长期的进化和适应过程可能促使其具有不同于普