软件安全性检测技术综述  

Survey of Software Security Test Technology

作　　者：侯海燕[1] 符志鹏[1] HOU Hai-yan, FU Zhi-peng （College of Medical Technology and Engineering, Henan University of Science and Technology, Luoyang 471000, China）

机构地区：[1]河南科技大学,河南洛阳471000

出　　处：《电脑知识与技术》2014年第9期5847-5851,5854,共6页Computer Knowledge and Technology

基　　金：河南科技大学青年科学基金（编号：2013QN045）

摘　　要：该文阐述了网络软件安全检测的重要性,介绍了现有的主要检测方法,包括形式化安全测试、基于模型的安全功能测试、语法测试、基于故障注入的安全测试、基于属性的测试、模糊测试、基于风险的安全性测试、基于故障树的安全性测试以及基于渗透的安全性测试。The importance of software security test is described in this paper and the main software security test method is introduced such as model based method,Grammar-based method,Syntax-based method,defects threat tree modeling method and soon.

关 键 词：安全性检测 功能测试 漏洞测试 安全测试方法 

分 类 号：TP393[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]