計(jì)算機(jī)軟件安全檢測技術(shù)分析論文
摘要：近年來，我國的科技一直在快速發(fā)展，而計(jì)算機(jī)技術(shù)也實(shí)現(xiàn)了不斷的發(fā)展。在計(jì)算機(jī)中，軟件和硬件是確保計(jì)算機(jī)有效運(yùn)行的重要部分，且計(jì)算機(jī)軟件的安全直接決定著計(jì)算機(jī)性能的安全。所以，為了確保計(jì)算機(jī)網(wǎng)絡(luò)在安全的環(huán)境下持續(xù)發(fā)展，一定要加強(qiáng)計(jì)算機(jī)軟件的安全，基于此，本文對計(jì)算機(jī)軟件安全檢測技術(shù)進(jìn)行了詳細(xì)的研究。
【關(guān)鍵詞】計(jì)算機(jī)；軟件安全；檢測技術(shù)
隨著計(jì)算機(jī)的逐漸普及，使軟件的種類也表現(xiàn)出了多樣化的狀態(tài)。在眾多的軟件中，有一部分是商用軟件，一部分是個(gè)人使用的軟件，有了這些軟件的支持，在提升人們生活質(zhì)量方面有著非常重要的意義，而且也起到了促進(jìn)企業(yè)發(fā)展的作用。計(jì)算機(jī)軟件中的安全問題是目前在應(yīng)用過程中面臨的最嚴(yán)重的問題，為了對計(jì)算機(jī)用戶的信息安全進(jìn)行保證，一定要加強(qiáng)計(jì)算機(jī)軟件的安全性。而安全檢測技術(shù)的應(yīng)用能夠在一定程度上加強(qiáng)計(jì)算機(jī)軟件的安全性，因此，本文對計(jì)算機(jī)軟件安全檢測技術(shù)進(jìn)行了詳細(xì)的分析和研究。
1計(jì)算機(jī)軟件安全檢測的重要性
對于計(jì)算機(jī)的運(yùn)行來說，計(jì)算機(jī)軟件安全起著非常重要的作用，它直接影響著計(jì)算機(jī)是否能夠安全運(yùn)行，所以，為了確保計(jì)算機(jī)在安全的環(huán)境下順利運(yùn)行，一定要對計(jì)算機(jī)軟件進(jìn)行安全檢測，按照一定的標(biāo)準(zhǔn)評價(jià)計(jì)算機(jī)軟件的安全性。如果檢測結(jié)果在標(biāo)準(zhǔn)的范圍內(nèi)，才認(rèn)為符合運(yùn)行要求，計(jì)算機(jī)軟件才能正式投入使用。其實(shí)，計(jì)算機(jī)軟件安全檢測就是對軟件中的風(fēng)險(xiǎn)進(jìn)行預(yù)防和處理，而計(jì)算機(jī)軟件的安全問題和其他軟件的安全問題存在著本質(zhì)上的區(qū)別，如果普通的軟件存在安全問題只會影響用戶的體驗(yàn)，但是如果是計(jì)算機(jī)軟件存在安全方面的問題，就有可能會使整個(gè)系統(tǒng)出現(xiàn)崩潰的現(xiàn)象。所以說，計(jì)算機(jī)軟件的安全檢測工作對提高計(jì)算機(jī)的性能具有非常重要的意義，一定要對其引起重視。
2計(jì)算機(jī)軟件安全檢測流程和技術(shù)
2.1檢測流程分析
在計(jì)算機(jī)軟件的安全檢測過程中，一些規(guī)模比較大的計(jì)算機(jī)軟件系統(tǒng)包括了很多個(gè)子系統(tǒng)，而不同的子系統(tǒng)中也有很多個(gè)不同的模塊。通常來說，計(jì)算機(jī)軟件安全檢測的流程大致為：模塊檢測—系統(tǒng)組裝—系統(tǒng)結(jié)構(gòu)的安全檢測—軟件功能以及性能的檢測—系統(tǒng)測試。其中模塊檢測是指對子系統(tǒng)中最小單位的模塊檢測，主要是為了實(shí)現(xiàn)檢測范圍的系統(tǒng)化、全面化等，進(jìn)而在第一時(shí)間找到小模塊中存在的風(fēng)險(xiǎn)。在檢測完每個(gè)模塊之后，要按照軟件程序的相應(yīng)需求進(jìn)行模塊組裝，使其成為一個(gè)完整的系統(tǒng)，之后還要對組裝完成的系統(tǒng)結(jié)構(gòu)進(jìn)行安全檢測。在確保上述檢驗(yàn)報(bào)告合格的同時(shí)，還要對軟件的功能以及性能進(jìn)行檢測，主要是為了實(shí)現(xiàn)用戶需求和軟件功能、性能的一致性。計(jì)算機(jī)軟件安全檢測的最后一步是對整個(gè)系統(tǒng)進(jìn)行測試，從而確保計(jì)算機(jī)軟件的安全性。
2.2計(jì)算機(jī)軟件安全檢測技術(shù)
2.2.1語法檢測技術(shù)語法檢測技術(shù)就是一種語法測試，如果輸入的條件存在差異，那么出現(xiàn)的反應(yīng)也會不同，主要是在被檢測軟件的功能接口形成一種軟件，之后采取輸入的步驟完成檢測。該項(xiàng)技術(shù)在計(jì)算機(jī)軟件安全檢測中起著非常重要的作用，其主要的步驟為：首先，在計(jì)算機(jī)軟件功能接口語言的基礎(chǔ)上生成軟件測試輸入，之后檢驗(yàn)輸入計(jì)算機(jī)中各種語言的實(shí)際情況，最后進(jìn)行計(jì)算機(jī)軟件接口處語言和語法的識別，并且進(jìn)行定義，完成計(jì)算機(jī)軟件的安全檢測。
2.2.2模型式檢測技術(shù)模型式檢測技術(shù)是在計(jì)算機(jī)軟件的結(jié)構(gòu)和行為基礎(chǔ)上形成的，創(chuàng)建了具有安全檢測功能的模型，對計(jì)算機(jī)軟件進(jìn)行了全面的安全檢測。主要的步驟為：要先對被檢測軟件的輸入和輸出過程進(jìn)行分析，清楚軟件內(nèi)部的數(shù)據(jù)交換和計(jì)算過程，之后選擇與軟件相適合的結(jié)構(gòu)模型，形成檢測的案例，最后通過人工檢測，查看是否存在安全方面的問題。
2.2.3故障注入式的檢測技術(shù)故障注入式檢測技術(shù)是在白盒模糊檢測的基礎(chǔ)上形成的，而且在一定程度上將傳統(tǒng)檢測技術(shù)和動態(tài)監(jiān)測技術(shù)結(jié)合在了一起，實(shí)際上是對傳統(tǒng)檢測技術(shù)的一種更新。工作人員應(yīng)該認(rèn)真選擇故障模型，之后創(chuàng)建相應(yīng)的故障樹，通過反復(fù)檢測之后，得到具體的反饋信息，從而對故障進(jìn)行安全性的檢測。雖然該種檢測技術(shù)是一種比較簡單的技術(shù)，但是還是能將計(jì)算機(jī)軟件程序中的重要問題顯示出來，是計(jì)算機(jī)軟件安全檢測技術(shù)中非常重要的一部分，能夠促進(jìn)計(jì)算機(jī)軟件安全檢測的持續(xù)發(fā)展。
2.2.4形式化的安全檢測技術(shù)在計(jì)算機(jī)軟件安全檢測中應(yīng)用形式化的安全檢測技術(shù)時(shí)，應(yīng)該先進(jìn)行軟件數(shù)學(xué)模型的建立，在形式規(guī)格語言的基礎(chǔ)上對形式化的規(guī)格進(jìn)行說明。在現(xiàn)在的計(jì)算機(jī)軟件安全檢測中，經(jīng)常使用的形式化規(guī)格語言包括行為語言、有限狀態(tài)語言以及模糊語言等。從具體的檢測方法角度出發(fā)，形式化安全檢測技術(shù)包括模型檢測和定理證明。實(shí)際上，形式化安全檢測技術(shù)就是利用數(shù)學(xué)模型來進(jìn)行系統(tǒng)證明，我們誰都不敢保證系統(tǒng)中沒有存在任何問題，所以說，該項(xiàng)技術(shù)能夠確保保密設(shè)備的安全性。
3計(jì)算機(jī)軟件安全檢測的注意事項(xiàng)
在進(jìn)行計(jì)算機(jī)軟件安全檢測時(shí)，要充分關(guān)注以下幾點(diǎn)：首先，進(jìn)行計(jì)算機(jī)軟件的安全檢測就是要檢測軟件的動態(tài)過程，進(jìn)而確保軟件在應(yīng)用過程中的安全性。而且在進(jìn)行計(jì)算機(jī)軟件的安全檢測時(shí)，要對軟件的需求進(jìn)行詳細(xì)分析，其中最主要的是分析計(jì)算機(jī)軟件的需求以及性能。一般情況下，計(jì)算機(jī)軟件的程序可能會比較復(fù)雜，而且規(guī)模也相對來說比較大，因此技術(shù)人員在檢測過程中要對系統(tǒng)級和代碼級進(jìn)行認(rèn)真的分析，從而加強(qiáng)檢測結(jié)果的準(zhǔn)確性，確保計(jì)算機(jī)軟件運(yùn)行的安全性；其次，在進(jìn)行計(jì)算機(jī)軟件安全檢測時(shí)，還要確保實(shí)施方案的合理性，主要體現(xiàn)在在進(jìn)行計(jì)算機(jī)軟件安全檢測之前，要充分掌握軟件檢測的特點(diǎn)以及要求，并且利用正確的檢測方式進(jìn)行計(jì)算機(jī)軟件的安全檢測。另外，還要提高檢測人員的專業(yè)素質(zhì)，對軟件安全檢測中的問題能夠及時(shí)解決，從而確保計(jì)算機(jī)軟件安全檢測的效率。
4結(jié)束語
綜上所述，計(jì)算機(jī)軟件安全檢測是一個(gè)系統(tǒng)性比較強(qiáng)的工作，而且檢測的內(nèi)容非常復(fù)雜、檢測程序也比較嚴(yán)格。隨著計(jì)算機(jī)技術(shù)的不斷發(fā)展，計(jì)算機(jī)軟件安全方面的問題也經(jīng)常發(fā)生，因此，計(jì)算機(jī)軟件的相關(guān)人員一定要用科學(xué)合理的眼光來看待軟件安全方面的問題，積極提升技術(shù)水平。在實(shí)際的工程中不斷實(shí)踐，從而確保計(jì)算機(jī)軟件在安全的環(huán)境下運(yùn)行。
【計(jì)算機(jī)軟件安全檢測技術(shù)分析論文】相關(guān)文章：
談計(jì)算機(jī)軟件的安全檢測技術(shù)論文07-04
計(jì)算機(jī)軟件安全檢測技術(shù)研究論文07-04
計(jì)算機(jī)軟件安全檢測技術(shù)簡析論文07-04
簡要分析計(jì)算機(jī)軟件中安全漏洞檢測技術(shù)及其應(yīng)用論文07-03
淺談計(jì)算機(jī)軟件安全漏洞檢測技術(shù)論文07-04
安全漏洞檢測技術(shù)在計(jì)算機(jī)軟件中的合理應(yīng)用論文07-04
計(jì)算機(jī)軟件開發(fā)技術(shù)的應(yīng)用分析論文07-04
計(jì)算機(jī)軟件技術(shù)開發(fā)應(yīng)用分析的論文07-04