趙香會

（常州信息職業(yè)技術學院軟件學院 江蘇 常州 213164）

關于計算機軟件安全檢測技術和系統(tǒng)安全分析

趙香會

（常州信息職業(yè)技術學院軟件學院 江蘇 常州 213164）

隨著計算機的應用與普及，已經(jīng)成為當前社會的重要組成部分，無論在生活還是工作中都離不開計算機的應用，而計算機軟件在應用中的安全也成為人們關注的重要話題。計算機軟件安全檢測技術的應用有效的提高了計算機的安全性能，同時解決了實際應用中遇到的各種問題。本文從計算機安全檢測技術對計算機系統(tǒng)安全的重要意義進行了分析以及在實際應用中遇到的問題進行了闡述。

計算機；安全檢測；系統(tǒng)安全

1 計算機軟件安全檢測技術在計算機應用中的意義

軟件的優(yōu)劣在計算機的整體應用中占據(jù)重要部分，然而軟件安全才是其在應用過程中的根本，因此檢測軟件安全就成為軟件開發(fā)中的重中之重。其特點就是及時發(fā)現(xiàn)軟件在運行過程中的產(chǎn)生的故障和不正常狀態(tài)，并有效的解決這些問題。當然軟件檢測技術并不能絕對的杜絕所有的軟件問題，它只是一種重要的檢測手段，在實際應用的過程中會遇到一些檢測軟件解決不了的問題，這時就需要根據(jù)故障的類型以及產(chǎn)生的問題就行相應的應急處置。

2 計算機軟件安全檢測中的問題

2.1 軟件在實際檢測過程中的科學性

在軟件開發(fā)的過程中，設計人員要根據(jù)軟件的特性進行合理的設計方案。這就需要對軟件進行深入全面的了解，并根據(jù)科學的邏輯，準確的分析，完成軟件的開發(fā)。以保證在軟件使用過程中遇到各種各樣的復雜問題時都能行之有效的進行處理或預防。計算機軟件的更新?lián)Q代是日新月異的，這就要求軟件開發(fā)技術人員需要不斷就行技術創(chuàng)新，要創(chuàng)新就要先積累，也就是不斷的學習新的軟件專業(yè)知識來不斷的充實自己，才能更好的解決在檢測軟件開發(fā)過程中遇到的各類問題，保證計算機軟件檢測系統(tǒng)的科學性。

2.2 計算機軟件安全檢測重視程度不足

在計算機軟件檢測系統(tǒng)的實際應用中，檢測技術人員要特別注重其分析工作。通過技術人員對軟件構建原理，軟件性能，以及軟件在實際應用中遇到那些實際問題進行全面的歸類和系統(tǒng)的分析，并進行不斷的改進，才能使軟件的性能不斷優(yōu)化。分析工作是檢測軟件在實際應，用過程中的重要組成部分，尤其是軟件在檢測過程中及時的發(fā)現(xiàn)各類問題并及時的進行科學的研究分析。只有通過這樣不斷的發(fā)現(xiàn)問題，分析問題，最后到解決問題，才能使軟件性能得到不斷的提高，從而在實際運用過程中起到對計算機軟件更好的安全保護作用。

3 計算機軟件安全檢測技術和系統(tǒng)安全分析

計算機軟件的漏洞有很多類型，其中包括操作系統(tǒng)中的漏洞以及應用軟件中的漏洞。當前的計算機操作系統(tǒng)大部分是windows系統(tǒng)，在整個操作系統(tǒng)中占有很大的份額，所以windows系統(tǒng)自帶的漏洞已經(jīng)被微軟公司自己解決了。而我們需要做的就是解決安全軟件存在的漏洞。當前在計算機檢測技術根據(jù)監(jiān)測方法的不同分為靜態(tài)檢測和動態(tài)監(jiān)測技術兩種。

3.1 計算機軟件安全的靜態(tài)檢測技術

