【摘 要】
:
近年来,模糊测试是学术界和工业界的研究热点之一,是一种用于检测软件错误和查找安全漏洞的技术。Squirrel是一个用于测试数据库管理系统的模糊测试框架,它通过保留语法的变异(Syntax-Preserving Mutation)和语义指导的实例化(Semantics-Guided Instantiation),大大提高了生成的测试用例的语法有效性和语义有效性。Squirrel可以有效地发现数据库管
论文部分内容阅读
近年来,模糊测试是学术界和工业界的研究热点之一,是一种用于检测软件错误和查找安全漏洞的技术。Squirrel是一个用于测试数据库管理系统的模糊测试框架,它通过保留语法的变异(Syntax-Preserving Mutation)和语义指导的实例化(Semantics-Guided Instantiation),大大提高了生成的测试用例的语法有效性和语义有效性。Squirrel可以有效地发现数据库管理系统中的内存错误。然而,它的模糊测试效率受初始种子的影响较大。优化Squirrel的初始种子,可以提高Squirrel的测试效率。本文的主要研究内容和贡献如下:第一,提出了一种基于字符串编辑距离计算语法相似度的算法。首先,获取结构化查询语言(Structured Query Language,SQL)文本的字符串结构的语法序列;其次,使用莱文斯坦距离算法计算语法序列的编辑距离;最后,用得到的距离衡量SQL文本的语法相似度:距离越大,语法相似度越低。第二,通过对比实验,分析、验证了初始种子的语法相似度、文本数量这两个属性对Squirrel的测试效率的影响。一定程度上,降低初始种子的语法相似度可以提高Squirrel的测试效率。一般情况下,增加初始种子的文本数量,也有利于提高Squirrel的测试效率。第三,通过提高初始种子的平均语法距离和文本数量的方法,优化了初始种子。用优化后的初始种子与Squirrel提供的初始种子做对比实验,验证了初始种子优化方法的有效性。使用优化后的初始种子对SQLite进行测试,模糊测试效率提升了16.90%;而且12小时内触发了3个崩溃,检测到了1个错误。使用优化后的初始种子对Postgre SQL进行测试,模糊测试效率提升了183.82%。
其他文献
液晶将晶体的有序性及液体的流动性在分子水平上统一起来,从而使体系能采取最低能量的构型来响应外界(磁场、电场、化学及机械力)的刺激,因此液晶在许多方面都有着重要的应用。将荧光基团引入液晶单元,结合液晶的光物理性质和有序性,期望得到性质优异的多功能化的液晶。二酮吡咯并吡咯(DPP)、α-氰基苯乙烯等均是具有优异光物理性质的荧光基团,而DPP和α-氰基苯乙烯衍生物具有易于修饰,较高荧光量子产率的等优异特
本文提出1-定直线的瓶颈斯坦纳树问题,其定义描述如下:给定欧氏平面R2上的一条直线l,位于直线l外的n个点r1,…,rn构成的集合P。需要在给定的直线l上找到一个点s,构造一棵以P∪{s}为顶点集的支撑树T,目标是使支撑树T中最长边的长度达到最小,即minT max{w(e)|e)∈T}。其中,对树T的任意一条边e,规定w(e)为其两个端点间的欧氏距离。对于上述1-定直线的瓶颈斯坦纳树问题,本文考
社区是信息网络的重要属性,社区内的节点紧密相连,而社区间的连接相对稀疏。社区搜索旨在寻找包含给定节点的社区,在现实生活中具有广阔的应用场景,比如活动组织、朋友推荐、蛋白质识别和电子商务广告推广等。社区搜索由于具有快速、个性化的优势,近年来受到越来越多研究者的重视,成为信息网络分析的重要研究内容之一。异质信息网络由于具有更加复杂的网络结构和节点关系、更加丰富的语义信息,在异质信息网络中搜索到的社区包
误差界及H(?)lder误差界在数学规划的灵敏度分析和一些优化问题算法的收敛性分析中起到了非常重要的作用.Ioffe在其开创性的著作中,首次用次微分刻画了误差界.最近,Zheng和Ng通过由Fr(?)chet法锥定义的锥次微分(?)KΦ,将Ioffe的经典结果推广到了Asplund空间中锥不等式的情形.此外,Yao和Zheng考虑了H(?)lder误差界,并把误差界推广到了广义误差界.本文考虑了(
电极材料是超级电容器的核心,电极材料的性质直接决定了超级电容器的储能性能。在超级电容器材料中,母体的改性已经很难突破大型器件对超级电容器电极材料高能量密度的追求,需要从更微观的层面去研究材料本征的特性,从原子电子层面来对材料进行设计,为材料的设计提供更基本的理论基础。从实用性上来讲,更小空间内实现电极材料高负载量同时保证材料的利用率是实现超级电容器在大型器件应用上重要一环。在本论文中,我们着眼于电
本文针对两类神经网络的概周期解问题研究,首先研究了具有变时滞的四元数值神经网络的Bapp-概周期解的存在性以及全局指数同步;其次,分析了具有混合变时滞的分数阶克利福德值神经网络的伪概周期解的存在性及其有限时间稳定;最后,分别给出了一个数值例子来验证关于两类神经网络结论的可行性和有效性.在论文中,我们利用压缩映射原理得到了具有变时滞的四元数值神经网络的Bapp-概周期解存在的充分条件,并证明了具有混
差分进化算法(DE)是一种有效的随机搜索优化算法,它通过继承和发展现存优化算法的优点,具有控制参数少且设置简单,收敛速度快,优化结果鲁棒性好等众多长处。然而对于较为复杂的单目标多峰优化问题,差分进化算法容易收敛的太早并停滞于局部最优解。针对这些问题,论文通过提出的基于转向变异的策略来改进三种差分进化算法,并使用CEC2020单目标边界受限的数值优化基准集作为评价标准,然后将改进后的三种差分进化算法
分子在非共价键的作用下,形成稳定的分子聚集体的过程,称为分子自组装,且常见于生物大分子中。液晶是自组装体系的杰出代表,由于其独特的有序性和流动性,其独特的结构可以实现对多种外部刺激的响应,所以液晶分子常被用于传感器、显示器和生命科学等其他领域。胶束是化合物在溶液中形成的组装体,由于其具有良好的亲水性,作为药物载体有着重要的意义。此外,其具有靶向作用、减少药物的副作用,增加药物溶解性等方面有着非常多
如今,随着边缘计算技术的普及,为了向附近的用户提供高度可访问的服务和计算资源,通常会将边缘服务器部署在基站和其他类型的设备上。但是,由于边缘服务器的存储空间有限,为可能发生故障的服务在边缘服务器上进行冗余备份就变得尤为困难。因此,边缘计算环境中服务的自适应机制将成为故障服务组件修复的重要手段。其中,边缘服务器内寻找可替换服务是确保系统弹性、执行自适应机制的有效技术之一。本文以边缘计算中服务的自适应
水温作为水环境中重要的水文要素,对水生态系统有极其重要的影响。研究表明,筑坝蓄水后导致库区和坝下河道水温不同于原有天然河道水温结构,水库水温出现垂向分层以及低温水下泄现象,且在梯级水电开发模式下,水温变化过程在时间和空间上得到累积,产生水温累积影响。本研究系统收集了澜沧江中游功果桥-小湾梯级开发河段的水温变化数据,基于地形、水文、气象、水温等数据,构建了澜沧江中游梯级水库CE-QUAL-W2水温模