【摘 要】
：
针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与
【基金项目】
：
本文受江苏省自然科学基金项目（BK2011115）,军用网络技术实验室创新开放基金项目资助.
论文部分内容阅读
针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。
其他文献
提出一种不确定域环境下基于DKC值改进的K-means聚类算法,即U2d-Kmeans。该算法首先考虑到数据对象的不确定性因素,引入不确定域对数据对象进行描述;其次吸取2d-Kmeans的优点
云计算是一种新型的计算方式,通过网络共享方式为用户提供按需使用的计算资源。如何加强对云计算资源的访问控制,保护用户的敏感信息和密钥不受恶意服务器和外部攻击者的窃取
为了提高无线传感器网络目标跟踪的实时性,减少通信量,提出了一种二进制无线传感器网络的分布式自适应粒子滤波算法,该算法在簇头更换时,簇头之间只需要传送滤波值和误差方差,而无需传递大量粒子,同时该算法根据滤波方差在线调整粒子数,从而降低了算法的计算量。从算法耗时、均方根误差(跟踪精度)以及通信量等方面进行了仿真研究。仿真结果表明,分布式自适应粒子滤波算法的耗时、通信量要明显少于集中式粒子滤波和分布式粒
目前云计算数据中心规模大，网络设备多，手动配置设备地址不但耗时耗力，而且容易出错。已有自动配置工作未能充分利用数据中心网络拓扑结构特征，导致从规划设计到实际设备配置的映
根据分包数据系统的星上数据源特点及随机过程理论，得到星上数据源的模型参数。进一步利用STK和OPNET软件建立卫星网络模型，依据数据源的建模结果为低轨卫星添加业务，并在高轨卫
复杂网络中的社区特别是重叠社区在信息传播与推荐、舆情控制、商业营销等领域中具有重要作用。在实际的网络中,由于有些节点天然地属于多个功能团体,重叠社区的挖掘越来越受
操作系统的正确性和安全性很难用定量的方法进行描述。形式化方法是操作系统设计和验证领域公认的标准方法。以操作系统对象语义模型（OSOSM）为基础,采用形式化方法对微内核架构
近日，由自治区台湾事务办公室组织的经贸考察团到台湾地区进行为期十天的经贸考察，我们一行五人随团进行了考察。在台湾地区拜会了台湾生产力协会、台湾海峡两岸文化经贸保障促
情感分类任务具有领域相关性,即使用某一个领域的标注样本训练出的分类模型在对其他领域样本进行分类时性能表现往往会非常差。情感分类的跨领域学习旨在减少跨领域的性能损
针对多天线OFDM系统中时域信道训练符号采用非正化的数字序列而导致其矩阵求逆运算计算复杂度高的问题，采用多用户CDMA系统上行链路的信道训练符号设计方法，提出了多天线Steine