基于维持种群多样性的测试数据生成算法的研究

来源 :中山大学 | 被引量 : 0次 | 上传用户:ITredfox
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试数据自动化生成技术尝试寻找一个相对小的数据集来满足测试充分性标准,以降低软件测试的成本,提高测试效率。由于程序语言的复杂性以及被测程序的多样性,随机生成方法和静态分析方法存在较大的局限性。近年来,动态测试数据生成方法成为研究的热点,这类方法大部分基于元启发式算法模型。   本文提出一种基于维持种群多样性的演化算法来求解测试数据集,以满足条件/判定充分性标准。本文算法是一种基于扩展分支覆盖表的测试数据生成算法,覆盖表存储了覆盖每一个条件/判定语句的数据集,数据集通过淘汰算法来维护其多样性特征。算法利用启发信息迭代地选择一个条件/判定语句作为子目标,通过演化算法生成数据以覆盖目标。在此算法框架内,本文提出了一种新的计算评估值的方法,用于计算数据与测试项的距离信息;以及利用归一的曼哈顿距离计算测试数据差异性,通过淘汰原则把差异性较小的测试数据淘汰掉。算法最后阶段,利用贪心算法对测试数据集进行提取,在满足相同的条件/判定覆盖率的基础上,减少数据集中的数据个数。此外,本文借助lex和yacc(Yet AnotherComplier Complier)工具实现了对被测程序的自动化插桩。   实验部分,本文使用了19个包含计算机科学基础算法的基准函数进行了测试,并与现有文献中的测试数据生成方法进行对比。实验表明,本文的方法具有更高的条件/判定覆盖率。
其他文献
变分推理应用变分迭代计算出随机变量的近似期望值,是现代人工智能学科一种重要的近似概率推理方法。由于随着变分迭代次数的增加,变分迭代过程涉及到的变量越来越多,但新增
当今,以信息科学技术为先导的社会变革,全面推动着社会的发展。现代社会进入了以网络信息为中心的信息时代,越来越多的企业希望采用管理信息系统来提高企业工作效率和增强企
基于内容的图像分类技术主要取决于图像特征的提取技术和分类器的构造方法。支持向量机(Support Vector Machine,SVM)具有监督学习能力,泛化能力强,是一种高效的分类器,因此
VANET全称车载自组织网络,是应用于临近汽车之间或汽车与路边设备之间通信的一种移动ad hoc网络。随着科技的进步,如今很多汽车配备了GPS设备和嵌入式计算机,VANET不久必将投
随着计算机网络技术的飞速发展和计算机网络的广泛应用,数据和信息的安全问题变得日益突出,成为国内外学者的热门研究对象。信息安全的发展是以密码学研究为基础的,如信息加
随着高校信息化的飞速发展,越来越多的高校借用计算机来实现教职工信息管理的现代化。高校信息系统已经成为高校人事管理工作不可或缺的一部分,是适应现代化高校人事管理机制的
学位
数字水印指嵌入其它载体数据(宿主信号)中具有可鉴别性能的数字信号或模式,其嵌入不影响宿主信号的可用性。数字水印技术可以保护多种形式的多媒体数字作品(图像、视频、音频
年轮是木材最重要的自然属性之一,在树木科属判别时传统的年轮分析方法不仅效率低,而且工作繁琐、费时费力,更重要的是可能会给测量结果带来随机波动的影响,近几年,随着计算
无线传感器网络具有低速率、低功耗、低成本等特点,在火山监测、森林防火和可燃气体监测等领域有着重要应用,是目前的一个研究热点。在这些应用中面临的主要问题是在有限速率
随着信息科技的快速发展,当4G、WiFi和WiMax的技术被成功地应用并接入网络,IP网络、移动互联网络终端用户呈指数规模上升,这使得当前网络变得越来越复杂。此外,网络流量呈现出多