摘 要 計算機軟件技術(shù)是計算機中常用技術(shù)，在系統(tǒng)開發(fā)中經(jīng)常涉及到軟件技術(shù)?？茖W技術(shù)不斷發(fā)展，現(xiàn)在對軟件的要求越來越高，軟件在使用之前必須經(jīng)過軟件檢測，現(xiàn)在軟件漏洞也很多，需要不同軟件檢測技術(shù)在檢測，減少軟件漏洞出現(xiàn)。本論文主要從計算機軟件安全漏洞目前的狀況、計算機軟件安全漏洞檢測技術(shù)解讀進行闡述計算機軟件安全漏洞檢測技術(shù)，希望為研究軟件安全漏洞檢測技術(shù)的專家與學者提供理論參考依據(jù)。

【關(guān)鍵詞】軟件 安全漏洞 檢測技術(shù)

信息技術(shù)快速發(fā)展，尤其Internet的廣泛應(yīng)用，在如今大數(shù)據(jù)時代，軟件是計算機技術(shù)一種，在其軟件開發(fā)過程中，計算機軟件存在一定漏洞，要保障計算機軟件的安全性，必須提高計算機軟件的檢測技術(shù)，提升計算機軟件性能，是提高計算機網(wǎng)絡(luò)安全的有效途徑。

1 計算機軟件安全漏洞目前的狀況

計算機軟件在開發(fā)的時候有的就存在一定漏洞，當時可能沒有技術(shù)解決軟件漏洞問題，但在軟件使用的過程中，會出現(xiàn)一系列問題，必須加強軟件安全漏洞的檢測技術(shù)，檢測軟件是否合格，不合格的軟件必須加強軟件補丁，促使軟件達到合格標準，經(jīng)過測試后，才能投入市場使用。還有的軟件開發(fā)時候沒有任何漏洞，但隨著時間的推移，軟件會出現(xiàn)一定漏洞，軟件必須是在使用的過程中，逐步進行軟件完善，提升軟件性能，讓其達標，減少軟件的漏洞，出現(xiàn)漏洞以后要及時修復，提高軟件的生命周期，在一個友好的界面下，充分發(fā)揮軟件的功能，讓其在使用過程中，起到一定的作用，提升性能，減少漏洞。軟件在使用的過程中，根據(jù)技術(shù)的發(fā)展與變化，計算機軟件的漏洞必須技術(shù)檢測，延長軟件的生命周期，提高軟件性能，滿足其需要。

2 計算機軟件安全漏洞檢測技術(shù)解讀

2.1 靜態(tài)程序解析

靜態(tài)程序解析是軟件安全常用的檢測技術(shù)，這種檢測技術(shù)是通過程序代碼，通過利用機器語言、匯編語言等進行編譯，利用反代碼形式，對檢測出來的軟件漏洞，及時進行修復，提高軟件性能，在實際應(yīng)用過程中，涉及到程序設(shè)計中的語言、函數(shù)、數(shù)組、過程、集合、文件等。利用軟件技術(shù)解決軟件漏洞問題，靜態(tài)程序解析對程序設(shè)計起到保護作用，檢測軟件漏洞，提升計算機軟件性能，這是一種常用的計算機軟件安全漏洞檢測技術(shù)，通過該技術(shù)對軟件漏洞進行合理檢測，提高軟件性能，延長軟件的生命周期。

2.2 利用邏輯公式對程序性質(zhì)進行表達

根據(jù)程序的性質(zhì)，對計算機軟件漏洞進行檢測，判斷其中的應(yīng)用能力，邏輯公式能對計算機軟件的性能進行檢測，檢測其的合法性，是否存在軟件漏洞，有的軟件漏洞是需要升級與更新軟件就可以解決的，有的是出現(xiàn)軟件錯誤，必須合理采用措施，解決軟件漏洞問題。其中的公理化方法的邏輯是完整的體系，其中的每個公式都是由單個程序語句和其前后置斷言共同構(gòu)成，具體理論當中只有一條賦值公理，形式演算系統(tǒng)以一階謂詞邏輯為基礎(chǔ)，各自為順序、分支以及循環(huán)指令增加了相應(yīng)的演算法則。公理化方法已經(jīng)被證明具有較強的可靠性和完整性，但匹配的形式演算系統(tǒng)存在半可判定的情況。程序的正確性涉及程序設(shè)計人員利用邏輯公式對程序?qū)?yīng)的功能規(guī)約展開描述，另外一個問題就是要為循環(huán)體確定循環(huán)不變式。邏輯公式的應(yīng)用提高了邏輯判斷能力，在利用語句進行科學判斷，檢測計算機軟件是否存在漏洞，根據(jù)邏輯公式的判斷能力，檢測軟件是否存在漏洞，如果存在漏洞，對其合理的進行修補，解決軟件漏洞問題，提升軟件性能，完善軟件功能。

