計算機(jī)軟件安全檢測技術(shù)

顧建豐

摘 要隨著計算機(jī)的大量普及，其安全監(jiān)測技術(shù)的發(fā)展逐漸受到人們的重視。計算機(jī)安全監(jiān)測技術(shù)水平的好壞，將會直接關(guān)系到人們?nèi)粘Ｉ畹陌踩?。通過計算機(jī)安全監(jiān)測技術(shù)，人們能夠?qū)τ嬎銠C(jī)軟件進(jìn)行系統(tǒng)化的測試，有效識別并且排查計算機(jī)軟件中存在的安全隱患。本文通過對計算機(jī)軟件安全檢測技術(shù)的概述，提出了幾點軟件檢測的指導(dǎo)建議，為保證計算機(jī)軟件安全提供了一些參考。

【關(guān)鍵詞】軟件檢測 計算機(jī)安全 檢測方式

1 計算機(jī)軟件安全檢測應(yīng)該注意的事項

從本質(zhì)上來說，計算機(jī)安全監(jiān)測就是檢測軟件的安全性，其檢測過程也是在一個動態(tài)過程中測試計算機(jī)軟件的可靠性。計算機(jī)軟件的檢測要求按照嚴(yán)格的操作進(jìn)行，首先，在進(jìn)行計算機(jī)軟件檢測之前，需要制定完整的檢測方案。進(jìn)行軟件檢測之前應(yīng)該對需要進(jìn)行檢測的軟件有一個較為細(xì)致的了解，在整體把握軟件功用的前提下對軟件進(jìn)行檢測。在進(jìn)行測試方案的制定時，應(yīng)該規(guī)定軟件檢測采用的測試手段、測試工具在進(jìn)行軟件測試時，能夠保證測試過程的高效進(jìn)行。另外，進(jìn)行測試的工作人員應(yīng)該是具有較強(qiáng)軟件編寫能力的專業(yè)人士，在進(jìn)行軟件測試的同時，原軟件的編寫人員也應(yīng)該參與在測試試驗中，這樣可以方便發(fā)現(xiàn)問題及時解決。在進(jìn)行軟件測試的時候，只有制定專業(yè)的測試方案，配備專業(yè)的測試人員，軟件的測試結(jié)果可靠性才能得到充分的保障。其次，軟件測試完成后，對測試信號的分析也是很重要的一步。分析測試結(jié)果時，應(yīng)該保證對測試得到的信號進(jìn)行全面細(xì)致的檢查。一般來說，一個計算機(jī)軟件的代碼程序十分復(fù)雜，包括大量的指令以及邏輯運算關(guān)系，這就要求在分析測試信號時，相關(guān)的工作人員工作要細(xì)致認(rèn)真，除了保證軟件能夠正常應(yīng)用以外，還應(yīng)該盡可能考慮到軟件后期的升級維護(hù)接口功能。與軟件測試方案的制定相似，軟件測試結(jié)果的分析也需要制定流程化的處理方案，在分析軟件過程中要求采用合理的檢測技術(shù)，專業(yè)化的檢測人員，以負(fù)責(zé)的態(tài)度完成軟件測試的后期工作。所以說，軟件測試是一個系統(tǒng)化的龐大工程，技術(shù)檢測和測試處理均需要專業(yè)的處理，也只有這樣才能保證計算機(jī)軟件的安全性。

2 計算機(jī)軟件的安全檢測方法

2.1 計算機(jī)軟件安全檢測流程

一般來說，在進(jìn)行計算機(jī)軟件測試的時候，檢測流程常常根據(jù)軟件的系統(tǒng)結(jié)構(gòu)進(jìn)行。由于計算機(jī)軟件由很多模塊構(gòu)成，所以常常遵循著從模塊測試、組裝測試然后再到系統(tǒng)結(jié)構(gòu)的安全監(jiān)測，檢查發(fā)現(xiàn)模塊沒有問題以后在進(jìn)行軟件功能的測試，以上結(jié)構(gòu)均未發(fā)現(xiàn)問題，則進(jìn)行系統(tǒng)整體檢查。這種，由淺入深的測試方法可以保證測試不會丟失對某些軟件功能的檢查。其中，模塊測試主要指對軟件系統(tǒng)中最小的組成單位進(jìn)行檢查，只有從小的模塊進(jìn)行檢查，才保證整體不出現(xiàn)大的差錯。檢查模塊時務(wù)必做到檢查細(xì)節(jié)化和全面化。在進(jìn)行完模塊檢查之后，還需要對其進(jìn)行組裝。但是值得注意的是，盡管模塊檢查沒有問題，但是組裝的系統(tǒng)卻仍然可能出現(xiàn)問題，諸如組裝兼容性、軟件漏洞等問題還是存在的。系統(tǒng)組裝檢查完成后需要對軟件進(jìn)行效果測試。效果測試的目的在于保證組裝后的軟件能夠滿足用戶的使用需求，保證用戶在使用過程中不會出現(xiàn)問題。只有經(jīng)過上述全部檢測過程，軟件測試才算完成。

