軟件安全性測(cè)試是保證軟件安全性的重要手段。本文論述了軟件安全性測(cè)試的特點(diǎn)
和主要內(nèi)容，重點(diǎn)研究了國(guó)內(nèi)外軟件安全性測(cè)試的主要方法，最后總結(jié)了當(dāng)前研究工作并指出了未來(lái)軟件安全性測(cè)試技術(shù)的研究重點(diǎn)與發(fā)展方向。
關(guān)鍵詞：安全性測(cè)試；安全功能測(cè)試；語(yǔ)法測(cè)試；模糊測(cè)試
安全性是軟件質(zhì)量的一個(gè)重要屬性。傳統(tǒng)上國(guó)內(nèi)學(xué)者較多關(guān)注軟件的失效安全性
（Safety）,即軟件運(yùn)行不引起系統(tǒng)事故的能力，強(qiáng)調(diào)的是一類安全關(guān)鍵軟件的安全性失效可能造成重大人員傷亡、財(cái)產(chǎn)損失、環(huán)境污染等危險(xiǎn)事故。對(duì)失效安全性的度量主要有建立在可靠性理論基礎(chǔ)上的安全度、失效度、平均事故間隔時(shí)間、軟件事故率等。對(duì)于失效安全性測(cè)試（Safety Testing），常用的測(cè)試方法目前有基于故障樹(shù)的測(cè)試和基于最小割集的測(cè)試。
對(duì)保密安全性（Security）,ISO9126 質(zhì)量模型將其定義為與防止對(duì)程序和數(shù)據(jù)進(jìn)行非法存取的預(yù)防能力有關(guān)的質(zhì)量屬性。軟件安全性是軟件在受到惡意攻擊時(shí)仍提供所需功能的能力[1]。對(duì)于保密安全性測(cè)試（Security testing），目前主要有靜態(tài)分析、形式化方法、故障注入、基于模型的測(cè)試、基于屬性的測(cè)試、語(yǔ)法測(cè)試、模糊測(cè)試（Fuzz Testing）等測(cè)試方法。本文將重點(diǎn)關(guān)注安全性測(cè)試(Security Testing)的主要方法和技術(shù)。