【摘 要】
：
为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法。基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异
【机 构】
：
解放军信息工程大学信息工程学院,北京北方计算中心,中国科学院软件研究所
【基金项目】
：
国家自然科学基金项目(60603017)
论文部分内容阅读
为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法。基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型。在规范描述下生成不同类型文件,然后对每类文件进行变异模糊测试,有效地减少了大量无效测试。实际测试中,已经验证3个已公开漏洞并发现两个未公开漏洞,表明了该算法的有效性。
其他文献
<正>华师大版新教材高一第二分册《隋唐政治新格局》是个老问题,关键是如何破解一个"新"字。我曾为之苦思冥想,试图有所突破,但却百思不谙其真谛。钱穆先生的《中国历代政治
通过对中国期刊全文数据库2001～2008年间收录的83篇有关古村落旅游方面的学术论文的研究,对其进行分类、整理、排序及主题分析,总结归纳了近8年来国内古村落旅游研究的进展情
目的:尝试用按脊疗法治疗颈性眩晕患者,并观察治疗后即刻椎动脉血流动力学变化,试图为按脊疗法治疗此类患者以及开展相关的研究提供有益的理论依据。方法:颈椎眩晕患者42例,
构建社会主义和谐社会,贫困地区是重点和难点。要彻底改变贫困地区的落后面貌,实现脱贫致富建设社会主义新农村,就必须分析制约贫困地区农民增收的因素,然后提出研究解决增加
详细分析了涉密计算机信息系统安全防护中存在的主要问题,参照涉密计算机信息系统安全保密防护规范和准则,研究了信息安全管理体系多层次多方面的防护技术措施,提出了一种全
<正>一、"游"的悲剧意识"我就是那个叫马原的汉人,我写小说。"这是马原小说《虚构》中开头的一句话,这句话居然成为马原身份识别码。马原在江湖上风光了多少年,这句话就流行
<正>平板电脑哪家强?如果你第一反应便是苹果、三星等国际品牌,那就太小看近年来国产品牌平板电脑的发展态势了。近日,深圳市消委会联合龙岗区消委会对2014年下半年市场热卖1
<正>IMO正式通过《船舶压载水和沉积物控制与管理国际公约》已有8年多时间。公约通过后,压载水处理装置便成为船舶必不可少的设备,压载水处理装置的研发就如火如荼般地展开了
宪法是我国的根本大法,构建和谐社会离不开宪法的保障,但目前在构建和谐社会中,要想充分发挥宪法的作用,不论是在观念上,还是在制度上,都存在着不足。因此,要努力克服并弥补
[目的]研究不同培养条件对菌株SS-3的絮凝活性的影响。[方法]采用高岭土悬浊液法测定絮凝率,选择絮凝率高的菌株分别改变培养基成分及培养条件,优化其产絮凝剂的最佳参数。[