靜態(tài)檢測技術是指在程序檢測的過程中由人工模擬運行，對程序的編碼和源代碼就行逐項檢查分析，從而找出漏洞。靜態(tài)檢測技術的方法是通過檢查掃描被檢測程序的源代碼和編碼進行分析得出被檢測程序的異常狀態(tài)和錯誤情況。具體是根據(jù)語法的邏輯性是否符合實際，語義的表達準確與否來確定漏洞。軟件安全靜態(tài)檢測技術在實際應用中具有一定的優(yōu)勢，操作簡單，便捷。有經(jīng)驗的人員通過檢測技術對相關系統(tǒng)和程序進行相對應的掃描和檢測，可以有效的提高檢測效率。相比較動態(tài)監(jiān)測而言其可操作性具有很大的優(yōu)勢。

3.2 計算機軟件安全的動態(tài)監(jiān)測技術

計算機動態(tài)監(jiān)測技術與靜態(tài)檢測技術的區(qū)別還是很大的，動態(tài)檢測技術不像靜態(tài)檢測那樣需要掃描二進制代碼和源代碼。它是檢測方式是通過相應的技術手段對程序在運行期間的漏洞進行檢測。對計算機中各種軟件的運行環(huán)境進行檢測分析是計算機軟件動態(tài)檢測技術的主要方式。其檢測的方式的特性是增加保密性，把這種技術應用到計算機軟件安全檢測當中，從而實現(xiàn)計算機安全穩(wěn)定運行的最終目的。

上述兩種檢測方法還可以分類出很多其他的技術，目前應用比較廣泛的包括以下幾種：形式化安全檢測技術，通過先確立軟件的數(shù)學模型，在規(guī)格形式語言的支持前提下，進行形式化規(guī)格的說明是為形式化安全檢測技術。語法檢測技術，語法檢測技術是以語法為前提基礎，作為靜態(tài)檢測最早出現(xiàn)的檢測方式，通過檢測軟件功能接口與語法生成軟件進行相關測試的技術。根據(jù)不同的輸入條件，被檢測的軟件可能產(chǎn)生各種各樣的反映，能對計算機接口處的語言進行有效的識別，以達到軟件安全檢測的目的。模型檢測技術，根據(jù)計算機軟件的行為和結構，建立的功能模型使其具備安全測試功能，從而對計算機軟件進行安全檢測。模糊檢測技術，在傳統(tǒng)的模糊技術和動態(tài)檢測技術之后發(fā)展出來的模糊檢測技術是一種效率非常高的安全檢測方法。模糊檢測方法的優(yōu)勢和特點是檢測比較簡單，檢測成本相對較低，自動化程度較高。綜合以上優(yōu)勢，模糊檢測技術得到了相對比較廣發(fā)的應用。

4 結語

隨著科技的告訴發(fā)展，計算機的應用會越來越廣泛，創(chuàng)新已經(jīng)成為當今時代主題。保證軟件安全的傳統(tǒng)技術當然也在創(chuàng)新之列，軟件的不斷更新?lián)Q代促使計算機軟件安全檢測技術也會不斷的更新?lián)Q代、我們要站在技術的高度走在別人的前面不斷的通過學習，創(chuàng)新去完善軟件檢測技術，以適應高速發(fā)展的科技時代。

[1]顧建豐.計算機軟件安全檢測技術[J/OL].電子技術與軟件工程，2017，(19)：196.

[2]洪霞，余素珍.計算機軟件安全檢測技術探析[J].科技創(chuàng)新與應用，2016，(19)：83.

[3]賈杰.計算機軟件安全檢測技術研究[J].計算機光盤軟件與應用，2012，(05):204+189.

TP311.53 【文獻標識碼】A 【文章編號】1009-5624（2018）02-0073-02

趙香會（1980-），女，漢族，陜西長安人，常州信息職業(yè)技術學院軟件學院 理學碩士，講師，從事計算機軟件方面的研究。