基于元启发式算法的测试用例生成与排序研究

来源 :浙江理工大学 | 被引量 : 0次 | 上传用户:sjtshuaige
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试用例生成技术和优先级排序技术是软件测试自动化的两个关键技术,元启发式搜索算法被广泛应用于解决测试用例自动生成与优先级排序问题。本文系统学习并总结了目前国内外已有的在相关技术方面的研究成果,发现元启发式搜索算法在测试用例生成技术和优先级排序技术中的应用尚未成熟,普遍存在算法收敛速度慢、考虑影响因素单一、难以收敛至全局最优等问题。为此,本文主要对元启发式搜索算法用于解决测试用例生成和优先级排序的问题进行了研究,分别提出了一种基于遗传优化算法的动态引导测试用例生成策略,以及一种基于蚁群优化算法的动态约简的多目标优先级排序方法。本文主要研究内容以及具体贡献主要为以下三个方面:(1)在基于路径覆盖的测试用例生成技术方面,本文使用被应用较广泛的遗传算法进行求解。考虑到初始测试数据对路径节点的覆盖情况,先是区分出难易覆盖路径,然后设计了一种路径相似度的计算公式,分析出难易覆盖路径间的启发信息并用于替代遗传算法的部分初始种群。(2)在遗传算法的改进方面,增加考虑了分支权重对种群适应度的影响,分别根据不同程序的特征为各影响因子赋予权重,构造了一种带有权重影响因子的适应度评价函数,并以此设计自适应遗传概率,定向引导个体交叉变异,以快速得到满足路径覆盖的高质量测试数据。(3)在测试用例优先级排序技术方面,本文使用鲁棒性较强的蚁群算法求解这一问题,在排序过程中结合一种动态约简的思想,根据需求覆盖情况对测试用例进行初始约简,然后考虑到测试用例实际执行过程中是否能检测出的错误以及错误的等级,设计测试用例失效度的判别方法对迭代过程中的测试用例进行二次约简,通过两次约简大幅度减少蚁群迭代的时间消耗。在蚁群算法的信息素更新策略上,本文综合考虑了测试用例重要度、失效度以及有效执行时间三个因素对信息素的影响,在线指导蚁群信息素的更新,提升蚁群算法的求解精度和收敛速度。为了验证本课题在测试用例生成与优先级排序这两个方面提出的改进方法的有效性,选取多个基准和工业程序进行编程实验,将本文提出的基于元启发式搜索算法的测试用例生成和多目标优先级排序方法分别与其他方法进行对比,仿真实验结果表明,本选题研究的基于遗传算法的测试用例生成方法在收敛速度、路径覆盖率、已有测试数据的利用率上有明显优势,提出的基于蚁群优化算法的多目标优先级排序方法在语句覆盖率、缺陷检测效率和有效执行时间等方面均优于其他方法。
其他文献
近年来,养猪已成为农村脱贫致富的一条有效途径,许多农民因此走上了富裕之路。但是,也有不少农民辛辛苦苦养了几年猪。经济效益很差甚至亏损。笔者通过深入基层走访调研,对其产生
预约制度,在我国合同法体系中具有重要的地位。我国的预约制度是一项十分年轻的制度,在我国现行法上,预约制度从无到有只经历了十几年的时间。但是实际上,预约制度在我国的实践,远远早于立法上的确定。在现今的商事实践中,预约制度的适用范围不断扩大,适用的合同类型不断丰富,其价值与意义可见一斑。我国的预约制度,主要是借鉴于以德国为代表的大陆法系国家以及我国台湾地区。在大陆法系下,预约通常适用于实践合同、要式合
目的:探讨踝上穿支皮瓣联合封闭负压引流术修复下肢软组织缺损的效果。方法:下肢软组织缺损患者38例随机分为对照组和观察组各19例,对照组单纯进行踝上穿支皮瓣对软组织缺损
目的:探讨间歇使用无创呼吸机在治疗慢性阻塞性肺疾病(COPD)合并Ⅱ型呼吸衰竭中的作用。方法:48例COPD急性加重并发Ⅱ型呼吸衰竭患者分为观察组(无创呼吸机组)与对照组(常规观察组)各
热点新闻是指最引人关注的、为人感兴趣的、具有新闻价值的、已经或可能突破现状的一种事件或事实、意见的报道,它具有内容重大、影响深远、较高新闻价值和动态可变性等特点
汉日隐喻互译不仅是汉日语言的转换,还涉及到认知、心理等运作方式,即隐喻认知思维模式的转换,就其本质而言,始终是解构与结构的矛盾统一。传统翻译理论多侧重静态文本研究,
自从CT发明后,能谱信息就开始被用来对物质进行区分和描述。为了实现一台双能CT,其设计需要满足对放射源和探测器的要求,本文简单介绍了目前市场上三款双能CT,并着重观察这三
目的对比分析肝脏黏液性囊性肿瘤(MCN)与囊肿型胆管乳头状肿瘤(IPNB)的CT及MRI表现。方法回顾性分析25例MCN和16例囊肿型IPNB(侵袭性10例、非侵袭性6例)的临床病理资料及影像
随着航天大国与私营企业卫星发射任务的不断增多,卫星所采用的新技术、新方法层出不穷,使得其在轨运行中遇到的故障类型逐年增加,故障情况也愈发复杂。为了实现人类走出地球探索深空的愿景,迫切需要具有智能故障诊断系统的先进卫星,在执行任务期间对卫星所发生的故障问题进行检测与处理,从而适应复杂多变的太空环境。本文以卫星姿态控制系统为研究对象,对执行器与敏感器故障诊断问题展开研究。主要以递归神经网络为研究工具,
根据交流励磁变速恒频风力发电系统的运行特性,将矢量控制技术应用于双馈异步风力发电机的控制。机侧变流器采用定子磁链定向矢量控制,网侧变流器采用电网电压定向矢量控制,2个