自动化白盒模糊测试技术研究

摘要：

软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题.采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视.首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型.

关键词：模糊测试、符号执行、自动化白盒模糊测试、自动化白盒模糊测试分布式模型

所属期刊栏目：41

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61170189,60973105,90718017;教育部博士点基金20111102130003

在线出版日期：2014-03-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：7-10,22