两类特定路径覆盖测试数据生成问题的建模及进化求解

来源 :中国矿业大学 | 被引量 : 0次 | 上传用户:roc59516663
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是保证软件质量的重要手段。测试数据自动生成技术可以提高软件测试效率,降低软件开发成本。面向路径覆盖的测试数据生成是软件测试中的一个重要方向,近年来,人们对该问题进行了深入的研究。对于常规的软件,已有方法多针对单条或少数几条目标路径的测试数据生成问题,而实际应用中大规模路径普遍存在,已有方法很难有效解决,所以有必要提出有效的多路径覆盖测试数据生成方法,以满足软件测试的需求。另外,对于含有随机数的软件,传统的测试准则不再奏效。因此,本文给出了两类特定路径覆盖测试数据生成问题的模型和进化求解方法。本文主要包括以下两个方面:(1)针对常规软件的路径覆盖问题,本文提出了基于局部进化遗传算法的测试数据生成方法。建立了多路径覆盖问题的数学模型,采用粗粒度评价函数作为目标函数;提出了基于局部进化的遗传算法解决优化问题,在算法的进化过程中,根据目标函数对个体分组,对每组个体实施进化操作之后,采用细粒度的评价函数进行选择个体。通过在算法的不同阶段使用不同粒度的评价函数,提高了测试数据的生成效率。(2)针对含有随机数软件的路径覆盖问题,传统的测试准则不再适用,本文提出针对此类软件的测试充分性准则。根据此测试准则,把测试数据生成问题也转化为函数优化问题,建立含随机数软件测试数据生成问题的优化模型,并且提出了进化求解方法。在进化求解的过程中,由于个体的适应值很难进行计算,本文运用概率论的知识给出了个体适应值的近似计算方法。本文的研究成果丰富了软件测试理论,提高了测试数据生成效率,为保障软件质量提供了技术支持。
其他文献
作为执政党的干部,我们过去习惯说“把对上负责与对下负责结合起来,既要对上负责,又要对下负责”。一般说,对上负责,不只是对上级负责,最终是要对党和党的事业负责;对下负责
通过实证研究1994-2008年间我国政府监管部门治理股市中的寻租行为对上市公司盈利的影响,结果发现:就整体而言,事件公司因寻租而遭受查处之后,其盈利能力显著衰退;政府监管部门治租效果未因上市地点、上市时间、财政赤字以及公司规模产生差异;而监管部门的查处对民营上市公司、缺乏政治背景的上市公司、未规制产业中的上市公司以及人均GDP较高地区的上市公司盈利能力影响更大,治理结果更有成效。
我从1990年起担任中国电子科技集团公司第五十四研究所党委副书记,1996年任党委书记,至今已整整十三个年头了。这是国家改革发展发生巨变的十三年。我当党委书记,经历的事情
学习梁雨润,应该主要学习他三种精神。一是学习他自觉践行党的宗旨,无私奉献、尽心竭力为百姓办事的公仆精神。二是学习他爱憎分明、不徇私情、勤奋工作的敬业精神。三是学习
学位
控制系统的稳定性分析是系统分析的重要组成部分,Bezout矩阵是解决线性系统稳定性问题的一个重要工具。近年来,随着控制理论的发展,对Bezout矩阵的研究也随之深入,古典的Bezout矩
本文论述了复杂网络与同步控制,全文主要包括以下几个方面。 首先,介绍了经典的复杂网络模型及其动力学性质。 其次,利用平均场理论得出在保证网络持续增长与优先连接条件
本文结合初中数学教学的实践进行深入分析及探讨,并提出创设教学情境,激发学习兴趣,创新教学活动,提高创新能力,引导学生动手,培养创造思维等改革对策及建议,以期对开展初中
似乎在我的童年记忆深处,曾经一直在苦苦寻求那个介干现实和梦幻之间的某个世界。现实中,所渴望的太多东西是那么的遥不可及;然而,梦幻中的很多东西又是那么的真实与美好。伴
期刊
首先,作者定义了Cn中闭光滑可定向流形上一个带有拓广的Bochner-Martinel¨核的高阶Cauchy型积分φ(z),然后利用分部积分和Stokes公式,给出这个奇性为2n阶的高阶奇异积分φ(t)的