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

【關鍵詞】軟件 安全漏洞 檢測技術

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

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

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

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

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

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

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

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

2.3 測試庫技術

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

2.4 源碼改編

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

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

參考文獻

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

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

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

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

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

作者簡介

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

作者單位

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