基于规范生成的文件模糊测试

作     者：沈亚楠 赵荣彩 王小芹 任华 张新宇 鲁海军 李鹏飞 SHEN Ya-nan;ZHAO Rong-cai;WANG Xiao-qin;REN Hua;ZHANG Xin-yu;LU Hai-jun;LI Peng-fei

作者机构：解放军信息工程大学信息工程学院河南郑州450001 北京北方计算中心北京100091 中国科学院软件研究所北京100090 

基　　金：国家自然科学基金项目(60603017) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2010年第31卷第16期

页      码：3591-3594页

摘      要：为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法。基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型。在规范描述下生成不同类型文件,然后对每类文件进行变异模糊测试,有效地减少了大量无效测试。实际测试中,已经验证3个已公开漏洞并发现两个未公开漏洞,表明了该算法的有效性。

主 题 词：模糊测试 文件规范描述 文件推导规则 文件模糊测试 脆弱性发掘 

学科分类：0839[0839] 08[工学] 

D　O　I：10.16208/j.issn1000-7024.2010.16.040

馆 藏 号：203110963...