淺析計算機軟件安全檢測技術

梁利亭

摘 要：隨著科學技術的不斷進步，計算機的應用越來越廣泛，它的應用能夠為各個行業提供高效的保障和便利，因此它成為人們生活、辦公不可缺少的工具，于此同時，由于人們對生活和辦公的要求越來越高，這就使得人們對計算機軟件的要求有所提升。計算機軟件是計算機最為重要的部分，它是計算機工作的大腦，因此他的工作狀態會對計算機運行造成一定的影響。

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

一、計算機軟件安全檢測簡介

計算機軟件的安全檢測技術，對于計算機軟件開發具有極其重要的意義和地位，如果缺少了它，計算機軟件開發就不完整了。通過對計算機軟件進行安全檢測，人們能夠知道軟件是否安全，同時也可以發現軟件中存在的問題和漏洞，然后針對存在的問題通過相應的對策來給予解決，從而使軟件得到優化和完善。但是計算機軟件安全檢測手段不是防止軟件錯誤發生的主要辦法，因為的作用只是找出程序中容易發生的錯誤。目前現有的軟件檢測技術主要分為兩種，一種為靜態檢測另一種為動態檢測。

二、計算機軟件安全檢測的基本內容

（一）軟件沖突引起的計算機運行不暢

用戶在安裝某一款計算機軟件后，有時會發現這種軟件對于計算機的性能和計算機本身沒何明顯變化，有的軟件在安裝完成后會和計算機中的另一個軟件發生沖突，從而會影響計算機的運行速度，嚴重的化會導致計算機運行變慢。

（二）計算機軟件存在的安全性問題

用戶在使用計算機軟件時會發生個人信息被記錄的情況，這就會導致用戶的個人信息被泄露。因此，不同的計算機軟件在開發中，開發人員都會應用安全檢測技術來對計算機軟件存在的漏洞進行檢測，對于存在問題的軟件進行有效修復，從而提高計算機軟件的安全性能，確保用戶的使用安全。

三、計算機軟件安全檢測應該注意的相關事項

在對計算機軟件進行安全檢測時，實際上就是對計算機進行安全檢測的一個非靜態過程。在對計算機軟件進行安全檢查時一定要注意以下兩個問題：

（1）軟件檢測工作一定要有合理的方案，同時工作人員一定要具備以下幾種基本素質：

①對軟件安全檢測工作有一定的了解。

②工作人員一定要具備專業的計算機素養。

只有具備以上兩種素質，才能確保檢測方案能夠有效的實施。另外，檢測工作人員在工作時旁邊一定要有計算機使用技術專員。只有確保兩個技術人員有密切高效的配合，才能保證計算機軟件檢測工作能夠順利進行，從而確保計算機軟件的安全性達到預期效果。

（2）在對計算機軟件進行檢測過程中，工作人員一定要盡職盡責工作，利用自身的專業素養和高科技設備對軟件進行全面深入的分析。計算機應用軟件通常情況下都極其復雜，同時軟件規模也相對龐大，因此，工作人員在工作中一定要格外的注意對代碼級、系統級以及需求級進行深入分析。

四、常見的計幾種算機軟件安全檢測技術

（一）模塊檢測技術

通常情況下，計算機軟件系統中都會含有大量的子系統，同時這個子系統中又含有大量的模塊。模塊檢測技術是指對子系統中的最小的模塊進行有效的檢測，這一檢測的最終目的是對軟件進行細致、全面的檢測，通過這種模塊化檢測能夠將模塊當中存在的風險和漏洞檢測出來。當模塊檢測完成后在進行模塊的組裝工作，并對組裝系統進行檢測，當組裝系統檢測完成后，最后還要對系統中的軟件性能做出有效檢測，通過這些全面的檢測才能保證系統絕對安全。

（二）形式化安全檢測技術

形式化安全檢測技術是在計算機軟件數學模型的基礎上研究出來的一種技術，它的使用需要形式規格語言的支持，同時還要有形式化的規格說明。就目前來看，最為常見的形式規格語言有以下三種，行為語言、模型語言和有效狀態語言，而軟件檢測方法有檢查方式和定理證明模式。

（三）模型安全檢測技術

模型安全檢測技術是應用結構建模和軟件行為作為手段，然后建立安全檢測模型，并通過機器對模型進行讀取。模型安全檢測技術它對于軟件系統和規格說明要求并不是很嚴格，兩者在不統一的情況下也是可以的。在模型安全檢測中，可以一拿出一組實驗組，對這組實驗組進行軟件系統的檢測，最終得出的結果是模型期望與待測系統始終保持一致性。

（四）語法檢測技術

