枚举变量问题的进化测试

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:zhang760327
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
进化测试是近年来刚刚兴起的测试数据自动生成技术,已在很多实际工程中得到了成功应用。然而,在白盒测试中,当程序中存在枚举变量时,利用传统适值函数计算公式所得到的适值地形就会失去导向,从而导致进化搜索退化成随机搜索,我们称之为枚举变量问题。目前还没有过该问题的相关研究,而与枚举变量类似的标志变量问题是进化测试研究的热点,针对标志变量问题,本课题组已经提出了一个统一的适值函数计算规则。本文分析了枚举变量问题与标志变量问题的相似之处,将标志变量统一规则推广到枚举变量问题,并针对他们的不同之处,给出了新的迭代规则,最终提出了枚举变量问题的适值计算规则。实验表明了该规则能够在传统方法失效的情况下引导进化搜索生成所需的测试数据。在将课题组给出的标志变量统一规则的适值植入方案推广到枚举变量规则的适值植入时,会出现植入代码冗余问题和代码植入的位置选择问题,这些问题影响植入的代价和适值函数的评价。本文分析了这些问题,并给出了解决方案,提出了枚举变量适值计算规则的代码植入方案。最后还给出了实验中所用到的测试数据生成算法的设计与实现。
其他文献
随着信息技术的发展和信息栅格的引入,未来的指挥自动化系统的规模将越来越大,构成也将越来越复杂。为了保证指挥自动化系统连续可靠、无故障的运行,必须通过监控系统对其设备、
本文详细讨论了数据融合中的雷达辐射源识别、平台识别问题。针对雷达辐射源识别,本文把人工神经网络、模糊匹配方法、D—S证据理论结合起来,提出了三级雷达型号识别模型。首先
学位
汇合性质和家态是Petri网的两种重要的性质,它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里,关于汇合性质和家态的系统的研究工作却很少。本文即针对Petri网的汇
专用移动通信网主要指在发生地震或水灾后的营救等无法或不便预先铺设网络设施的场合所架设的网络。由于其网络节点的移动性强,所处环境复杂,出现故障的概率极大,并且伴随着信息
计算机语言是计算机与使用者之间的通讯语言。是计算机与其使用者之间信息传递的媒介。  计算机语言的发展经历了最初的低级语言到高级语言的复杂历程。由最初的机器语言到
为满足棒材分离系统研制和开发的需要,利用仿真平台对棒材完全分离控制策略进行了研究,主要内容有:完全分钢方案。在介绍端部棒材在线点支及分离系统之后提出棒材完全分离的
团簇是一种介于微观与宏观世界的物质,有着独特的物理化学性质。团簇的性质是由其结构决定的,因此,确定团簇的结构就成为了团簇科学界关注的重要问题。团簇结构的形成是由组
医学数字图像与通信协议(DICOM),是目前建设图像归档和通信系统(PACS)被广泛遵循的一个国际标准,也是PACS成功运行的关键。研究DICOM标准,自主开发符合DICOM标准规范的PACS系
分销渠道是企业完成产品分销任务的重要资源,分销渠道的管理是企业市场营销工作的重要组成部分。在企业的销售过程中,分销渠道体系的健康与否,决定着渠道中各个实体之间是否