计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
2期
7-10,22
,共5页
张亚军%李舟军%廖湘科%蒋瑞成%李海峰
張亞軍%李舟軍%廖湘科%蔣瑞成%李海峰
장아군%리주군%료상과%장서성%리해봉
模糊测试%符号执行%自动化白盒模糊测试%自动化白盒模糊测试分布式模型
模糊測試%符號執行%自動化白盒模糊測試%自動化白盒模糊測試分佈式模型
모호측시%부호집행%자동화백합모호측시%자동화백합모호측시분포식모형
Fuzz testing%Symbolic execution%Automated whitebox fuzz test%Automated whitebox fuzz testing distributed system
软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题.采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视.首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型.
軟件的安全性分析和漏洞檢測是軟件工程和信息安全領域的一箇研究熱點和難點問題.採用程序分析的方法對軟件進行安全性測試,日益受到廣汎的關註和重視.首先概述瞭有關軟件安全性測試的基本概唸;隨後,詳細介紹瞭3種基于程序分析的安全性測試方法:模糊測試、符號執行和自動化白盒模糊測試,併比較瞭這3種方法的優缺點;最後,給齣瞭自動化白盒模糊測試的分佈式模型.
연건적안전성분석화루동검측시연건공정화신식안전영역적일개연구열점화난점문제.채용정서분석적방법대연건진행안전성측시,일익수도엄범적관주화중시.수선개술료유관연건안전성측시적기본개념;수후,상세개소료3충기우정서분석적안전성측시방법:모호측시、부호집행화자동화백합모호측시,병비교료저3충방법적우결점;최후,급출료자동화백합모호측시적분포식모형.