語法檢測技術的基本原理是在語法的基礎上形成的，它能夠對生成功能接口軟件進行檢測。通過情況下，這一檢測技術主要是測試軟件的反映，特別是在輸入條件發生變化時，軟件會發生差異性反映。語法檢測技術能夠對計算機軟件接口的語法語言進行自由定義，同時它能夠對語言進行有效的識別和判斷，這樣一來它就能對軟件實施安全檢測。

（五）故障注入式安全檢測技術

故障注入式安全檢測技術與其它的檢測技術有著本質的不同，它的應用能夠極大的提高安全檢測技術的自動化水平，因此它在計算機軟件安全檢測技術中具有重要意義。所謂故障注入式安全檢測指的是，選擇一定的故障模型，并建立故障數據，然后利用軟件對故障信息進行反饋和測試，通過這種方式來檢測軟件的安全性和故障容錯性等信息。

（六）模糊式檢測技術

模糊式檢測技術中融合了傳統檢測技術動態檢測技術兩種不同的技術，這種技術是建立在白盒模糊檢測基礎上的，也是對傳統檢測技術的進一步延伸。其工作原理并不復雜，但是發揮的重要作用卻不容忽視，檢測效果良好，可以精準的揭示程序中重要的bug，準確的驗證錯誤，在軟件發貨之前出現任何被搪塞的攻擊渠道都可以立即發現。

（七）基于Web技術的安全檢測技術

基于Web技術的安全檢測是最近幾年以來的一種新興檢測技術，可以說是計算機軟件安全檢測技術的一次重大突破。這種檢測技術是建立在互聯網技術基礎上的，相較于其他檢測技術來說具備很強的優越性和獨特性，尤其是和傳統檢測技術相比更具靈活性、高效性和先進性，檢測性能更好。從整體上來講，基于Web技術的安全檢測技術在對軟件進行安全檢測的時候可以在最短時間內檢測出軟件存在的風險和漏洞，并可以根據實際情況進行及時的修復，在很大程度上保證了計算機系統運行的安全性以及高效性。基于這種檢測技術本身存在的優點，到目前位置，在各個行業的計算機軟件檢測中得到了廣泛的應用，按照當前這種發展情況來看大有取代傳統檢測軟件的趨勢，這足以看出這種技術的安全性和高效性以及實用性。

五、全面提高計算機軟件安全檢測效率的有效措施

（一）合理選擇檢測方法

在計算機安全檢測技術使用中，工作人員首先要了解軟件的類型和種類，然后在根據軟件的性能和功能選擇最為合理的安全檢測技術。另外，工作人員在工作中，一定要具備處理突發事件的能力，檢測過程中一旦發生突發事件工作人員一定要對檢測手段進行適當的調整，以此來確保檢測技術能夠有效的進行。工作人員一定要注意培養自己的專業能力和專業技術，只有工作人員擁有較高的專業素養在工作中才能確保不會發生人為失誤，從而提高檢測效果。安全檢測工作人員要想更好的適應這份工作，就必須要提高自身的軟件認識，這樣才能使自己擁有較強的軟件編寫能力和一定的軟件基本功，只有技術人員擁有這些本領后才能根據軟件的不同找出科學合理的檢測方法，這樣就能大大的提升軟件的安全檢測技術。

（二）利用系統進行分析檢測

技術人員在檢測軟件安全過程中，必須要充分的考慮到軟件系統存在的相關問題，針對實際問題進行針對的安全檢測。通過這種檢測方法能夠及時的發現軟件當中存在的問題和安全隱患，同時這種方式能夠提高系統性的實際使用性能。要想使系統能夠更好的為軟件進行分析和檢測，相關的技術人員一定要強化對系統的了解，同時要掌握系統的功能，然后通過科學合理的方式對軟件和安全檢測系統進行升級和完善，以此來提高檢測結果。

（三）提高檢測人員專業素質

計算機軟件安全檢測過程，必須要由安全檢測技術人員來完成。因此，相關部門必須要重視技術人員的技能培訓，只有技術人員專業素質得到提高，才能使計算機安全檢測水平得到提高。

六、總結

綜上所述，計算機軟件安全檢測在計算機中具有極其重要的作用和意義，同時它也是計算機信息體系中的重要組成部分。

參考文獻：

[1]黃英麗.淺談計算機軟件安全檢測技術[J].網絡安全技術與應用，2013（8）：134-135.

[2]魯艷麗.淺談計算機軟件安全檢測技術[J].中國管理信息化，2016（5）：182-183.

[3]牛潔，王滈.淺談計算機軟件安全檢測技術[J].計算機光盤軟件與應用，2012（13）：102-103.

[4]孫發友.淺析計算機軟件安全監測技術[J].城市建設理論研究：電子版，2015（19）：65.