高偉　黃敦坤

摘要：隨著科學(xué)技術(shù)的不斷進(jìn)步和發(fā)展，計(jì)算機(jī)軟件已經(jīng)廣泛的應(yīng)用到了人們的日常生活和工作之中，給整個(gè)社會(huì)的進(jìn)步和人類的發(fā)展都帶來(lái)了巨大的影響作用，而人們也將關(guān)注的重點(diǎn)放在了計(jì)算機(jī)軟件的安全之上。因此，本文針對(duì)計(jì)算機(jī)軟件的安全檢測(cè)方法進(jìn)行了深入的探究和分析，從計(jì)算機(jī)軟件安全檢測(cè)的定義入手，交代了在檢測(cè)過(guò)程中需要注意的問(wèn)題及安全檢測(cè)的方法，為日后相關(guān)研究工作的開展，提供了一定的理論基礎(chǔ)和科學(xué)依據(jù)。

關(guān)鍵詞：計(jì)算機(jī) 軟件 安全檢測(cè) 方法

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

在軟件開發(fā)的過(guò)程中，計(jì)算機(jī)軟件的安全檢測(cè)是一個(gè)重要的組成部分，而對(duì)計(jì)算機(jī)軟件實(shí)施安全檢測(cè)的最終目的，就是要對(duì)軟件中所存在的故障進(jìn)行檢測(cè)和執(zhí)行從，而有效的對(duì)計(jì)算機(jī)可能存在的風(fēng)險(xiǎn)進(jìn)行控制。開展計(jì)算機(jī)軟件安全檢測(cè)的最主要的目標(biāo)，就是通過(guò)一定的測(cè)試來(lái)對(duì)軟件的覆蓋進(jìn)行實(shí)施，從而保障軟件的問(wèn)題能夠在第一時(shí)間內(nèi)得到發(fā)現(xiàn)。對(duì)于計(jì)算機(jī)安全檢測(cè)來(lái)說(shuō)，它的存在不能對(duì)程序中的錯(cuò)誤進(jìn)行及時(shí)的更改，只是可以對(duì)錯(cuò)誤進(jìn)行查找，計(jì)算機(jī)軟件的安全檢測(cè)，目前主要可以將檢測(cè)方法分為動(dòng)態(tài)和靜態(tài)兩種類型。

計(jì)算機(jī)軟件的安全檢測(cè)，指的是來(lái)對(duì)軟件的安全進(jìn)行確定以及確定軟件是否能達(dá)到設(shè)計(jì)過(guò)程中所提出的預(yù)期目標(biāo)進(jìn)行測(cè)試。在整個(gè)過(guò)程中主要分為三個(gè)部分，分別是功能測(cè)試，滲透測(cè)試以及驗(yàn)證。同軟件的問(wèn)題，相比計(jì)算機(jī)軟件安全檢測(cè)的安全有一定的差異，軟件安全檢測(cè)過(guò)程中是以軟件應(yīng)該做和不應(yīng)該做的內(nèi)容為重點(diǎn)強(qiáng)調(diào)對(duì)象，而安全檢測(cè)也分為了兩個(gè)方面的檢測(cè)方向，分別是安全工程和安全漏洞的檢測(cè)。安全功能檢測(cè)指的是對(duì)計(jì)算機(jī)軟件的功能和安全需求之間的一致性進(jìn)行檢測(cè)。安全功能，涉及到的內(nèi)容十分廣泛，它不僅包括了計(jì)算機(jī)的機(jī)密性，同時(shí)也包含了計(jì)算機(jī)的安全管理。而計(jì)算機(jī)軟件的安全漏洞則有著明顯的差異，它主要是對(duì)軟件中可能存在的問(wèn)題進(jìn)行檢測(cè)。

二、計(jì)算機(jī)軟件安全檢測(cè)需要注意的問(wèn)題

（一）選擇適合的檢測(cè)技術(shù)。在選擇檢測(cè)技術(shù)的過(guò)程中，一定要結(jié)合被檢測(cè)計(jì)算機(jī)軟件的特征和要求，通過(guò)合理的分析之后，才能確定最為合適的檢測(cè)技術(shù)，并從實(shí)際情況出發(fā)來(lái)制定合理的檢測(cè)計(jì)劃。除此之外，計(jì)算機(jī)軟件安全檢測(cè)工作開展的過(guò)程中，也應(yīng)該強(qiáng)調(diào)檢測(cè)人員的工作素質(zhì)，不僅僅要配備專門的軟件安全分析人員，同時(shí)也應(yīng)該動(dòng)員參與計(jì)算機(jī)軟件設(shè)計(jì)的人員參與到安全檢測(cè)的工作之中，如此才可以保障對(duì)計(jì)算機(jī)軟件展開最為全面的檢測(cè)工作。

（二）做好升級(jí)工作。在對(duì)計(jì)算機(jī)軟件進(jìn)行安全檢測(cè)的過(guò)程中，一定要對(duì)一些代碼進(jìn)行系統(tǒng)性的升級(jí)，如果軟件的規(guī)模較大，同時(shí)也應(yīng)該對(duì)它的軟件結(jié)構(gòu)設(shè)計(jì)進(jìn)行分析，在實(shí)際的過(guò)程中應(yīng)該要確定最為合理的技術(shù)?？梢酝ㄟ^(guò)相應(yīng)的分析工具來(lái)輔助檢測(cè)工作的開展。對(duì)于軟件系統(tǒng)的安全檢測(cè)來(lái)說(shuō)，它的本質(zhì)就是一個(gè)系統(tǒng)化的過(guò)程，沒(méi)有辦法通過(guò)單一的手段來(lái)開展全面的檢測(cè)，因此，在實(shí)際操作的過(guò)程中，必須要做好相應(yīng)的升級(jí)工作，同時(shí)也要確定一個(gè)最為合理的檢測(cè)方法。

