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