這篇計算機碩士論文發表了計算機軟件安全漏洞檢測技術研究，論文探討了計算機軟件安全鎖面臨的漏洞，分析了提升計算機軟件性能和網絡安全的有效途徑，并對計算機軟件安全漏洞檢測技術進行了解讀，科學的合理解決計算機軟件的安全問題。

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

　　【關鍵詞】計算機碩士論文,軟件,安全漏洞,檢測技術

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

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

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

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

　　2.1靜態程序解析

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

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

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

　　2.3測試庫技術

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

　　2.4源碼改編

　　利用軟件漏洞檢測技術，檢測出計算機軟件存在一定漏洞，沒有合理方法進行漏洞修復，就有必要根據軟件漏洞的階段，去修改程序的源代碼，這種源碼改編技術，是徹底解決計算機軟件漏洞的最根本方法，該檢測技術對人員的要求很高，能利用其它技術檢測出軟件漏洞，能利用源碼改編技術進行修改，這是計算機軟件檢測技術的高級階段，是計算機軟件發展到一定程度的需要，也是社會發展對計算機軟件技術提出的新要求。總之，計算機軟件技術存在一定漏洞，要解決計算機軟件漏洞，必須利用軟件檢測技術，及時檢測，發現問題要及時解決，但在計算機軟件發展的過程中，計算機軟件肯定存在一定問題，必須科學的合理解決計算機軟件的安全問題，提高對軟件安全認識，增加計算機軟件的應用性，符合現代計算機軟件技術發展需要。

　　參考文獻

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

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

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

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

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

　　作者：劉璇

　　推薦期刊：《微型機與應用》是不是核心期刊呢?之前我們提高查詢核心期刊的方法，通過中國知網的查詢，這本期刊并不是中文核心期刊，而是由華北計算機系統工程研究所主辦的計算機類期刊，期刊在新聞出版總署經過備案，主要刊登國內外信息技術最新成果、在各行業及生活、娛樂中的應用技術。