計算機軟件安全檢測技術分析論文

摘要：近年來，我國的科技一直在快速發展，而計算機技術也實現了不斷的發展。在計算機中，軟件和硬件是確保計算機有效運行的重要部分，且計算機軟件的安全直接決定着計算機性能的安全。所以，爲了確保計算機網絡在安全的環境下持續發展，一定要加強計算機軟件的安全，基於此，本文對計算機軟件安全檢測技術進行了詳細的研究。

【關鍵詞】計算機；軟件安全；檢測技術

隨着計算機的逐漸普及，使軟件的種類也表現出了多樣化的狀態。在衆多的軟件中，有一部分是商用軟件，一部分是個人使用的軟件，有了這些軟件的支持，在提升人們生活質量方面有着非常重要的意義，而且也起到了促進企業發展的作用。計算機軟件中的安全問題是目前在應用過程中面臨的最嚴重的問題，爲了對計算機用戶的信息安全進行保證，一定要加強計算機軟件的安全性。而安全檢測技術的應用能夠在一定程度上加強計算機軟件的安全性，因此，本文對計算機軟件安全檢測技術進行了詳細的分析和研究。

1計算機軟件安全檢測的重要性

對於計算機的運行來說，計算機軟件安全起着非常重要的作用，它直接影響着計算機是否能夠安全運行，所以，爲了確保計算機在安全的環境下順利運行，一定要對計算機軟件進行安全檢測，按照一定的標準評價計算機軟件的安全性。如果檢測結果在標準的範圍內，才認爲符合運行要求，計算機軟件才能正式投入使用。其實，計算機軟件安全檢測就是對軟件中的風險進行預防和處理，而計算機軟件的安全問題和其他軟件的安全問題存在着本質上的區別，如果普通的軟件存在安全問題只會影響用戶的體驗，但是如果是計算機軟件存在安全方面的問題，就有可能會使整個系統出現崩潰的現象。所以說，計算機軟件的安全檢測工作對提高計算機的性能具有非常重要的意義，一定要對其引起重視。

2計算機軟件安全檢測流程和技術

2.1檢測流程分析

在計算機軟件的安全檢測過程中，一些規模比較大的計算機軟件系統包括了很多個子系統，而不同的子系統中也有很多個不同的模塊。通常來說，計算機軟件安全檢測的流程大致爲：模塊檢測—系統組裝—系統結構的安全檢測—軟件功能以及性能的檢測—系統測試。其中模塊檢測是指對子系統中最小單位的模塊檢測，主要是爲了實現檢測範圍的系統化、全面化等，進而在第一時間找到小模塊中存在的風險。在檢測完每個模塊之後，要按照軟件程序的相應需求進行模塊組裝，使其成爲一個完整的系統，之後還要對組裝完成的系統結構進行安全檢測。在確保上述檢驗報告合格的同時，還要對軟件的功能以及性能進行檢測，主要是爲了實現用戶需求和軟件功能、性能的一致性。計算機軟件安全檢測的最後一步是對整個系統進行測試，從而確保計算機軟件的安全性。

2.2計算機軟件安全檢測技術

2.2.1語法檢測技術語法檢測技術就是一種語法測試，如果輸入的條件存在差異，那麼出現的反應也會不同，主要是在被檢測軟件的功能接口形成一種軟件，之後採取輸入的步驟完成檢測。該項技術在計算機軟件安全檢測中起着非常重要的作用，其主要的步驟爲：首先，在計算機軟件功能接口語言的基礎上生成軟件測試輸入，之後檢驗輸入計算機中各種語言的實際情況，最後進行計算機軟件接口處語言和語法的識別，並且進行定義，完成計算機軟件的安全檢測。

2.2.2模型式檢測技術模型式檢測技術是在計算機軟件的'結構和行爲基礎上形成的，創建了具有安全檢測功能的模型，對計算機軟件進行了全面的安全檢測。主要的步驟爲：要先對被檢測軟件的輸入和輸出過程進行分析，清楚軟件內部的數據交換和計算過程，之後選擇與軟件相適合的結構模型，形成檢測的案例，最後通過人工檢測，查看是否存在安全方面的問題。

2.2.3故障注入式的檢測技術故障注入式檢測技術是在白盒模糊檢測的基礎上形成的，而且在一定程度上將傳統檢測技術和動態監測技術結合在了一起，實際上是對傳統檢測技術的一種更新。工作人員應該認真選擇故障模型，之後創建相應的故障樹，通過反覆檢測之後，得到具體的反饋信息，從而對故障進行安全性的檢測。雖然該種檢測技術是一種比較簡單的技術，但是還是能將計算機軟件程序中的重要問題顯示出來，是計算機軟件安全檢測技術中非常重要的一部分，能夠促進計算機軟件安全檢測的持續發展。

2.2.4形式化的安全檢測技術在計算機軟件安全檢測中應用形式化的安全檢測技術時，應該先進行軟件數學模型的建立，在形式規格語言的基礎上對形式化的規格進行說明。在現在的計算機軟件安全檢測中，經常使用的形式化規格語言包括行爲語言、有限狀態語言以及模糊語言等。從具體的檢測方法角度出發，形式化安全檢測技術包括模型檢測和定理證明。實際上，形式化安全檢測技術就是利用數學模型來進行系統證明，我們誰都不敢保證系統中沒有存在任何問題，所以說，該項技術能夠確保保密設備的安全性。

3計算機軟件安全檢測的注意事項

在進行計算機軟件安全檢測時，要充分關注以下幾點：首先，進行計算機軟件的安全檢測就是要檢測軟件的動態過程，進而確保軟件在應用過程中的安全性。而且在進行計算機軟件的安全檢測時，要對軟件的需求進行詳細分析，其中最主要的是分析計算機軟件的需求以及性能。一般情況下，計算機軟件的程序可能會比較複雜，而且規模也相對來說比較大，因此技術人員在檢測過程中要對系統級和代碼級進行認真的分析，從而加強檢測結果的準確性，確保計算機軟件運行的安全性；其次，在進行計算機軟件安全檢測時，還要確保實施方案的合理性，主要體現在在進行計算機軟件安全檢測之前，要充分掌握軟件檢測的特點以及要求，並且利用正確的檢測方式進行計算機軟件的安全檢測。另外，還要提高檢測人員的專業素質，對軟件安全檢測中的問題能夠及時解決，從而確保計算機軟件安全檢測的效率。

4結束語

綜上所述，計算機軟件安全檢測是一個系統性比較強的工作，而且檢測的內容非常複雜、檢測程序也比較嚴格。隨着計算機技術的不斷髮展，計算機軟件安全方面的問題也經常發生，因此，計算機軟件的相關人員一定要用科學合理的眼光來看待軟件安全方面的問題，積極提升技術水平。在實際的工程中不斷實踐，從而確保計算機軟件在安全的環境下運行。