- 相關(guān)推薦
淺談?dòng)嬎銠C軟件安全檢測技術(shù)
計算機軟件的安全檢測是計算機軟件開(kāi)發(fā)中的一個(gè)極為重要的部分，以下是小編為大家搜集整理的一篇探究計算機軟件安全檢測技術(shù)，供大家閱讀借鑒。
摘要:步入21世紀以來(lái),科學(xué)和技術(shù)不斷發(fā)展,已經(jīng)達到一個(gè)全新的高度,計算機開(kāi)始廣泛運用到了各個(gè)領(lǐng)域,成為人們生活、辦公不可缺少的工具。人們對計算機的要求也變得越來(lái)越高。計算機辦公離不開(kāi)硬件和軟件,硬件是計算機運行的最基礎要求。軟件作為計算機工作的大腦,對其進(jìn)行安全檢測是保障計算機軟件能夠安全運行的重要內容之一。本文就計算機軟件安全檢測技術(shù)及其應注意的問(wèn)題進(jìn)行分析,以確保計算機軟件的安全性。
關(guān)鍵詞:計算機;軟件安全;檢測方法
一、引言
軟件安全檢測,顧名思義,指的是用科學(xué)的手段和技術(shù)來(lái)發(fā)覺(jué)軟件開(kāi)發(fā)中出現的各種故障,以及開(kāi)發(fā)風(fēng)險,對風(fēng)險和故障進(jìn)行診斷、更正和修改。計算機軟件安全檢測工作是軟件開(kāi)發(fā)和使用中必不可少的工作。工作者要用其確保計算機軟件的安全性和有效性、已達到預期的效果。
二、計算機軟件安全檢測簡(jiǎn)介
計算機軟件的安全檢測是計算機軟件開(kāi)發(fā)中的一個(gè)極為重要的部分,缺少了它,計算機軟件開(kāi)發(fā)是不完整的。通過(guò)對計算機軟件的檢測,我們熟知其安全性,可以發(fā)現軟件中存在的缺陷和漏洞,并加以彌補,從而使軟件得到優(yōu)化和完善。但計算機軟件安全檢測手段卻不能作為防止軟件錯誤發(fā)生的主要辦法,因為計算機安全檢測的職責只是找出程序中容易發(fā)生錯誤。在現有技術(shù)中,軟件安全檢測分為兩種,分別為靜態(tài)檢測與動(dòng)態(tài)檢測。
計算機軟件安全檢測實(shí)質(zhì)就是:通過(guò)技術(shù)對軟件的漏洞和缺陷進(jìn)行一遍系統化的檢測,以保證軟件開(kāi)發(fā)后功能和預期的功能相差無(wú)二�，F階段而言,計算機軟件的安全檢測技術(shù)主要包括三點(diǎn):分別為功能測試、滲透測試和檢驗過(guò)程。和其他軟件相比,計算機安全軟件有自己獨特的一處,安全軟件的檢測以避免軟件工作范疇以外的事物為主,普通的軟件和它相比,則以軟件該做的事情為主。用戶(hù)對軟件的依賴(lài)程度,需要軟件的安全程度來(lái)測試,安全檢測功能扮演的角色可謂是舉足輕重,它發(fā)現了軟件中存在的風(fēng)險及隱患,有時(shí)候更能識別出某些軟件的缺陷對計算機所產(chǎn)生的安全風(fēng)險。
三、計算機軟件安全檢測應該注意的事項
從另一種角度上講,計算機軟件安全檢測,實(shí)際上就是對計算機進(jìn)行安全檢測的一個(gè)非靜態(tài)過(guò)程。通常在進(jìn)行計算機軟件安全檢測時(shí)應注意以下兩個(gè)方面:
1.用科學(xué)合理的方案進(jìn)行軟件檢測工作。進(jìn)行檢測工作的人員應當具備以下幾種基本素質(zhì):
(1)充分了解軟件安全檢測工作。
(2)熟練掌握計算機軟件的特性。
只有具備這兩種基本素質(zhì),才能夠保證檢測方案實(shí)施起來(lái)。再者,應該對軟件檢測工作者提出相應的要求,應當確保在具備相關(guān)專(zhuān)業(yè)素質(zhì)的人才進(jìn)行工作時(shí),周?chē)鋫湎嚓P(guān)軟件特點(diǎn)及使用的技術(shù)性專(zhuān)員。只有通過(guò)與計算機軟件專(zhuān)業(yè)各種技術(shù)人員密切有效的配合,才能夠保證計算機軟件檢測工作順利完成,才能夠使得計算機軟件性能和安全性達到事先預期的效果。
2.在進(jìn)行計算機軟件安全檢測工作中,工作人員應當利用自身素質(zhì)和高科技設備進(jìn)行全面,深入的分析。常見(jiàn)的計算機應用軟件程序編寫(xiě)十分繁瑣、規模比較龐大,因此,工作人員在進(jìn)行計算機軟件安全檢測工作時(shí),應當著(zhù)重注意對代碼級、系統級以及需求級進(jìn)行深入分析。
跟上述選擇軟件檢測的方案相同,在進(jìn)行軟件中不同的級別時(shí)候,應當采取不同的選擇,已達到科學(xué)、合理的檢測目的。由此可知,計算機軟件安全檢測是繁雜的系統性過(guò)程,在這個(gè)過(guò)程中,如何選擇一個(gè)或數個(gè)科學(xué)、合理的方案,是計算機軟件安全檢測工作者們必須冷靜思考的問(wèn)題。
四、計算機軟件的幾種安全檢測方法及流程
(一)計算機軟件安全檢測流程
在進(jìn)行計算機軟件安全檢測時(shí),有些大型的計算機應用軟件,它們包含數量很大的子系統,這些子系統又被分為數個(gè)互不相同的模板。檢測工作可分為以下幾個(gè)步驟:模塊測試→組裝系統→系統結構的安全檢測→軟件功能和性能的有效測試→系統測試。
這些步驟中,模塊測試指的是子系統中最小的一個(gè)模塊進(jìn)行測試,工作者們進(jìn)行模塊測試的目的是使測試的輻射面更加廣泛、并且更加深入,在第一時(shí)間發(fā)現小模塊中所蘊藏了一些風(fēng)險,進(jìn)行完模塊測試后,工作者們會(huì )把所有經(jīng)過(guò)細膩檢測后的模塊重新進(jìn)行組裝,組裝完成后,再對完成后的系統進(jìn)行一次全面而細致的檢測工作,以確認其性能是否和預期相符。這樣,才能將軟件安全檢測流程做到最好。
(二)計算機軟件安全檢測的方式
1.形式化的安全檢測
此種檢測方法需要有計算機軟件的數學(xué)模型支撐,并需要有形式規格語(yǔ)言的支持方能完成。檢測時(shí)所用的常用規格語(yǔ)言有三種:行為語(yǔ)言、模型語(yǔ)言和有效狀態(tài)語(yǔ)言。
2.以模型為基礎的安全靜態(tài)檢測方式
模型安全檢測方式,即通過(guò)軟件行為與結構建模,組成一個(gè)測試模型,機器對這個(gè)模型具備可讀性。常用的檢測方法是有限狀態(tài)機和馬爾可夫鏈。這種軟件安全檢測方法與第一種安全檢測方法相比,此種以模型為基礎的測試方法比較系統化,它不致力于讓待測軟件系統與規格說(shuō)明在所有情況下都保持不變,而是從模型生成一組測試用例,證明待測系統的行為和模型與期望值相同。
3.語(yǔ)法檢測
語(yǔ)法檢測是基于語(yǔ)法對生成功能接口軟件進(jìn)行檢測,研究計算機軟件在不同的輸入條件下產(chǎn)生的不同類(lèi)型的反映。其檢測方法一般來(lái)說(shuō)是指對計算機軟件接口處語(yǔ)言的識別、語(yǔ)法的定義并在以語(yǔ)法為基礎生成檢測用例的同時(shí),進(jìn)行安全檢測。
4.以故障注入為基礎要素的安全檢測。
此種檢測方法,是指在選定故障模型的基礎上,構建故障樹(shù),并通過(guò)人為的反復測試及對軟件所反饋的故障信息,實(shí)現檢測故障容錯性和安全性等信息。它融合了傳統檢測技術(shù)和動(dòng)態(tài)檢測方法,建立于白盒模糊檢測的基礎之上,是對傳統檢測方法的改進(jìn)。模糊檢測法并不復雜,卻能夠尋找出程序中重要的bug,能夠驗證錯誤模式并對潛在攻擊渠道進(jìn)行提示。這種檢測方法能夠提高安全檢測自動(dòng)化程度,是計算機軟件安全檢測技術(shù)中的重要組成部分。
5.安全屬性式的檢測方法
該軟件安全檢測方法需首先確定軟件的安全編程規則,將確定的規則編碼作為安全屬性來(lái)驗證系統程序的代碼是否對這些規則進(jìn)行了遵守。其優(yōu)點(diǎn)是,能夠有效分析安全漏洞的交互性及擴展性。
五、結束語(yǔ)
計算機軟件安全檢測是信息安全體系中必不可少的組成部分。在信息化高速發(fā)展的今天,計算機的各類(lèi)軟件以及計算機網(wǎng)絡(luò )的應用已經(jīng)滲透到各行各業(yè)中,成為人們工作和生活最重要的組成之一,而軟件安全檢測確保了計算機軟件應用的良性發(fā)展,因此我們必須在今后的工作學(xué)習中進(jìn)一步加強對計算機安全檢測方法的研究。
參考文獻:
[1]王清.軟件漏洞分析技術(shù)[M].北京:電子工業(yè)出版社,2011,6
[2]艾倫.軟件安全工程[M].北京:機械工業(yè)出版社,2009,4
[3]李龍.軟件測試實(shí)用技術(shù)與常用模板[M].北京:機械工業(yè)出版社,2010,10
【淺談?dòng)嬎銠C軟件安全檢測技術(shù)】相關(guān)文章：
淺論計算機軟件安全檢測技術(shù)08-24
芻議計算機軟件安全檢測方法06-30
網(wǎng)絡(luò )安全技術(shù)淺談08-12
淺談土木工程結構檢測技術(shù)發(fā)展狀況10-10
淺談校園網(wǎng)絡(luò )安全技術(shù)10-24
淺談?dòng)嬎銠C軟件工程的維護措施07-23
淺談水泥攪拌樁質(zhì)量檢測方法10-12