計(jì)算機(jī)硬軟件的維護(hù)與維修研究論文(2)
計(jì)算機(jī)硬軟件的維護(hù)與維修研究論文
計(jì)算機(jī)硬軟件的維護(hù)與維修研究論文篇二
《對計(jì)算機(jī)軟件安全檢測技術(shù)的探究》
摘 要：隨著計(jì)算機(jī)使用量越來越多，互聯(lián)網(wǎng)的應(yīng)用更加普及，同時(shí)我國網(wǎng)絡(luò)市場的不斷擴(kuò)大，越來越多的個(gè)人或企業(yè)使用基于網(wǎng)絡(luò)與計(jì)算機(jī)信息技術(shù)的商務(wù)活動。網(wǎng)絡(luò)技術(shù)給企業(yè)帶來利益的同時(shí)，也帶來了安全隱患。計(jì)算機(jī)軟件中安全檢測技術(shù)的研究，是針對安全問題進(jìn)行解決的一種思路，對于安全漏洞風(fēng)險(xiǎn)控制有著十分重要的意義。本文也將就此系統(tǒng)地探討有關(guān)計(jì)算機(jī)軟件安全的主要檢測技術(shù)。
關(guān)鍵詞：計(jì)算機(jī)軟件;安全檢測;方法
中圖分類號：TP311.52
隨著計(jì)算機(jī)應(yīng)用的普及，在計(jì)算機(jī)中安裝的軟件越來越多，這些軟件中有的是企業(yè)商務(wù)活動應(yīng)用軟件，有的是個(gè)人需求而安裝的便民軟件，這些軟件的應(yīng)用大大提高了工作效率，讓個(gè)人的生活與工作活動更加簡捷方便，為企業(yè)帶來了巨大的經(jīng)濟(jì)效益。目前科技公司利潤額度已經(jīng)遠(yuǎn)遠(yuǎn)超過傳統(tǒng)的實(shí)業(yè)，但同時(shí)科技公司帶來的隱患也不斷涌現(xiàn)。計(jì)算機(jī)軟件安全性能研究已經(jīng)成為企業(yè)管理者不得不考慮的問題。計(jì)算機(jī)軟件安全檢測主要是針對有可能存在的問題進(jìn)行分析，并制定出相應(yīng)的對策。在軟件的開發(fā)時(shí)期就需要對安全檢測投入較大的力度，確保計(jì)算機(jī)軟件的應(yīng)用安全，才能讓更多的個(gè)人與企業(yè)使用，創(chuàng)造更多的價(jià)值。
在計(jì)算機(jī)軟件應(yīng)用時(shí)，有可能會出現(xiàn)一些不安全因素，軟件的安全檢測技術(shù)就很好地解決了這一問題。對于軟件的安全檢測更加注重的是對體系活動的影響，它能否滿足用戶的使用需求是其性能的關(guān)鍵。安全檢測技術(shù)的目的就是為了把不利的現(xiàn)象進(jìn)行捕捉，采用一定的解決辦法。
1 計(jì)算機(jī)軟件安全檢測重要性
計(jì)算機(jī)軟件安全檢測技術(shù)應(yīng)用于軟件的研制階段，首先它可以發(fā)現(xiàn)軟件的運(yùn)行錯(cuò)誤。軟件是否符合計(jì)算機(jī)硬件與系統(tǒng)的配置，檢測可以有效定義與實(shí)現(xiàn)軟件成分的組裝過程，通過運(yùn)行來驗(yàn)證軟件運(yùn)行是否滿足設(shè)計(jì)要求，為軟件的質(zhì)量模型提供數(shù)據(jù)依據(jù)。計(jì)算機(jī)軟件安全檢測過程中，對于用戶的安全隱患及時(shí)進(jìn)行防范。有一些計(jì)算機(jī)軟件的安全缺陷不會引起用戶的安全問題，但這種缺陷被利用就有可能會對用戶的信息安全進(jìn)行威脅，甚至系統(tǒng)會受到安全風(fēng)險(xiǎn)。計(jì)算機(jī)安全檢測中，安全缺陷一旦被發(fā)現(xiàn)，就會采取一定的措施進(jìn)行修復(fù)，如增加補(bǔ)丁等，所以一般的軟件會不停地進(jìn)行升級，目的就是為了不斷對軟件的安全性與功能性進(jìn)行完善與處理，確保用戶的使用與系統(tǒng)的安全。[1]
2 計(jì)算機(jī)軟件安全檢測技術(shù)簡介
軟件數(shù)量在不斷變多，軟件的質(zhì)量也得到了更多的關(guān)注，同樣一種功能的軟件，在不同的使用環(huán)境下測試結(jié)果不同，用戶的感受同樣也會存在差異。軟件的質(zhì)量中，軟件的安全性是一項(xiàng)重要的指標(biāo)，所以在軟件的研發(fā)過程中安全檢測是一項(xiàng)必不可缺少的過程。通過安全檢測能夠有效把故障進(jìn)行提前判斷，做出應(yīng)有的修補(bǔ)，降低安全風(fēng)險(xiǎn)。通過一些測試案例，盡可能地把軟件的檢測面涵蓋全，發(fā)現(xiàn)更多的問題，并不斷進(jìn)行修正，讓軟件的程序更加完善，運(yùn)行更加穩(wěn)定。但安全檢測并不一定意味著計(jì)算機(jī)軟件沒有錯(cuò)誤，它只是一種對非法入侵的一種防范能力。計(jì)算機(jī)軟件安全檢測是對計(jì)算機(jī)安全的達(dá)成過程，包括對軟件的功能測試，包括滲透測試，甚至包括驗(yàn)證測試，這三個(gè)過程必不可少，與其他的缺陷功能測試相比，檢測的內(nèi)容有所不同，安全檢測是對安全漏洞檢測與安全功能檢測，漏洞檢測則是主要對可能存在的缺陷，以及風(fēng)險(xiǎn)進(jìn)行判斷。安全功能是對功能是否滿足客戶需求而進(jìn)行的檢測、驗(yàn)證。[2]
3 主要計(jì)算機(jī)軟件安全檢測技術(shù)
計(jì)算機(jī)軟件安全檢測方法主要有動態(tài)與靜態(tài)兩種，通過不同的機(jī)理進(jìn)行程序運(yùn)行。目前主要的計(jì)算機(jī)軟件安全檢測技術(shù)手段有以下幾種：
3.1 詞法檢測技術(shù)
計(jì)算機(jī)軟件安全檢測可以是對接口進(jìn)行檢測，同時(shí)也可以對內(nèi)部的功能流程進(jìn)行驗(yàn)證。通過語法檢測的方法，則為基于語法對于產(chǎn)生功能的接口軟件進(jìn)行有效測試。在一般的情況下，語法檢測是以反映為目的，通過在不同的輸入條件下，達(dá)到不同的輸出結(jié)果。在語法檢測的接口功能檢測中主要是利用語言識別與語言和語法的定義等，能夠以語法檢測用例的同時(shí)進(jìn)行安全檢測。[3]
3.2 模型的安全功能測試技術(shù)
一般來講，計(jì)算機(jī)軟件肯定是要與硬件結(jié)合使用的，這就會形成軟件行為與結(jié)構(gòu)建立一個(gè)模型，通過測試模型來達(dá)到軟件的可讀性。模型的安全功能檢測并不是讓軟件系統(tǒng)與規(guī)格說明保持完全一致，而是從模型生成的一組測試用例，一般從這種用例中得出的數(shù)據(jù)會更加全面與充分。目前經(jīng)常使用的安全功能測試技術(shù)主要有有限狀態(tài)機(jī)與馬爾可夫鏈的方法。目前使用這種方法的計(jì)算機(jī)軟件安全檢測流程較為廣泛，已經(jīng)被證明能夠在實(shí)踐中體現(xiàn)出更多的現(xiàn)實(shí)意義。[4]
3.3 基于屬性的測試技術(shù)
關(guān)于安全屬性性質(zhì)的措施與以上兩種檢測方法而言，通過以準(zhǔn)確的數(shù)據(jù)來確保安全漏洞的擴(kuò)展性與交互性兩大方面的全面分析。安全屬性的檢測方法利用測試，最開始確定計(jì)算機(jī)軟件的安全編程規(guī)則來作為軟件安全檢測的安全屬性，之后利用產(chǎn)生的安全屬性對系統(tǒng)的相關(guān)代碼進(jìn)行檢測，最終來驗(yàn)證代碼是否與規(guī)則保持相符。
3.4 其他的計(jì)算機(jī)軟件安全檢測技術(shù)
除了以上三種重要的方法外，還存在著形式化安全檢測、以故障注入為前提的措施、檢測方法。形式化檢測技術(shù)主要是鑒于計(jì)算機(jī)軟件數(shù)學(xué)的模型之上進(jìn)行的，它要求形式規(guī)格語言支持，包括行為語言與模型語言等，通過定理證明和通過模型檢查正式等兩種主要的形式方法。以故障注入的方法能夠有效提高自動化特征，在選擇問題模型下，形成一定的故障樹，通過人工反復(fù)測試對軟件進(jìn)行反饋意見，實(shí)現(xiàn)檢測故障容錯(cuò)性與安全性析出。模糊式檢測方法把常規(guī)的方法與動態(tài)技術(shù)進(jìn)行完美結(jié)合，也就表明它的背景。模糊式檢測方法可以體現(xiàn)出許多關(guān)鍵內(nèi)容，能夠驗(yàn)證出錯(cuò)誤模式并在軟件的出貨提示被阻塞的信息。[5]
4 計(jì)算機(jī)軟件安全檢測需要注意的問題
計(jì)算機(jī)軟件安全檢測是動態(tài)的檢測過程，需要注意三個(gè)問題。第一是首先要有一個(gè)全面的安全檢測方案，不斷了解與掌握計(jì)算機(jī)軟件的要求與特征，根據(jù)具體的情況選擇合理的手段，編制方案，確保方案的可執(zhí)行性與有效性。另外需要有計(jì)算機(jī)軟件安全測試分析人員參與，同時(shí)需要有專門的設(shè)計(jì)人員在場，及時(shí)對發(fā)現(xiàn)的專業(yè)性問題進(jìn)行溝通與交流，保證測試效率與準(zhǔn)確度。二者相互配合好，才能達(dá)到預(yù)期的安全檢測效果。最后需要做到全面的分析，而不是把問題進(jìn)行孤立分析，確保分析的結(jié)果正確有效。[6]
5 結(jié)語
計(jì)算機(jī)軟件的安全檢測是軟件的研發(fā)過程中不可缺少的一環(huán)，它在產(chǎn)品的研制過程中起著重要的作用與意義。工程師可以通過多種安全檢測手段，對軟件的安全性與功能性進(jìn)行檢測。上文對目前業(yè)內(nèi)經(jīng)常使用到的方法進(jìn)行簡單的描述，在未來的計(jì)算機(jī)安全檢測領(lǐng)域，會有更多的方法與技巧出現(xiàn)，支持著計(jì)算機(jī)軟件的不斷發(fā)展，促進(jìn)網(wǎng)絡(luò)與信息化的成熟發(fā)展與進(jìn)步。計(jì)算機(jī)軟件安全檢測是保證計(jì)算機(jī)與網(wǎng)絡(luò)安全的重要基礎(chǔ)，需要進(jìn)一步加強(qiáng)技術(shù)的研究，保證軟件的使用安全。
參考文獻(xiàn)：
[1]牛潔，王滈.淺談計(jì)算機(jī)軟件安全檢測技術(shù)[J].計(jì)算機(jī)光盤軟件與應(yīng)用，2012，13：102-103.
[2]閆云鋒.計(jì)算機(jī)軟件安全漏洞檢測技術(shù)探究[J].民營科技，2012，11：99.
[3]劉志建.芻議計(jì)算機(jī)軟件安全檢測技術(shù)的應(yīng)用[J].計(jì)算機(jī)光盤軟件與應(yīng)用，2013，02：13-15.
[4]朱巖.淺析計(jì)算機(jī)軟件安全檢測存在問題及方法[J].科技創(chuàng)新與應(yīng)用，2012，14：51.
[5]肖鏃，趙倫.計(jì)算機(jī)軟件安全漏洞檢測技術(shù)探究[J].計(jì)算機(jī)光盤軟件與應(yīng)用，2012，12：93+95.
[6]陳晨.淺析軟件工程的安全檢測和維護(hù)[J].中小企業(yè)管理與科技(下旬刊)，2013，04：279.
作者簡介：楊培會，女，四川珙縣人，講師，教育學(xué)碩士，研究方向：計(jì)算機(jī);官小云，男，四川宜賓縣人，講師，教育學(xué)碩士，研究方向：計(jì)算機(jī)。
作者單位：四川郵電職業(yè)技術(shù)學(xué)院，成都 610000;宜賓職業(yè)技術(shù)學(xué)院，四川宜賓 644003
計(jì)算機(jī)硬軟件的維護(hù)與維修研究論文相關(guān)文章：