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