CAJ | 학술논문

万方数据

计算机工程与设计 계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2010年 16期 3591-3594 ,共4页

沈亚楠%赵荣彩%王小芹%任华%张新宇%鲁海军%李鹏飞

침아남%조영채%왕소근%임화%장신우%로해군%리붕비

模糊测试%文件规范描述%文件推导规则%文件模糊测试%脆弱性发掘模糊測試%文件規範描述%文件推導規則%文件模糊測試%脆弱性髮掘
모호측시%문건규범묘술%문건추도규칙%문건모호측시%취약성발굴

为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法.基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型.在规范描述下生成不同类型文件,然后对每类文件进行变异模糊测试,有效地减少了大量无效测试.实际测试中,已经验证3个已公开漏洞并发现两个未公开漏洞,表明了该算法的有效性.
위료해결전통문건모호측시효솔불고여공능유루적결점,제출일충신적문건모호측시산법.기우문건적규범,추상지묘술료문건추도규칙,정의료문건모호측시모판,설계료문건모호변이모형.재규범묘술하생성불동류형문건,연후대매류문건진행변이모호측시,유효지감소료대량무효측시.실제측시중,이경험증3개이공개루동병발현량개미공개루동,표명료해산법적유효성.