劉露

摘要：電子信息技術(shù)的飛速發(fā)展，使我國已經(jīng)走向信息化道路。但是在電子計(jì)算機(jī)技術(shù)的發(fā)展過程中，計(jì)算機(jī)軟件的安全也受到了人們的高度重視。組我誒計(jì)算機(jī)軟件安全的基礎(chǔ)，軟件安全檢測技術(shù)能夠針對相關(guān)指標(biāo)來檢測軟件安全情況，能夠?qū)撛诘陌踩[患進(jìn)行識別等。因此，本文主要針對計(jì)算機(jī)軟件安全檢測的注意事項(xiàng)，提出了計(jì)算機(jī)軟件安全檢測的流程與方法，以此有助于我國計(jì)算機(jī)軟件安全得到積極的保障。

關(guān)鍵詞：計(jì)算機(jī)軟件安全檢測技術(shù)檢測流程與方式

中圖分類號：TP393.08 文獻(xiàn)標(biāo)識碼：A 文章編號：1007-9416（2016）05-0000-00

作為一種科學(xué)的技術(shù)與手段，計(jì)算機(jī)軟件安全檢測技術(shù)能夠針對軟件開發(fā)與運(yùn)用過程中的問題進(jìn)行檢測，然后對其進(jìn)行修改。所以，計(jì)算機(jī)軟件安全檢測技術(shù)對計(jì)算機(jī)發(fā)展起著重要的作用。所以，筆者主要針對這一內(nèi)容進(jìn)行研究與分析，并提出了合理的建議，從而能夠促進(jìn)我國計(jì)算機(jī)軟件得到積極的發(fā)展。

1計(jì)算機(jī)軟件安全檢測應(yīng)注意的問題

作為一種動態(tài)的檢測過程，計(jì)算機(jī)軟件安全檢測應(yīng)該注意幾個(gè)問題。首先，應(yīng)該對檢測方案進(jìn)行合理的選擇，盡量選擇科學(xué)、有效的安全檢測方案。并且應(yīng)該事先了解與掌握計(jì)算機(jī)軟件的要求與屬性，在此基礎(chǔ)上針對測試的具體情況，對合理的檢測手段加以利用，然后還要制定相應(yīng)的安全檢測方案，從而能夠使安全檢測方案具有有效性。其次，應(yīng)該積極檢測計(jì)算機(jī)軟件的安全性，不僅要發(fā)揮計(jì)算機(jī)軟件安全測試人員的積極作用，還需要掌握此軟件特點(diǎn)與使用方式人員的幫助，只要相關(guān)技術(shù)人員能夠進(jìn)行密切配合，能夠使計(jì)算機(jī)軟件的安全性得到一定的保證[1]。最后，在檢測計(jì)算機(jī)軟件安全性的過程中，應(yīng)該從全面分析的角度出發(fā)，對代碼級、需求級與系統(tǒng)級進(jìn)行仔細(xì)分析，然后針對實(shí)際需求，不同的層級應(yīng)該借助不同的技術(shù)手段，才能使分析結(jié)果的正確性得到充分地保證。因此，只有在計(jì)算機(jī)軟件安全的檢測過程中，注意以上問題的解決，能夠使計(jì)算機(jī)軟件安全得到積極的保障。

2計(jì)算機(jī)軟件安全檢測流程與方式

2.1檢測流程

一般情況下，計(jì)算機(jī)軟件安全的檢測，對于規(guī)模較大的計(jì)算機(jī)軟件來說，包含了很多子系統(tǒng)，而且這些子系統(tǒng)之中也有很多不同的模塊。通常情況下，計(jì)算機(jī)軟件安全的檢測，主要通過模塊檢測，然后進(jìn)行組裝系統(tǒng)，借助系統(tǒng)結(jié)構(gòu)的安全檢驗(yàn)，再進(jìn)行軟件功能與性能的檢測，最后實(shí)施系統(tǒng)測試等。作為子系統(tǒng)中的最小單位的測試，模塊檢測是要保證測試覆蓋范圍的全面性與細(xì)節(jié)性，能夠?qū)⑿∧K中的風(fēng)險(xiǎn)積極發(fā)現(xiàn)。各個(gè)模塊的測試完成以后，還要針對軟件程序的要求，組裝所有模塊，使之成為完整的系統(tǒng)，與此同時(shí)還要檢測組裝完畢的系統(tǒng)結(jié)構(gòu)安全。另外，如果上述檢測內(nèi)容都合格的情況下，還要測試系統(tǒng)軟件的功能與性能，以此能夠?qū)崿F(xiàn)系統(tǒng)軟件功能與性能能夠符合用戶的需求等。最后，所有檢測完成以后，應(yīng)該對整個(gè)軟件精心系統(tǒng)測試。這樣的層層把關(guān)，能夠積極保證用戶軟件的安全性[2]。

2.2檢測方式

2.2.1安全靜態(tài)檢測手段

