- 相關(guān)推薦
芻議計算機(jī)軟件安全檢測方法
隨著科學(xué)技術(shù)的不斷發(fā)展，計算機(jī)軟件的安全檢測工作在軟件實(shí)際應(yīng)用體系中具有日益重要的作用，下面是小編搜集整理的一篇探究計算機(jī)軟件安全檢測方法的論文范文，供大家閱讀借鑒。
摘 要：網(wǎng)絡(luò)和計算機(jī)要正常運(yùn)行就必須要依賴于軟件，但人們對計算機(jī)的應(yīng)用歸根結(jié)底還是對軟件的應(yīng)用，而判斷一個計算機(jī)軟件好壞的重要標(biāo)準(zhǔn)就是軟件的安全性了。若想要確保軟件的安全性，我們可以從安全檢測技術(shù)的運(yùn)用入手。本文針對安全檢測技術(shù)應(yīng)用中的問題和方法，進(jìn)行了詳細(xì)的剖析。
【關(guān)鍵詞】計算機(jī)軟件 計算機(jī) 安全 檢測技術(shù)
1 軟件安全狀況簡介
計算機(jī)的軟件安全測試主要由功能測試、滲透測試以及驗(yàn)證過程三方面構(gòu)成。與其他種類的軟件相比，軟件安全測查所注重的不是其能做什么，反而是測試其不能做什么。一般而言，安全檢測主要是安全漏洞方面的檢測及安全功能方面的檢測構(gòu)成的。軟件安全功能檢測所要求的范圍十分寬泛，包括訪問控制和授權(quán)、機(jī)密性以及安全管理等方面，檢測軟件安全功能能否達(dá)到其安全要求的過程即其安全功能檢測。
2 安全檢查應(yīng)注意的問題
2.1 要制定科學(xué)的檢測方案
要在充分的了解，把握待檢測軟件的特性的基礎(chǔ)上，來對其開始進(jìn)行安全性能測試，并根據(jù)安全測試的具體情況，有針對性的確定有實(shí)用性的檢測方法對其進(jìn)行編制，使方案得到真正有效的實(shí)施。此外也對具體執(zhí)行檢測的人員提出了相應(yīng)的要求，在安全檢測過程中，必須由熟練掌握檢測知識的人員與熟悉被檢測軟件的人員進(jìn)行通力合作。只有兩方面的專業(yè)技術(shù)人員的配合，才能真正保障安全檢測的效果。
2.2 做到系統(tǒng)且全面的分析
計算機(jī)軟件有程序復(fù)雜、規(guī)模龐大等特點(diǎn)，故而在進(jìn)行安全測試時需要分別對代碼級、系統(tǒng)級以及需求級進(jìn)行有針對性的詳盡檢測。如果遇到特大規(guī)模的軟件，還需從結(jié)構(gòu)設(shè)計等方面進(jìn)行細(xì)致的分析。并根據(jù)實(shí)際情況，按照詳細(xì)分析的過程選擇其所需要的相關(guān)分析技術(shù)。
軟件的安全檢測是系統(tǒng)化的一個過程，要解決整個系統(tǒng)內(nèi)全部的安全問題，普通的方法是十分困難的，故進(jìn)行具體的安全檢測時，如何選擇有效的、具有可行性的方案，是軟件檢測員必須認(rèn)真思考的問題。
3 軟件安全檢測的具體方法
3.1 科學(xué)的規(guī)范化流程
在較大規(guī)模的軟件系統(tǒng)中，大多數(shù)都會有若干個子系統(tǒng)，而每一個子系統(tǒng)又由多個功能模塊組成。
模塊測試、組裝系統(tǒng)、系統(tǒng)結(jié)構(gòu)的安全檢測、性能檢測、系統(tǒng)檢測是計算機(jī)軟件安全檢測必不可少的五個環(huán)節(jié)。模塊檢測我們又可以稱為單元測試，所檢測的對象是軟件設(shè)計中最小的功能單位。為準(zhǔn)確發(fā)現(xiàn)每個系統(tǒng)功能中可能存在的漏洞，需要進(jìn)行模板測試，以達(dá)到細(xì)節(jié)化、全面化的檢測。在具體的模板檢測完成后，需要進(jìn)行的是系統(tǒng)的組裝過程，要根據(jù)其自身的設(shè)計理念來進(jìn)行。在實(shí)際的組裝操作過程中應(yīng)該對相關(guān)的每個體系結(jié)構(gòu)進(jìn)行相應(yīng)的安全檢測。在模板測試及系統(tǒng)結(jié)構(gòu)的測試都完成后，為使軟件可以達(dá)到用戶的使用要求，還需對其進(jìn)行功能有效性進(jìn)行測試。直至所有步驟完成之后，再結(jié)合計算機(jī)的硬件、數(shù)據(jù)庫等進(jìn)行一個系統(tǒng)的測試。
3.2 行之有效的具體方法
軟件安全檢測包括動態(tài)的檢測及靜態(tài)的檢測兩種手段。動態(tài)檢測主要指內(nèi)存的分析，環(huán)境變量等的修改，結(jié)合其運(yùn)行環(huán)境已進(jìn)行測試的，想增強(qiáng)程序保密性實(shí)行軟件的安全運(yùn)行，就可以通過動態(tài)檢測的方法來完成。靜態(tài)檢測是通過程序分析、程序源代碼的解析以而找到程序中導(dǎo)致異常的原因。靜態(tài)分析技術(shù)的兩個重要的指標(biāo)就是錯誤率和誤報率，這兩個指標(biāo)的出現(xiàn)是成反比的。靜態(tài)分析的主要問題在于其結(jié)果常常只是真正結(jié)果的近似值，不能夠真正反應(yīng)出實(shí)際情況。但是其同時也具有不需軟件真正運(yùn)行就可以檢測，實(shí)行相對方便。兩者比較而言，靜態(tài)檢測因?yàn)槠浼夹g(shù)有較高的自動化，檢測速度較快且過程方便，故更受操作人員的歡迎。
3.2.1安全檢測方式實(shí)行形式化
安全檢測方式的形式化，是指通過在需檢測軟件之上建立科學(xué)模型來檢測的。其在確立相應(yīng)模型后，在規(guī)范的形式語言支持下做出形式性規(guī)格說明。當(dāng)前主要運(yùn)用的形式規(guī)則語言主要有行為語言和模型語言以及有效狀態(tài)語言等。手段也主要分為模型檢測及定理證明等方式。
3.2.2實(shí)行以模型為基礎(chǔ)的檢測方式
使用結(jié)構(gòu)建模方式及軟件行為構(gòu)建測試模型，以達(dá)到預(yù)期的理想檢測效果。以模型為基礎(chǔ)的檢測過程并不苛求軟件在各種具體情況下的一致性，其主要通過一些生成的試用例來測評的，并通過測查被測軟件系統(tǒng)與理想模型結(jié)果是否相同來進(jìn)行安全檢測的，
3.2.3 運(yùn)用語言測試技術(shù)
在靜態(tài)檢測技術(shù)中最早出現(xiàn)的檢測方法就是語言檢測技術(shù)，它所檢測的對象是軟件程序的源代碼及可能產(chǎn)生威脅的C語言函數(shù)庫調(diào)用，語言檢測常用的方式是進(jìn)行對反應(yīng)的研究，其過程通常是進(jìn)行軟件接口的語言識別，再進(jìn)行語法的定義，直至生成試用例來實(shí)際進(jìn)行安全檢測。
3.2.4以故障注入技術(shù)為基礎(chǔ)
如果想要檢測的比較全面，則可以用基于故障自如的安全測試。這種方式運(yùn)用故障分析樹以產(chǎn)生用于檢測的試用實(shí)例來進(jìn)行檢測。故障分析樹指的是把系統(tǒng)中出現(xiàn)可能最低的事件作為頂事件，再通過仔細(xì)檢測來找出事故發(fā)生過程中的中間事件及底事件。以邏輯門符號，將項(xiàng)事件和中間事件以及底事件連成完整的一棵故障樹的方式。
3.2.5 踐行模糊測試法
建立在白盒檢測的基礎(chǔ)之上的檢測方法我們把它叫做模糊測試法，它有效的將動態(tài)檢測技術(shù)和傳統(tǒng)檢測技術(shù)合二為一，相對于傳統(tǒng)的檢測技術(shù)有了較大的發(fā)展。其具體方式是通過對被檢測系統(tǒng)提供大量無價值的、非預(yù)期的、隨機(jī)的輸入，以發(fā)現(xiàn)軟件的異常狀況。其具有成本低，運(yùn)用簡單，自動化程度高等許多優(yōu)點(diǎn)。
3.2.6利用根據(jù)屬性的檢測方式
要實(shí)行這種檢測方式，先要明確被測軟件的具體編程規(guī)則，并將其作為安全屬性，以檢測目標(biāo)軟件的程序代碼是不是符合相關(guān)規(guī)則，通過這樣來確定其安全性。和其他檢測方式相比，這種方式可以全面的、系統(tǒng)的分析軟件存在的安全漏洞交互性及擴(kuò)展性。
4 結(jié)語
在當(dāng)代，計算機(jī)軟件的安全檢測工作在軟件實(shí)際應(yīng)用體系中具有日益重要的作用。只有通過不間斷的積累、創(chuàng)新，并在具體實(shí)踐中踐行，才能促進(jìn)相關(guān)技術(shù)的不斷提高。與此同時，還應(yīng)不斷提高我們自身的安全保障意識及防測技術(shù)，以真正保障軟件安全應(yīng)用，維護(hù)軟件使用者的切身利益，從而促進(jìn)市場的平穩(wěn)健康發(fā)展。
參考文獻(xiàn)
[1]李潔.軟件測試用例設(shè)計[J].電腦編程技巧與維護(hù)，2010(4).
[2]楊洪路.宮云戰(zhàn).高文齡.白哥樂.軟件安全靜態(tài)檢測技術(shù)與工具[J].信息化縱橫，2009(9).
【芻議計算機(jī)軟件安全檢測方法】相關(guān)文章：
芻議往來賬款的審計方法12-09
異常樣本檢測方法綜述03-07
微型熱流陀螺信號檢測方法03-07
企業(yè)安全文化建設(shè)芻議03-25