-
题名自动化白盒模糊测试技术研究
被引量：6
- 1
-
-
作者
张亚军
李舟军
廖湘科
蒋瑞成
李海峰
-
机构
北京航空航天大学计算机学院
[
国防科学技术大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第2期7-10,22,共5页
-
基金
国家自然科学基金(61170189,60973105,90718017)
教育部博士点基金(201111 02130003)资助
-
文摘
软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型。
-
关键词
模糊测试
符号执行
自动化白盒模糊测试
自动化白盒模糊测试分布式模型
-
Keywords
Fuzz testing, Symbolic execution, Automated whitebox fuzz test, Automated whitebox fuzz testing distributed system
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
