李彬

摘 要 當(dāng)前，各個(gè)領(lǐng)域和行業(yè)應(yīng)用的計(jì)算機(jī)軟件多種多樣，為人們的生活、工作和娛樂(lè)帶來(lái)極大便利，然而計(jì)算機(jī)軟件在實(shí)際應(yīng)用中往往出現(xiàn)很多問(wèn)題，直接影響了其應(yīng)用效果，所以通過(guò)科學(xué)、合理的安全檢測(cè)技術(shù)，可以及時(shí)發(fā)現(xiàn)計(jì)算機(jī)軟件問(wèn)題，有針對(duì)性地進(jìn)行修復(fù)，提高計(jì)算機(jī)軟件的安全性。本文簡(jiǎn)要介紹了計(jì)算機(jī)軟件安全檢測(cè)，分析了計(jì)算機(jī)軟件安全檢測(cè)注意問(wèn)題，闡述了相關(guān)安全檢測(cè)技術(shù)。

【關(guān)鍵詞】計(jì)算機(jī)軟件 安全檢測(cè)技術(shù)

近年來(lái)，計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)快速發(fā)展，計(jì)算機(jī)軟件被廣泛地應(yīng)用在各個(gè)領(lǐng)域，逐漸發(fā)揮了不可替代的重要作用。然而計(jì)算機(jī)軟件也暴露出很多問(wèn)題，為了確保計(jì)算機(jī)軟件的正常使用性能，選擇最合理的安全檢測(cè)技術(shù)，消除計(jì)算機(jī)軟件安全漏洞。

1 計(jì)算機(jī)軟件安全檢測(cè)概述

在開(kāi)發(fā)設(shè)計(jì)計(jì)算機(jī)軟件過(guò)程中，必須進(jìn)行專業(yè)化的安全檢測(cè)，通過(guò)對(duì)計(jì)算機(jī)軟件進(jìn)行科學(xué)、有效的安全檢測(cè)，可及時(shí)發(fā)現(xiàn)軟件系統(tǒng)潛在的故障或者缺點(diǎn)，有效規(guī)避計(jì)算機(jī)軟件的應(yīng)用風(fēng)險(xiǎn)，但是這種安全檢測(cè)技術(shù)也存在一定的局限性，其不能完全避免計(jì)算機(jī)軟件應(yīng)用程序中的錯(cuò)誤，只是檢測(cè)出應(yīng)用程序的錯(cuò)誤位置。一般情況下，計(jì)算機(jī)軟件安全檢測(cè)包括動(dòng)態(tài)檢測(cè)和靜態(tài)檢測(cè)，其主要用于檢測(cè)軟件系統(tǒng)的安全功能和安全漏洞，使計(jì)算機(jī)軟件應(yīng)用功能達(dá)到預(yù)期設(shè)計(jì)目標(biāo)。同時(shí)，計(jì)算機(jī)軟件安全檢測(cè)包括驗(yàn)證過(guò)程、滲透測(cè)試和功能測(cè)試，和其它檢測(cè)軟件不同，計(jì)算機(jī)軟件安全檢測(cè)技術(shù)側(cè)重于使軟件系統(tǒng)避免在工作范圍外的情況下運(yùn)行，并且利用安全功能檢測(cè)，檢測(cè)軟件系統(tǒng)的使用性能是否滿足用戶需求，重點(diǎn)包括訪問(wèn)控制、安全管理、機(jī)密性、授權(quán)等因素，及時(shí)發(fā)現(xiàn)計(jì)算機(jī)軟件的潛在風(fēng)險(xiǎn)或者可能存在缺陷。

2 計(jì)算機(jī)軟件安全檢測(cè)注意問(wèn)題

計(jì)算機(jī)軟件安全檢測(cè)是一個(gè)動(dòng)態(tài)過(guò)程，在具體安全檢測(cè)過(guò)程中應(yīng)注意以下問(wèn)題：

2.1 軟件系統(tǒng)安全檢測(cè)之前

應(yīng)進(jìn)行全面、科學(xué)的分析，由于計(jì)算機(jī)軟件應(yīng)用程序規(guī)模較大，也比較繁瑣，所以相關(guān)人員應(yīng)仔細(xì)分析軟件系統(tǒng)的需求級(jí)、系統(tǒng)級(jí)和代碼級(jí)，針對(duì)不同級(jí)別的軟件系統(tǒng)，選擇合適的分析技術(shù)，確保軟件系統(tǒng)分析的全面性和準(zhǔn)確性。

