基于双价值函数禁忌搜索的测试用例生成技术

来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:scyscy2001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程,如果强化失败则调用多样化函数来使搜索多样化.最后通过与随机测试的对比实验,验证了基于双价值函数的禁忌搜索算法在软件测试中的高效性.
其他文献
【目的】量化烘烤过程中烟叶形态变化的数值特征指标,实现烘烤过程烟叶水分含量的无损检测。【方法】以密集烤房中不同烘烤阶段的烟叶为研究对象,先利用图像处理技术提取鲜烟
作者讨论了具有变时滞的随机反应扩散Hopfield神经网络的稳定性. 利用Ito公式,时滞微分不等式和神经网络的特性,作者导出了关于非常值平衡解的矩指数稳定性的代数条件. 最后
XCP协议是一种针对高带宽时延乘积网络的Internet拥塞控制体系,其算法的关键是将拥塞控制参数嵌入每一主动数据包中,然后根据途经路由器的网络拥塞状况对相关参数进行修改,以达
运用蒙卡程序MCNPX对加速器驱动次临界反应堆系统(简称ADS)的标准散裂中子靶进行了计算研究.计算了在0.6~1.5GeV的质子轰击下,标准Pb靶发生散裂反应产生的中子产额及分布、中子能谱
低温、干旱以及高盐条件是植物生长过程中所面临的主要逆境胁迫.植物中的CBF途径已被证实是赋予植物低温抗性的主效途径,近年来备受关注.为了阐明荠菜中CBF途径冷应答相关基因表
针对管制中心系统效能评估模型,开发了基于改进的层次分析法和专家调查法的管制中心效能评估系统.首先给出了管制中心效能评估系统的功能需求分析,然后详细介绍了系统的实现过程
窗耦合是外界电磁干扰进入电子系统的主要途经之一,研究窗耦合对于电子系统电磁兼容性研究具有重要意义.传统的解析法、全波分析、实验研究等方法在对复杂电子系统电磁窗耦合分
作者对对称正则长波(SRLW)方程的初边值问题进行了数值研究,提出了一个带有加权系数θ的三层拟紧致平均隐式差分格式,格式模拟了初值问题的守恒性质,得到了差分解的存在唯一性,并利
X射线透射复合材料时发生了康普顿散射现象、二次射线的辐射和多次射线辐射.基于Beer定律,探讨了X射线在复合材料中的二次射线与一次射线的关系.由射线辐射强度方程求得X射线在
随着高速以太网的广泛应用和网络入侵行为的日益复杂化,对网络入侵防御系统性能的要求越来越高.通过对传统入侵防御系统工作原理的分析,设计并实现了基于多核处理器的入侵防御系