【摘 要】
：
导向式灰盒模糊测试(DGF)是能够快速生成测试用例,达到给定的程序目标区域并且发现漏洞的模糊测试技术.针对当前DGF技术测试效率较低的问题,提出基于动态能量调控的DGF技术.
【基金项目】
：
国家重点研发计划重点专项资助项目(2017YFB0802900)
论文部分内容阅读
导向式灰盒模糊测试(DGF)是能够快速生成测试用例,达到给定的程序目标区域并且发现漏洞的模糊测试技术.针对当前DGF技术测试效率较低的问题,提出基于动态能量调控的DGF技术.通过静态分析技术构建程序的函数调用图(CG)和控制流图(CFGs),定义并计算更准确的函数级别、基本块级别的目标距离;通过跟踪种子的执行轨迹,计算种子到目标区域的距离;基于动态能量调控函数对模糊测试中种子的变异数量进行更有效的调控,引导生成到达目标区域的测试用例.基于该方法,实现导向式模糊测试原型系统AFL-Ant,并与现有的导向式模
其他文献
为了解决未来核心网络中大容量、低延时视频业务的服务质量保证问题,以视频会议业务为例,在基于软件定义网络的核心网络框架下,将视频会议请求解析为多个资源请求,以时间槽为
为了提高分类性能和运算效率,提出结合结构特征与梯度特征的图像哈希算法.该算法对输入图像进行预处理提高算法的鲁棒性,将预处理后的图像转换到YCbCr颜色空间,提取亮度Y分量.利用Y分量的峰顶曲线和峰谷曲线来获取外部结构特征,同时提取峰顶和峰谷的位置信息来构建内部结构特征.结合外部结构特征和内部结构特征得到图像的结构特征;提取Y分量的横向梯度与纵向梯度来构建图像的梯度特征;将结构特征与梯度特征联合起来
中国古典舞是在20世纪50年代出现的一种新舞种,它是在继承传统的基础上不断提炼和发展的时代产物。它以中国传统舞蹈美学为原则,广泛吸收多种舞蹈文化元素,表现了对传统舞蹈
以并联式混合动力车辆为研究对象,基于驾驶员需求转矩预测,采用线性时变模型预测控制算法对对象车辆进行能量管理控制.根据驾驶员前一段时间内的需求转矩,可以预测下一时段内
为了主动调整摄像机的位置姿态以在物方空间降低由人脸旋转带来的影响,提出人脸-摄像机主动位姿协同方法.利用工业摄像机与同步带类运动控制器搭建位姿协同环境,根据单像空间后方交会方法求解运动人脸姿态角和相对位置,计算人脸、摄像机和运动控制器各坐标系之间的映射关系,摄像机运动由相邻采样时刻摄像机相对位置和人脸姿态角计算得出的摄像机协同位姿控制,主动、实时地获取人脸正视图像.实验表明,运动轴上的摄像机点位误
污染环境的植物修复技术具有成本低、不造成二次污染等优点。从自然界中寻找用于污染环境修复的超富积植物不仅难度大 ,而且受生物量、生长周期以及地理环境等因素的限制。近
针对滚珠丝杠进给系统的动态特性,建立参数不确定的数学模型.为了消除参数不确定的影响,设计满足H∞性能的积分滑模控制器.针对存在的未知干扰,设计指数干扰观测器进行补偿.
通过研究复合材料层合板结构局部纤维角变化的理论模型与刚度变化的关系,设计2种变刚度多稳态复合材料层合板结构.对变刚度多稳态复合材料结构进行建模,运用Matlab求出不同的
针对工业机器人在激光切割、弧焊等应用领域对相对精度的指标要求,结合鲁棒的极小极大优化理论,提出基于相对精度指标的运动学结构参数校准方法.通过最小化3个靶球对应的最差相对定位误差,保障前、后两位型间的相对定向精度,构建包含约束的非线性优化问题;使用二次序列规划方法对原问题进行近似,通过主二元子梯度算法在满足不等式约束的条件下快速搜索局部最优解,实现对由于部件制造和装配等环节引入机器人结构参数误差的辨
为了测定直埋电缆回填土的导热系数并探究导热系数随水质量分数的变化规律,采集浙江省境内掩深为0.7~1.2 m的5种土壤,分别配制了水质量分数为0%、5%、10%、15%、20%和25%的充