三、計(jì)算機(jī)軟件安全檢測(cè)方法

（一）計(jì)算機(jī)軟件安全監(jiān)測(cè)的步驟。模塊測(cè)試是計(jì)算機(jī)軟件安全檢測(cè)中最為常見的一個(gè)步驟，模塊測(cè)試也可以稱為單元測(cè)試，它是軟件設(shè)計(jì)中最小單位的安全檢測(cè)。開展模塊檢測(cè)工作的最終目的，就是對(duì)系統(tǒng)中每一個(gè)模塊中可能存在的風(fēng)險(xiǎn)進(jìn)行測(cè)試，并在單元測(cè)試的基礎(chǔ)之上對(duì)所有的模塊和程序所組成的系統(tǒng)結(jié)構(gòu)，展開相應(yīng)的安全檢測(cè)工作。以安全檢測(cè)程序?yàn)榛A(chǔ)，開展相應(yīng)的有效性測(cè)試，有效性測(cè)試，可以對(duì)軟件的功能和性能進(jìn)行檢測(cè)，保障軟件的功能能夠與用戶所提出的需求相吻合。最后一步是系統(tǒng)的測(cè)試系統(tǒng)的測(cè)試，指的是通過(guò)對(duì)有效軟件的檢測(cè)，以及計(jì)算機(jī)硬件和其他軟件的支持，將這些內(nèi)容結(jié)合起來(lái)統(tǒng)一進(jìn)行測(cè)試。

（二）計(jì)算機(jī)軟件安全檢測(cè)的主要方法。我們將計(jì)算機(jī)軟件安全檢測(cè)的主要方法分為了四種，分別是：

第一，是形式化的安全測(cè)試。形式化安全檢測(cè)的方法是通過(guò)軟件的數(shù)學(xué)模型，和一些形式的規(guī)格語(yǔ)言說(shuō)明的知識(shí)，來(lái)為形式化安全檢測(cè)的開展奠定基礎(chǔ)。一些常用的規(guī)格語(yǔ)言是模型的語(yǔ)言和一些行為的語(yǔ)言。在形式化安全測(cè)試中，可以分為有定理證明和模型檢測(cè)兩種類型。

第二，是以模型為基礎(chǔ)的安全功能測(cè)試。這種測(cè)試的方法主要是對(duì)計(jì)算機(jī)軟件所產(chǎn)生的行為，來(lái)通過(guò)構(gòu)建模型的方式進(jìn)行檢測(cè)，以生成的模型為基礎(chǔ)，進(jìn)而對(duì)驅(qū)動(dòng)軟件的安全進(jìn)行檢測(cè)。常見的模型檢測(cè)方法有有限狀態(tài)機(jī)和馬爾可夫鏈。

第三，是語(yǔ)法測(cè)試。語(yǔ)法測(cè)試是通過(guò)被檢測(cè)軟件功能接口所產(chǎn)生的語(yǔ)法軟件來(lái)進(jìn)行輸入的測(cè)試。通過(guò)這種方式可以對(duì)種類不同的輸入進(jìn)行一定的反應(yīng)。而且通過(guò)這種方法，也可以對(duì)軟件的語(yǔ)言進(jìn)行區(qū)別。從而對(duì)語(yǔ)言的語(yǔ)法進(jìn)行定義，是一種以語(yǔ)法為基礎(chǔ)的安全測(cè)試方法。

第四，是屬性的測(cè)試。在屬性測(cè)試方法開始之前，要對(duì)軟件的編程規(guī)則進(jìn)行確定，以確定的規(guī)則編碼作為屬性安全檢測(cè)的代碼，從而判斷這些編程是否符合規(guī)定的要求。屬性的測(cè)試這種方法可以對(duì)軟件中的安全漏洞進(jìn)行及時(shí)的查找。

四、結(jié)束語(yǔ)

在整個(gè)計(jì)算機(jī)安全系統(tǒng)中，軟件安全檢測(cè)是一個(gè)重要的組成部分。如今我國(guó)隨著信息技術(shù)的不斷進(jìn)步和發(fā)展，我國(guó)已經(jīng)正式的進(jìn)入到了信息化的時(shí)代當(dāng)中，信息技術(shù)也已經(jīng)廣泛的應(yīng)用到了人們的日常生活和工作之中，成為了推動(dòng)社會(huì)進(jìn)步和人類發(fā)展的一個(gè)主要工具。在如此的前提之下。計(jì)算機(jī)軟件的安全檢測(cè)就發(fā)揮著重要的作用和意義，通過(guò)對(duì)軟件進(jìn)行安全檢測(cè)，不僅可以保障計(jì)算機(jī)軟件朝著健康綠色的方向發(fā)展，同時(shí)也可以滿足時(shí)代進(jìn)步所提出的要求。因此，我們必須要針對(duì)計(jì)算機(jī)安全檢測(cè)的方法進(jìn)行研究的加強(qiáng)，從而為我國(guó)日后科技的可持續(xù)發(fā)展奠定基礎(chǔ)。