2.2 軟件安全檢測(cè)過(guò)程中

選擇合理、有效的檢測(cè)方案，充分了解計(jì)算機(jī)軟件系統(tǒng)的應(yīng)用特點(diǎn)和運(yùn)行要求，結(jié)合具體的測(cè)試情況，采用科學(xué)的安全檢測(cè)方法，保障有效地實(shí)施安全檢測(cè)方案。

2.3 檢測(cè)人員應(yīng)具備豐富的經(jīng)驗(yàn)和相關(guān)專業(yè)知識(shí)

熟練掌握軟件系統(tǒng)的使用性能和應(yīng)用特點(diǎn)，使專業(yè)技術(shù)人員和檢測(cè)人員加強(qiáng)溝通配合，使計(jì)算機(jī)軟件系統(tǒng)達(dá)到理想的安全效果。由于計(jì)算機(jī)軟件安全檢測(cè)是一個(gè)非常復(fù)雜的過(guò)程，為了提高檢測(cè)的準(zhǔn)確性，應(yīng)結(jié)合不同計(jì)算機(jī)軟件系統(tǒng)使用性能和應(yīng)用特點(diǎn)，選擇合理、科學(xué)的檢測(cè)方法和檢測(cè)技術(shù)。

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

3.1 語(yǔ)法檢測(cè)技術(shù)

語(yǔ)法檢測(cè)技術(shù)主要是根據(jù)語(yǔ)法規(guī)律，測(cè)試計(jì)算機(jī)軟件系統(tǒng)功能接口的應(yīng)用功能，在不同輸入條件下，計(jì)算機(jī)軟件系統(tǒng)會(huì)發(fā)生不同反應(yīng)。通常情況下，語(yǔ)法檢測(cè)技術(shù)主要用于檢測(cè)軟件源程序代碼中存在潛在危險(xiǎn)的系統(tǒng)調(diào)用或者C語(yǔ)言庫(kù)函數(shù)，通過(guò)識(shí)別軟件接口語(yǔ)言，基于語(yǔ)法特點(diǎn)，重新定義語(yǔ)言語(yǔ)法，并且執(zhí)行計(jì)算機(jī)軟件的安全檢測(cè)。

3.2 動(dòng)態(tài)檢測(cè)技術(shù)

動(dòng)態(tài)檢測(cè)技術(shù)主要是科學(xué)分析計(jì)算機(jī)軟件系統(tǒng)運(yùn)行變量，如環(huán)境變量、內(nèi)存、棧、堆等，從而檢測(cè)計(jì)算機(jī)軟件應(yīng)用程序是否存在風(fēng)險(xiǎn)或者漏洞。動(dòng)態(tài)檢測(cè)技術(shù)在實(shí)際應(yīng)用中，不需要修改軟件系統(tǒng)的二進(jìn)制代碼和源代碼，在很大程度上保障了計(jì)算機(jī)軟件的安全性和保密性。目前，常見(jiàn)的動(dòng)態(tài)檢測(cè)技術(shù)主要包括非執(zhí)行棧技術(shù)、非執(zhí)行數(shù)據(jù)和堆技術(shù)、內(nèi)存映射技術(shù)、安全共享庫(kù)技術(shù)、程序解釋技術(shù)等。

3.3 靜態(tài)檢測(cè)技術(shù)

靜態(tài)檢測(cè)技術(shù)主要是通過(guò)檢測(cè)計(jì)算機(jī)軟件程序代碼的特性和結(jié)構(gòu)，發(fā)現(xiàn)軟件系統(tǒng)的潛在故障或者問(wèn)題，其利用軟件行為和結(jié)構(gòu)建模構(gòu)建計(jì)算機(jī)軟件測(cè)試模型，實(shí)現(xiàn)軟件測(cè)試模型的擴(kuò)展性和可讀性，這種軟件模型安全檢測(cè)技術(shù)主要是基于一組生成測(cè)試模型，并且通過(guò)這組模式來(lái)測(cè)試計(jì)算機(jī)軟件應(yīng)用程序，獲得相關(guān)憑證說(shuō)明模型期望和軟件系統(tǒng)行為是一致的。在計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)快速發(fā)展背景下，靜態(tài)檢測(cè)技術(shù)主要包括類型推導(dǎo)技術(shù)、規(guī)則檢查技術(shù)和詞法分析技術(shù)，并且在有限狀態(tài)下，利用馬爾科夫鎖鏈，這種安全檢測(cè)技術(shù)具有較強(qiáng)的適用性。