所謂安全檢測方式，主要以模型為基礎(chǔ)，借助軟件行為，結(jié)構(gòu)建模等形式，使測試模型得以形成，這一模型能夠?qū)崿F(xiàn)機(jī)器對其的可讀性。這一檢測方式與其他檢測方式相比，能夠在模型生成過程中進(jìn)行系統(tǒng)化的測試，借助這種測試形式能夠體現(xiàn)出待測系統(tǒng)的行為與期望的模型具有一致性。通常情況下，這種檢測方式主要有有限狀態(tài)機(jī)遇馬爾科夫鏈等方式。

2.2.2語法檢測

所謂語法檢測，主要是借助語法的作用，檢測生成功能接口的軟件。這種檢測形式主要是為了研究反映，也就是在不同的輸入情況下，計(jì)算機(jī)軟件出現(xiàn)不同類型的反映。借助語法檢測方式，通常是要識別計(jì)算機(jī)軟件接口處語言，定義語言語法等，而且還要以語法為基礎(chǔ)，將檢測用例生產(chǎn)出來，還能同時(shí)進(jìn)行安全檢測等[3]。

2.2.3形式化檢測

形式化的安全檢測，主要是考慮到計(jì)算機(jī)軟件主要是以數(shù)學(xué)模型為基礎(chǔ)，而且還要以形式規(guī)格語言的支持為基礎(chǔ)，能夠提供出形式化的規(guī)格說明。當(dāng)前常見的形式規(guī)格語言主要有三種類型，主要是行為語言、模型語言以及有效狀態(tài)語言等，而檢測方式主要有定理證明、以模型檢查為基礎(chǔ)的正式安全檢測手段等。

2.2.4以故障注入為基礎(chǔ)的安全檢測

對于這種檢測的方式來說，通過實(shí)踐經(jīng)驗(yàn)證明，具有一定的優(yōu)勢，可以實(shí)現(xiàn)安全檢測自動化程度的提升，作為計(jì)算機(jī)軟件安全檢測的重要手段。所謂故障注入式檢測，就是基于故障模型的選定，將故障樹構(gòu)建起來，然后借助人為的反復(fù)測試，或者根據(jù)軟件反饋的信息等，能夠使檢測故障容錯性與安全性的有效信息得以呈現(xiàn)出來。

2.2.5安全屬性式檢測

這種檢測方式與其他檢測方式相比，可以全面分析安全漏洞的擴(kuò)展與交互發(fā)展。通過借助安全屬性式的檢測手段來測試，首先應(yīng)該對計(jì)算機(jī)軟件的安全編程規(guī)則進(jìn)行合理確定，然后再讓它當(dāng)做安全檢測的安全屬性；再借助得到的安全屬性，檢測系統(tǒng)程序的相關(guān)代碼，從而能夠?qū)ο到y(tǒng)代碼與相應(yīng)規(guī)則是否符合標(biāo)準(zhǔn)進(jìn)行合理驗(yàn)證。

2.2.3模糊式檢測

這種檢測方式，主要是與傳統(tǒng)檢測技術(shù)與動態(tài)檢測相結(jié)合，也就是在白盒模糊檢測基礎(chǔ)上，屬于對傳統(tǒng)檢測方式的升華。盡管模糊式檢測手段屬于簡單的技術(shù)，然而能夠?qū)Τ绦蛑械闹匾猙ug揭示出來，而且可以對現(xiàn)實(shí)世界的錯誤模式加以驗(yàn)證，然后在此基礎(chǔ)上，軟件發(fā)貨之前可以提示潛在的被阻塞的攻擊途徑等。

3結(jié)語

總之，當(dāng)前我國市場經(jīng)濟(jì)的迅速發(fā)展，電子商務(wù)也取得了一定的進(jìn)步，二計(jì)算機(jī)軟件的安全問題也得到了人們的積極關(guān)注。而要想有效保證計(jì)算機(jī)軟件的安全，應(yīng)該積極運(yùn)用計(jì)算機(jī)軟件安全檢測技術(shù)，能夠有效預(yù)防黑客的非法侵入，使軟件能夠得到安全的應(yīng)用。因此，這就需要我國應(yīng)該積極注重計(jì)算機(jī)軟件安全技術(shù)的設(shè)計(jì)人才，能夠通過不懈的研究與探索，保證我國的網(wǎng)絡(luò)安全與穩(wěn)定，實(shí)現(xiàn)軟件市場的健康發(fā)展。

參考文獻(xiàn)

[1]劉群娣.JAVA軟件面臨的風(fēng)險(xiǎn)及其保護(hù)[J].信息化建設(shè)，2016，（01）：58-59.

[2]萬歡.計(jì)算機(jī)軟件合理使用的問題及完善對策[J].求知導(dǎo)刊，2015，（24）：15-16.

[3]魯艷麗.淺談計(jì)算機(jī)軟件安全檢測技術(shù)[J].中國管理信息化，2016，（05）：99-100.