2.3 測試庫技術(shù)

測試庫技術(shù)是計算機軟件檢測中常用技術(shù)，對解決計算機軟件漏洞起到幫助作用。測試庫技術(shù)是檢測計算機軟件中的核心部件，判斷計算機軟件是否存在漏洞。利用測試庫技術(shù)只能對動態(tài)內(nèi)存操作函數(shù)導致的錯誤進行判定。而且其主要對運行過程中輸入數(shù)據(jù)進行監(jiān)控，發(fā)現(xiàn)其中的弱點。這種檢測并不是從整體上進行判定。這也表明檢測過程只是驗證 BUG 是否被發(fā)現(xiàn)，但是無法證實BUG的存在。使用這項技術(shù)對于普通應(yīng)用程序而言，并不會存在任何兼容問題。使用測試庫技術(shù)的主要優(yōu)勢不存在誤報。從性能上對這個技術(shù)展開分析，其性能消耗較大，從其工作原理很容易能推導出這個結(jié)論。利用測試庫技術(shù)檢測計算機軟件是否存在漏洞，是所有檢測技術(shù)中最科學的，也是最準確的，但其測試有一定難度，對計算機軟件本身也是一種傷害，提高計算機軟件性能，必須合理的利用軟件的檢測技術(shù)，科學的選擇檢測技術(shù)，有目的的進行檢測軟件是否存在漏洞，科學的解決軟件漏洞問題，提高軟件性能。

2.4 源碼改編

利用軟件漏洞檢測技術(shù)，檢測出計算機軟件存在一定漏洞，沒有合理方法進行漏洞修復，就有必要根據(jù)軟件漏洞的階段，去修改程序的源代碼，這種源碼改編技術(shù)，是徹底解決計算機軟件漏洞的最根本方法，該檢測技術(shù)對人員的要求很高，能利用其它技術(shù)檢測出軟件漏洞，能利用源碼改編技術(shù)進行修改，這是計算機軟件檢測技術(shù)的高級階段，是計算機軟件發(fā)展到一定程度的需要，也是社會發(fā)展對計算機軟件技術(shù)提出的新要求。

總之，計算機軟件技術(shù)存在一定漏洞，要解決計算機軟件漏洞，必須利用軟件檢測技術(shù)，及時檢測，發(fā)現(xiàn)問題要及時解決，但在計算機軟件發(fā)展的過程中，計算機軟件肯定存在一定問題，必須科學的合理解決計算機軟件的安全問題，提高對軟件安全認識，增加計算機軟件的應(yīng)用性，符合現(xiàn)代計算機軟件技術(shù)發(fā)展需要。

參考文獻

[1]許躍穎.計算機軟件中安全漏洞檢測技術(shù)及其應(yīng)用[J].電子制作，2016（02）.

[2]顏漢權(quán).基于模糊測試的軟件漏洞檢測方法[J].求知導刊，2015（11）.

[3]高妍.計算機軟件安全漏洞檢測技術(shù)與應(yīng)用[J].計算機光盤軟件與應(yīng)用，2014（04）.

[4]陳斯，盧華.計算機軟件中安全漏洞檢測技術(shù)及其應(yīng)用[J].電子技術(shù)與軟件工程，2016（11）.

[5]王垌堯.計算機軟件安全漏洞檢測技術(shù)與應(yīng)用[J].黑龍江科技信息，2016（09）.

作者簡介

劉璇（1975-），女，遼寧省沈陽市人。大學本科學歷、碩士學位?，F(xiàn)為遼寧現(xiàn)代服務(wù)職業(yè)技術(shù)學院副教授。研究方向為計算機應(yīng)用。

作者單位

遼寧現(xiàn)代服務(wù)職業(yè)技術(shù)學院 遼寧省沈陽市 110164