2.2 計算機(jī)軟件安全檢測的方式、方法

2.2.1 形式化的安全檢測

該檢測方法需要較強(qiáng)的計算機(jī)知識，由于它建立在計算機(jī)軟件的數(shù)學(xué)模型智商上，要求在檢測過程中嚴(yán)格依據(jù)現(xiàn)有的語言進(jìn)行檢測。目前人們經(jīng)常采用的形式語言規(guī)格有三種，主要包括行為語言、模型語言的有效狀態(tài)語言。形式化的安全監(jiān)測是現(xiàn)在計算機(jī)軟件常用的檢測方法之一，檢測準(zhǔn)確度較高，檢測結(jié)果較為可靠。

2.2.2 基于模型的安全靜態(tài)檢測方式

模型的安全檢測方式在檢測時應(yīng)該先建立一個軟件模型。在建立軟件模型是應(yīng)該保證該模型對于計算機(jī)是可讀寫的，但是模型的功能與被檢測計算機(jī)軟件的功能并不是完全相同的。模型化的檢測并不能保證待測軟件與建立的軟件模型完全相符。在測試時候常常對測試模型進(jìn)行檢測，然后經(jīng)過檢測讓模型測試的功能與原測試元件功能基本相符即可。模型化的測試方法需要建立軟件的模型，常用的模型檢測方法包括有限狀態(tài)機(jī)或者馬爾克夫鏈，相對來說，檢測建模具有一定的難度。

2.2.3 語法檢測

計算機(jī)軟件的語法檢測主要利用指令測試軟件的功能，主要的檢測指標(biāo)為計算機(jī)軟件對輸入指令的響應(yīng)。即在測試過程中通過給計算機(jī)輸入不同的指令，來觀察軟件對所輸入指令的反應(yīng)來判斷軟件是否存在使用問題。采用該檢測方法是，需要定義大量的識別語言，而且也并不能完全保證語言指令類型的全面性。但是他既可以檢測軟件編寫問題，也可以檢測軟件的安全問題。

2.2.4 基于故障注入的安全檢測

該方法經(jīng)過實踐檢驗，相對于其他檢測方式具有很高的檢測效率。主要體現(xiàn)在本檢測方法主要利用故障模型，構(gòu)建故障樹，通過對模型輸入檢測信號，分析軟件對于所輸入指令的響應(yīng)來判斷軟件中可能存在的故障信息。該方法可以檢測出軟件的安全性以及對使用過程中出現(xiàn)錯誤的兼容性，具有較強(qiáng)的實用檢測價值。

2.2.5 模糊式檢測方法

模糊式檢測既結(jié)合了傳統(tǒng)測試的優(yōu)點，也具有自己獨特的優(yōu)點。簡單來說，他是傳統(tǒng)檢測技術(shù)的再升級。它通過在白盒模糊的基礎(chǔ)上，能夠檢測出程序中存在各種Bug，并且對潛在錯誤具有一定的檢測效果。

3 小結(jié)

隨著人們對計算機(jī)軟件安全監(jiān)測的重視，越來越多的檢測方法逐漸出現(xiàn)，相應(yīng)的檢測技術(shù)也越來越高端?？傊嬎銠C(jī)軟件測試需要我們在實踐生活中不斷創(chuàng)新方法，除了掌握一定的計算機(jī)軟件測試方法以外，實際的經(jīng)驗積累也是計算機(jī)軟件安全測試必不可少的。

參考文獻(xiàn)

[1]王清.軟件漏洞分析技術(shù)[M].北京：電子工業(yè)出版社，2011（06）.

[2]艾倫.軟件安全工程[M].北京：機(jī)械工業(yè)出版社，2009（04）.

[3]李龍.軟件測試實用技術(shù)與常用模板[M].北京：機(jī)械工業(yè)出版社，2010（10）.

作者單位

江蘇省常州市武進(jìn)區(qū)淹城初級中學(xué) 江蘇省常州市 213161