3.4 混合檢測(cè)技術(shù)

混合檢測(cè)技術(shù)是一種動(dòng)態(tài)檢測(cè)和靜態(tài)檢測(cè)相結(jié)合的技術(shù)，其發(fā)揮了動(dòng)態(tài)檢測(cè)和靜態(tài)檢測(cè)的應(yīng)用優(yōu)勢(shì)，在計(jì)算機(jī)軟件安全檢測(cè)方面具有重要作用。常見(jiàn)混合檢測(cè)技術(shù)主要包括異常檢測(cè)技術(shù)、規(guī)范檢測(cè)技術(shù)、棧保護(hù)編譯技術(shù)、二進(jìn)制代碼改編技術(shù)、測(cè)試庫(kù)技術(shù)等，這些技術(shù)在檢測(cè)計(jì)算機(jī)軟件系統(tǒng)時(shí)，為軟件系統(tǒng)故障或者漏洞檢測(cè)提供便利，有效提高計(jì)算機(jī)軟件檢測(cè)的安全性和準(zhǔn)確性。

3.5 基于Web服務(wù)安全檢測(cè)技術(shù)

近年來(lái)，Web技術(shù)應(yīng)用范圍越來(lái)越廣泛，并且在快速發(fā)展的背景下，基于Web服務(wù)安全檢測(cè)技術(shù)也不斷發(fā)展，這種檢測(cè)技術(shù)以分布式Web服務(wù)器為基礎(chǔ)，其在實(shí)際應(yīng)用中具有互操作性強(qiáng)、不依賴平臺(tái)、語(yǔ)言中立、松散耦合等優(yōu)點(diǎn)，其可以將計(jì)算機(jī)軟件復(fù)雜的使用性能劃分為若干個(gè)安全處理類型，其能夠快速地適應(yīng)一些復(fù)雜的計(jì)算機(jī)軟件性能測(cè)試，并且利用故障注入機(jī)制，在檢測(cè)計(jì)算機(jī)軟件系統(tǒng)時(shí)生成錯(cuò)誤soap信息，支持軟件系統(tǒng)異常測(cè)試。根據(jù)多年的實(shí)踐，這種基于Web服務(wù)安全檢測(cè)技術(shù)具有先進(jìn)性、高效性、靈活性等特點(diǎn)，并且其可以準(zhǔn)確測(cè)試計(jì)算機(jī)軟件系統(tǒng)的安全性、可靠性和容錯(cuò)性。

4 結(jié)束語(yǔ)

隨著現(xiàn)代化科學(xué)技術(shù)的快速發(fā)展，計(jì)算機(jī)軟件已經(jīng)成為人們生產(chǎn)生活和工作的重要工具，與此同時(shí)，人們對(duì)于計(jì)算機(jī)軟件系統(tǒng)使用要求也不斷提高。安全性是評(píng)價(jià)一款計(jì)算機(jī)軟件系統(tǒng)的重要指標(biāo)，通過(guò)專業(yè)化、系統(tǒng)化的安全檢測(cè)，可以及時(shí)發(fā)現(xiàn)計(jì)算機(jī)軟件系統(tǒng)的潛在隱患或者問(wèn)題，為軟件優(yōu)化提供重要參考，在這種背景下，應(yīng)加大對(duì)計(jì)算機(jī)軟件安全檢測(cè)的技術(shù)分析和研究，選擇最合理的檢測(cè)方法，不斷提高軟件檢測(cè)的準(zhǔn)確性。

參考文獻(xiàn)

[1]賈杰.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)研究[J].計(jì)算機(jī)光盤軟件與應(yīng)用，2012（05）：204+189.

[2]高婷.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)研究[J].計(jì)算機(jī)光盤軟件與應(yīng)用，2012（17）：73-74.

[3]王爽.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)研究[J].信息與電腦（理論版），2011（11）：52+54.

[4]劉志建.芻議計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的應(yīng)用[J].計(jì)算機(jī)光盤軟件與應(yīng)用，2013（02）：13-15.

作者單位

廣州通導(dǎo)信息技術(shù)服務(wù)有限公司 廣東省廣州市 510663