基于自适应遗传模拟退火算法的测试数据的自动生成

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:landy_st
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息技术的飞速发展,使软件产品应用到社会的各个领域,软件产品的质量自然成为人们共同关注的焦点。随着软件规模的不断扩大,复杂程度的不断提高,以及面向对象程序设计方法和工具的使用,软件测试的难度也进一步提高。实际的软件开发经验表明,软件测试在整个软件开发周期中,约占去1/3的时间,以及大约50%的总费用。令人遗憾的是目前的大部分软件测试还是采用人工测试的方式,有效的软件测试工具都比较昂贵。但事实上,测试却是在整个软件开发过程中极有可能应用计算机进行自动化的工作,原因是测试的许多操作是重复性的、非智力创造性的,只需要细致注意力就能完成的工作,而计算机的特点就决定了它最适合代替人类去完成这些任务。本文对软件测试的方法做了详细的归纳和总结,分别介绍了动态测试、静态测试、白盒测试和黑盒测试等测试方法。最后总结了近年来测试数据的各种生成技术,并且根据对各种方法和技术进行了系统地总结,提炼出了本文使用的方法和技术。本文对各种测试数据生成算法进行了研究,采用遗传算法为本文的核心算法,对遗传算法在软件测试环境下的优缺点进行了分析,并且针对实际应用对其缺点进行了改进。首先,将遗传算法和模拟退火算法相结合,并对“退火”机制进行了改进,使其解决了邻域构造问题。其次,设计了自适应变异概率,保证了最优个体在进化过程中不被破坏,减少了进化过程中的“抖动”现象。再次,适应度缩放法的使用,不仅进一步解决了“早熟”问题,而且加快了算法的收敛速度,提高了搜索效率。改进后的算法称为自适应遗传模拟退火算法,简称AGSA。在性能上,AGSA较先前的算法有了很大的提高。最后,本文以新算法AGSA为核心算法,设计和实现了基于指定路径的测试数据自动生成系统。该系统由三大部分组成,分别是程序分析器,路径选择器和数据生成器。该系统能够准确地生成满足指定路径的测试数据,收敛性很高,并且通过实验证明了该系统的优越性。
其他文献
WinCE是一种实时嵌入式操作系统,其应用范围广泛,是当前嵌入式开发领域的热点之一。WinCE在内存管理方面与其它操作系统不同,应用程序可用的虚拟地址空间为32MB。而实际项目要求
随着互联网的迅速发展,越来越多的人们希望通过网络来获取他们需要的信息。在这样的需求背景下,搜索引擎技术应运而生,它以庞大的数据容量,快速的用户响应与人性化的网站排名
网络的无处不在以及各种移动终端、大容量存储设备的多样化普及为人们随时随地生产和消费视频数据提供了极大的便利。同时,快速的生活节奏使人们的空闲时间不断地碎片化,人们很
随着光网络和光技术的不断发展,出现了以智能光网络为代表的下一代光网络,其中ASON则是智能光网络中的典型代表。它通过引入基于GMPLS协议的控制平面动态调配网络资源,实现连接
TCG从行为可预测性的角度给出实体可信的定义,认为“当一个实体始终沿着预期的方式(操作或行为)达到既定目标,则它就是可信的”。TCG规范通过可信根、可信传递、可信度量、可信
作为航空公司的生产计划管理中不可或缺的一个环节,飞机排班问题一直是一个难题。因为实践背景十分复杂,约束条件多,数学模型难以建立,缺乏足够的理论基础,很多航空公司的信
网格,作为一个硬件和软件的基础设施,提供了对分散在互联网上高端计算资源、存储资源、通讯资源、软件资源以及设备资源的可靠的、一致的、无处不在以及廉价的访问,正在被科学、
现代企业在信息化建设过程中积累了大量的信息资源,但由于这些信息可能来源于不同的信息系统,表示和存储形式各异,存在语法和语义上的异构,难于共享和互操作,为企业的信息集成带来了新的挑战。传统的信息集成技术很难解决信息源之间的结构和语义的异构,因此,本文将本体技术引入到企业信息集成中来,对异构信息进行形式化和规范化表示,以期解决传统信息集成中存在的问题。本文首先分析了当前信息集成中存在的问题,介绍了基于
随着电子商务的普及,越来越多的商品将通过网上交易的形式进行流通,因此怎样安全高效地进行电子支付就成为了一个迫切需要解决的问题。电子现金作为一种新兴的电子支付方式较
本文的研究内容属于211工程三期公共服务体系建设项目“中国教育和科研计算机网主干网和重点学科信息服务体系升级扩容工程”。其主要研究目标是通过静态分析与动态检测的方