电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2014年
25期
5847-5851,5854
,共6页
安全性检测%功能测试%漏洞测试%安全测试方法
安全性檢測%功能測試%漏洞測試%安全測試方法
안전성검측%공능측시%루동측시%안전측시방법
security test%functional test%vulnerability test%security test method
该文阐述了网络软件安全检测的重要性，介绍了现有的主要检测方法，包括形式化安全测试、基于模型的安全功能测试、语法测试、基于故障注入的安全测试、基于属性的测试、模糊测试、基于风险的安全性测试、基于故障树的安全性测试以及基于渗透的安全性测试。
該文闡述瞭網絡軟件安全檢測的重要性，介紹瞭現有的主要檢測方法，包括形式化安全測試、基于模型的安全功能測試、語法測試、基于故障註入的安全測試、基于屬性的測試、模糊測試、基于風險的安全性測試、基于故障樹的安全性測試以及基于滲透的安全性測試。
해문천술료망락연건안전검측적중요성，개소료현유적주요검측방법，포괄형식화안전측시、기우모형적안전공능측시、어법측시、기우고장주입적안전측시、기우속성적측시、모호측시、기우풍험적안전성측시、기우고장수적안전성측시이급기우삼투적안전성측시。
The importance of software security test is described in this paper and the main software security test method is intro-duced such as model based method, Grammar-based method, Syntax-based method, defects threat tree modeling method and so on.
