路径覆盖测试数据进化生成理论及方法

来源 :中国矿业大学 | 被引量 : 0次 | 上传用户:lislin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是保障软件质量的重要手段,其目的是在测试过程中尽可能多地发现软件存在的缺陷,因而其在整个软件开发过程中占有特别重要的位置。测试数据的好坏直接决定着测试的效果,因此软件测试中关键的问题是设计有效的测试数据。已有研究表明,路径覆盖是一种非常重要的软件测试充分性准则;遗传算法是自动生成路径覆盖测试数据的有效方法,但是已有研究成果在测试数据的生成效率和检错率上都有待提高。本文研究使用遗传算法自动生成路径覆盖测试数据的理论及方法。  首先,针对现有方法对穿越难以覆盖节点的稀有数据缺乏保护措施问题,提出了在测试数据进化生成中动态捕捉稀有数据的方法。通过统计每代种群中目标路径各节点被穿越的个体数量,得到个体对生成穿越目标路径测试数据的贡献,以此作为权重调整个体的适应度,使稀有数据的适应度增加,在后续进化中得到保留,从而提高测试数据的生成效率。  其次,提出了一种新的多路径覆盖测试数据生成方法。将被测程序表示成一棵二叉树,对目标路径采用赫夫曼编码方法表示成二进制串,依此设计了一种新的适应度函数,综合考虑个体穿越路径与每个目标路径的匹配程度,将提出的方法用于多个基准程序的测试,并与已有方法比较,结果表明所提方法计算量小,生成测试数据效率高。  第三,针对已有方法生成的测试数据不能有效发现被测程序的缺陷,尤其是小概率缺陷的问题,提出了一种面向缺陷的路径覆盖测试数据进化生成方法。分别针对单路径和多路径情况,将路径覆盖和缺陷检测问题转化为约束多目标优化问题,以测试数据运行被测程序时发现的缺陷个数和缺陷的危险程度为目标,以穿越目标路径为约束,建立了该问题的数学模型,并提出了有针对性的求解方法。在实际软件测试中的应用表明,所提方法生成的测试数据不但穿越了目标路径,而且能有效检测到目标路径中的缺陷。  最后,提出基于搜索空间缩减的路径覆盖测试数据进化生成理论。针对单路径覆盖测试数据生成问题,先确定目标路径与输入变量之间的关系,将可分目标路径分离出与部分分量相关的独立子路径;进化生成测试数据的过程中,固定被穿越子路径对应的输入分量,并缩小交叉和变异操作的范围,使种群在不断缩小的空间里寻找测试数据;然后针对多路径覆盖测试数据生成问题,提出了基于搜索空间缩减的多种群遗传算法,该方法将目标路径按照具有相同子路径进行分组,并确定每组公共子路径对应的分量,使用多个子种群分别进化生成各组目标路径的测试数据,进化过程中固定子种群内被穿越子路径对应的输入分量,并缩小交叉和变异操作的范围,使每个子种群在不断缩减的空间里寻找测试数据,有效提高了每个子种群内目标路径测试数据的生成效率,进而提高多路径覆盖测试数据进化生成效率。  本论文所做的工作为路径覆盖测试数据的自动生成提供了新的思路,丰富了基于进化优化的软件测试理论,提高了测试数据的生成效率,保证了测试数据的质量,降低了软件测试成本,具有重要的理论意义和实际应用价值。
其他文献
随着国家把淘汰低效高耗能产业列入了国民经济的发展战略,各行各业加大了对耗电严重,装机容量较小的直流电力电子变流装置的淘汰力度,这就要求直流电力电子变流装置的输出电流越来越大,对调节控制和保护性能的要求越来越高,多年来直流电力电子变流设备的控制与保护电路多用模拟器件构成,现场调试工作量大,难以系列化和批量生产,制约着这一领域的进步速度。电力电子技术的飞速发展,迫切需要对其控制电路进行改进和提高。本论
倒立摆系统是一个复杂的高阶次、多变量、非线性、强耦合、自然不稳定的系统。旋转倒立摆是一种典型的倒立摆装置,与同级的直线轨道倒立摆相比,结构简单紧凑,但模型更加复杂和不
倒立摆系统以其非线性、多变量、强耦合的特性和简单易操作的实验设备而成为控制领域的理想实验平台,广泛应用于验证新控制方法的正确可行性以及比较现有方法控制性能的优劣,在
重复使用运载器自动着陆段是整个飞行过程的最后阶段,是整个飞行任务安全完成的关键阶段。本文将着重解决RLV自动着陆段轨迹、制导律和控制律中的关键技术难点。轨迹设计是无
在石油、化工、制药和废水处理等工业过程控制中,受装置、环境以及人为因素的影响,控制量与被控量之间广泛存在着时间滞后的现象。由于时滞的存在,控制量不能及时对系统动态变化
无刷直流电机具有电磁污染小、调速范围宽、过载能力强、功率密度高、运行性能可靠等诸多显著优点,在电动车辆、家用电器、伺服控制和机器人技术等民用以及工业领域得到了越来越广泛推广及应用,研究直流无刷电机的控制系统具有一定的理论和应用价值。本文采用SH7125芯片作为控制核心,以无刷直流电机为控制对象,研究基于32位微控制器无刷直流电机控制系统,实现对无刷电机的无级调速。首先研究了无刷直流电机的基本工作原
近年来,随着移动机器人自主能力与智能化水平的不断提高,移动机器人技术已经在机器人研究领域中占据了重要的地位。然而在实际应用的很多领域内机器人的完全自主化是难以实现的
当今随着能源问题和环保问题的日益严重化,人们对太阳能等新能源的开发利用越来越重视。而太阳能存在着光能密度低、间歇性以及空间分布不断变化等缺点,因此,提高太阳能发电系统
现代战争中,基于稳定平台进行图像处理的制导技术已经广泛的应用到各种装备中,发展前景越来越好。目标检测与跟踪是图像处理的关键性技术之一,基于嵌入式系统的图像检测与跟踪技
随着多媒体技术和传感器技术的迅速发展,生物认证系统应运而生。人脸识别作为一种有效的生物认证手段得到了学术界和业界的广泛关注,成为模式识别及计算机视觉领域的热门研究课