%0 Journal Article
%T 自动化白盒模糊测试技术研究
%A 张亚军？
%A 李舟军？
%A 廖湘科？
%A 蒋瑞成？
%A 李海峰？
%J 计算机科学
%D 2014
%X 软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念；随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点；最后,给出了自动化白盒模糊测试的分布式模型。
%K 模糊测试
%K 符号执行
%K 自动化白盒模糊测试
%K 自动化白盒模糊测试分布式模型中图法分类号tp301文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140202&flag=1