計(jì)算機(jī)軟件安全檢測(cè)存在問(wèn)題及方法探究

高軍強(qiáng)

摘要：伴隨著科學(xué)技術(shù)的發(fā)展與進(jìn)步，計(jì)算機(jī)成為人們?nèi)粘Ｉ钪胁豢苫蛉钡闹匾糠郑軌蛴行У靥嵘藗兊纳钯|(zhì)量和學(xué)習(xí)效率。眾多軟件的應(yīng)用為計(jì)算機(jī)的發(fā)展增加了活力，幫助了計(jì)算機(jī)滿足人們生活中的各項(xiàng)需求。計(jì)算機(jī)軟件指的是在計(jì)算機(jī)系統(tǒng)中存在的固定形式的文檔，是計(jì)算機(jī)系統(tǒng)設(shè)置中的核心依據(jù)。程序是計(jì)算機(jī)運(yùn)行和計(jì)算機(jī)軟件應(yīng)用的描述，主要作用于計(jì)算機(jī)中的處理對(duì)象和處理規(guī)則。文檔則能夠便于計(jì)算機(jī)用戶了解計(jì)算機(jī)的輔助性資料。在本文的研究中將針對(duì)計(jì)算機(jī)軟件安全檢測(cè)中存在的問(wèn)題和局限進(jìn)行詳細(xì)分析，論證能夠提升計(jì)算機(jī)安全檢測(cè)準(zhǔn)確性的方式，為相關(guān)行業(yè)的檢測(cè)工作提供理論參考。

關(guān)鍵詞：計(jì)算機(jī)軟件;安全檢測(cè);檢測(cè)方式

計(jì)算機(jī)軟件應(yīng)用與安全檢測(cè)之間的關(guān)系是密不可分的，計(jì)算機(jī)軟件安全檢測(cè)的主要目的是能夠幫助用戶在使用計(jì)算機(jī)的過(guò)程中規(guī)避其中存在的安全問(wèn)題，保護(hù)計(jì)算機(jī)設(shè)備和用戶的安全。尤其是在世界領(lǐng)域內(nèi)計(jì)算機(jī)、互聯(lián)網(wǎng)高速發(fā)展的大背景下，黑客、病毒等不同的威脅因素此起彼伏，計(jì)算機(jī)軟件在使用的過(guò)程中存在著諸多隱患，以上種種問(wèn)題都影響著計(jì)算機(jī)設(shè)備使用的穩(wěn)定性和安全性。鑒于此，需要探究計(jì)算機(jī)軟件安全檢測(cè)的有效措施，保證我國(guó)互聯(lián)網(wǎng)中的計(jì)算機(jī)設(shè)備的穩(wěn)定運(yùn)行。

1 計(jì)算機(jī)軟件安全檢測(cè)的基本概述

計(jì)算機(jī)安全檢測(cè)指的是計(jì)算機(jī)軟件在開發(fā)和利用的過(guò)程中能夠借助一些措施保證其中存在的問(wèn)題和故障能夠在第一時(shí)間內(nèi)發(fā)現(xiàn)并解決，針對(duì)不同軟件出現(xiàn)的不同類型的問(wèn)題能夠進(jìn)行程序化修補(bǔ)，有效且及時(shí)地防止和減少計(jì)算機(jī)軟件使用過(guò)程中的風(fēng)險(xiǎn)。

進(jìn)行計(jì)算機(jī)軟件安全檢測(cè)的過(guò)程中需要進(jìn)行全方面、多角度的檢測(cè)，力求不斷擴(kuò)展軟件的覆蓋面，這樣計(jì)算機(jī)軟件中存在的問(wèn)題和缺陷才能夠有效地篩查出來(lái)[1]。

現(xiàn)階段，對(duì)計(jì)算機(jī)中的軟件安全檢查基本上有以下兩種形式。首先，是靜態(tài)檢查，其檢查的主要內(nèi)容是針對(duì)計(jì)算機(jī)軟件中的輔助功能進(jìn)行分析，具有代表性的檢查階段是測(cè)試、驗(yàn)證等。其次，動(dòng)態(tài)檢查中的重點(diǎn)環(huán)節(jié)是檢查計(jì)算機(jī)軟件的功能、漏洞，力求計(jì)算機(jī)軟件在使用的過(guò)程中能夠滿足用戶的需求，在用戶使用的過(guò)程中能夠感受到計(jì)算機(jī)軟件的便捷、高效。以上兩者實(shí)施的最重要目的是減低計(jì)算機(jī)軟件中的使用風(fēng)險(xiǎn)，避免對(duì)用戶造成不同程度的不良影響和經(jīng)濟(jì)損失。

2 計(jì)算機(jī)軟件安全檢測(cè)的價(jià)值

伴隨著科學(xué)技術(shù)的發(fā)展，計(jì)算機(jī)成為人們生產(chǎn)生活中的重要工具，不僅能夠給予人們生活上的便捷，在工作、學(xué)習(xí)等眾多領(lǐng)域都能夠發(fā)揮自身的有效性和穩(wěn)定性，值得注意的是航空航天中對(duì)計(jì)算機(jī)的使用范疇更為廣泛[2]。計(jì)算機(jī)的使用功能建立在軟件的強(qiáng)大作用之上，計(jì)算機(jī)軟件的設(shè)計(jì)與開發(fā)能夠?qū)崿F(xiàn)眾多強(qiáng)大的功能，在人們的生活中發(fā)揮著至關(guān)重要的作用，但是互聯(lián)網(wǎng)自身的靈活性、多樣性、廣泛性等特點(diǎn)也為計(jì)算機(jī)軟件的使用帶來(lái)安全隱患，需要相關(guān)工作人員加以重視。計(jì)算機(jī)軟件在被使用的過(guò)程中面臨著多樣化的使用問(wèn)題，對(duì)計(jì)算機(jī)已經(jīng)造成了一些潛在的隱患和問(wèn)題。尤其是在黑客、病毒頻發(fā)的網(wǎng)絡(luò)大環(huán)境中，軟件安全不再是遙不可及的問(wèn)題，而是在人們的現(xiàn)實(shí)生活中具有實(shí)實(shí)在在影響的生活問(wèn)題。鑒于此，對(duì)計(jì)算機(jī)軟件進(jìn)行系統(tǒng)維護(hù)，保障客戶的使用安全性，是當(dāng)下進(jìn)行計(jì)算機(jī)軟件安全檢測(cè)的重要目的。

3 計(jì)算機(jī)軟件安全檢測(cè)中的問(wèn)題

計(jì)算機(jī)軟件安全檢測(cè)在計(jì)算機(jī)發(fā)展和應(yīng)用中占據(jù)著重要位置，其實(shí)施的主要目的是降低計(jì)算機(jī)在使用過(guò)程中存在的風(fēng)險(xiǎn)，能夠在短時(shí)間內(nèi)找到計(jì)算機(jī)使用過(guò)程中存在的問(wèn)題并且及時(shí)解決，進(jìn)而能夠滿足消費(fèi)者使用計(jì)算機(jī)的需求。下文中將詳細(xì)介紹計(jì)算機(jī)軟件使用過(guò)程中可能出現(xiàn)的問(wèn)題。

1）缺乏綜合分析框架

計(jì)算機(jī)工作過(guò)程中均能夠展現(xiàn)出自身的特點(diǎn)，進(jìn)而滿足用戶在使用過(guò)程中的需求。工作人員對(duì)計(jì)算機(jī)軟件進(jìn)行檢驗(yàn)的過(guò)程中需要從綜合性的角度出發(fā)，詳細(xì)分析計(jì)算機(jī)使用過(guò)程中存在的問(wèn)題，選擇與計(jì)算機(jī)性能吻合的檢測(cè)方式。另外，在進(jìn)行計(jì)算機(jī)軟件檢驗(yàn)的過(guò)程中應(yīng)當(dāng)引進(jìn)全新的檢驗(yàn)形式，避免傳統(tǒng)、局限的檢驗(yàn)方法造成計(jì)算機(jī)軟件的損毀[3]。檢驗(yàn)之前需要設(shè)定科學(xué)合理的檢驗(yàn)形式，結(jié)合計(jì)算機(jī)使用的時(shí)間、計(jì)算機(jī)軟件的類型、檢驗(yàn)的目的等多種因素，繼而能夠提升檢驗(yàn)的針對(duì)性和準(zhǔn)確性。

但是在當(dāng)下的計(jì)算機(jī)軟件檢測(cè)中能夠看出，檢測(cè)的流程簡(jiǎn)單、檢測(cè)頻率靈活，基本上是“做一天和尚撞一天鐘”的檢測(cè)機(jī)制，工作人員對(duì)于自身的工作內(nèi)容未能夠有效認(rèn)識(shí)，而檢測(cè)工作的實(shí)施也缺少必要的保障和監(jiān)督，造成檢測(cè)機(jī)制失衡、檢測(cè)效果較差等現(xiàn)象。

2）多元化檢測(cè)人員不足

計(jì)算機(jī)軟件檢測(cè)人員需要具備多樣化的工作能力和專業(yè)素養(yǎng)，計(jì)算機(jī)軟件檢驗(yàn)人員包括安全分析、質(zhì)量檢測(cè)、軟件更新和管理等多種工作內(nèi)容，僅僅依靠單一化的工作項(xiàng)目難以高效完成整個(gè)計(jì)算機(jī)軟件檢測(cè)工作。鑒于此，需要配置具有多樣化能力的計(jì)算機(jī)軟件檢測(cè)隊(duì)伍[4]。

然而，當(dāng)下我國(guó)計(jì)算機(jī)軟件檢測(cè)工作相關(guān)人員均難以掌握專項(xiàng)的、單一的檢測(cè)知識(shí)，自身的工作經(jīng)驗(yàn)也導(dǎo)致其對(duì)計(jì)算機(jī)檢測(cè)工作的認(rèn)識(shí)具有局限性，這就造成計(jì)算機(jī)軟件檢測(cè)工作頻頻陷入困境，不利于計(jì)算機(jī)軟件領(lǐng)域的順利發(fā)展，也造成了軟件檢測(cè)領(lǐng)域的諸多問(wèn)題。

3）檢測(cè)方式局限、滯后

計(jì)算機(jī)軟件檢測(cè)的過(guò)程中使用的方式和技術(shù)都較為固定，針對(duì)軟件分級(jí)的過(guò)程介紹十分詳細(xì)，但是軟件的發(fā)展空間、應(yīng)用領(lǐng)域等方面的研究不足，在軟件進(jìn)行更新?lián)Q代的過(guò)程中缺少必要的介紹和保障。一部分客戶在使用軟件的過(guò)程中滿意度較高，但是在軟件更新?lián)Q代之后便出現(xiàn)眾多問(wèn)題，難以有效應(yīng)對(duì)軟件檢測(cè)中存在的風(fēng)險(xiǎn)。這便要求計(jì)算機(jī)軟件檢測(cè)人員能夠根據(jù)現(xiàn)階段計(jì)算機(jī)軟件的使用和發(fā)展進(jìn)行深化分析，設(shè)計(jì)具有針對(duì)性的解決方案，按照客戶的需求進(jìn)行軟件檢測(cè)[5]。

縱觀我國(guó)當(dāng)下的計(jì)算機(jī)軟件檢測(cè)工作人員的工作作風(fēng)，能夠看出大量工作人員秉承的工作原則是“頭痛醫(yī)頭，腳痛醫(yī)腳”，未能夠科學(xué)、有效地認(rèn)識(shí)到軟件的更新?lián)Q代、全面發(fā)展所帶來(lái)的一系列問(wèn)題，造成軟件檢測(cè)的過(guò)于片面，影響計(jì)算機(jī)軟件市場(chǎng)的良性發(fā)展。

4 計(jì)算機(jī)軟件安全檢測(cè)實(shí)現(xiàn)方法

4.1 靜態(tài)檢測(cè)方法

靜態(tài)檢測(cè)主要依靠的是程序分析技術(shù)，將計(jì)算機(jī)軟件中的源代碼進(jìn)行分析，檢測(cè)出軟件內(nèi)部存在的問(wèn)題。靜態(tài)檢測(cè)法實(shí)施的過(guò)程中需要運(yùn)用類型推斷、約束分析、數(shù)據(jù)分析等不同的分析形式，將計(jì)算機(jī)軟件中潛在的問(wèn)題篩查出來(lái)。但是以上的分析形式中存在局限性，難以有效全面地分析出軟件內(nèi)部存在的問(wèn)題，在解決計(jì)算機(jī)軟件問(wèn)題過(guò)程中存在“盲區(qū)”。然而，這種檢測(cè)形式與其他形式相比仍舊能夠展現(xiàn)出其便捷、快速的優(yōu)勢(shì)。

4.2 動(dòng)態(tài)檢測(cè)方法

動(dòng)態(tài)檢測(cè)的核心是依靠對(duì)計(jì)算機(jī)運(yùn)行過(guò)程中的環(huán)境研究數(shù)據(jù)進(jìn)行深化分析，進(jìn)而能夠判斷出計(jì)算機(jī)運(yùn)行過(guò)程中表現(xiàn)出的問(wèn)題。動(dòng)態(tài)檢測(cè)形式能夠以更為廣泛的視角審視計(jì)算機(jī)軟件運(yùn)行過(guò)程中的環(huán)境，具備較多優(yōu)勢(shì)。值得注意的是檢測(cè)過(guò)程中需要對(duì)計(jì)算機(jī)的源碼、代碼進(jìn)行更改，這樣可以保留計(jì)算機(jī)運(yùn)行的基本狀態(tài)，也能夠保證計(jì)算機(jī)中的數(shù)據(jù)不受影響和更改，具有較高的安全性[6]。

4.3 形式化安全檢測(cè)

形式化檢測(cè)的重要前提是建立數(shù)學(xué)分析模型，通過(guò)精密的數(shù)據(jù)計(jì)算能夠獲得準(zhǔn)確的檢測(cè)結(jié)果，提升檢測(cè)精度。通過(guò)眾多檢測(cè)結(jié)果能夠看出，在確定語(yǔ)言支持和格式說(shuō)明之后便能夠?qū)崿F(xiàn)檢測(cè)目的。形式化檢測(cè)中使用的常見形式是模型語(yǔ)言、行為語(yǔ)言以及狀態(tài)語(yǔ)言等。這種檢測(cè)形式十分精細(xì)且規(guī)范，能夠保證計(jì)算機(jī)軟件在日后運(yùn)行的穩(wěn)定性和準(zhǔn)確性。

4.4 編程語(yǔ)法檢測(cè)

編程語(yǔ)法檢測(cè)中針對(duì)的主要對(duì)象是檢測(cè)編程中的功能語(yǔ)法，在這種檢驗(yàn)方式下，即便是語(yǔ)法不同的軟件，也能夠檢驗(yàn)出不同或者相同環(huán)境下的軟件使用效果。而后能夠定義計(jì)算機(jī)軟件接口使用的語(yǔ)言，并進(jìn)行安全檢測(cè)。這種檢測(cè)方式具有針對(duì)性，能夠在計(jì)算機(jī)軟件接口處實(shí)現(xiàn)高強(qiáng)度的檢驗(yàn)，保證軟件運(yùn)行接口環(huán)節(jié)的安全性、穩(wěn)定性。

4.5 軟件屬性安全檢測(cè)

計(jì)算機(jī)軟件屬性安全檢測(cè)的使用需要檢測(cè)人員對(duì)軟件的編程具有詳細(xì)的認(rèn)識(shí)和了解，并且能夠利用計(jì)算機(jī)系統(tǒng)進(jìn)行代碼驗(yàn)證，在使用檢測(cè)軟件的過(guò)程中需要嚴(yán)格遵循既定的安全準(zhǔn)則、安全編程，進(jìn)而保證軟件使用過(guò)程中的穩(wěn)定性。此類檢測(cè)形式能夠?qū)τ?jì)算機(jī)軟件開展更為現(xiàn)實(shí)的分析，保證軟件交互性、拓展性的同時(shí)實(shí)現(xiàn)其安全運(yùn)行[7]。

4.6 故障注入檢測(cè)方法

利用故障輸入法進(jìn)行安全檢測(cè)，主要流程是利用計(jì)算機(jī)軟件故障間的最小值來(lái)判斷具體的使用壽命。在計(jì)算機(jī)安全運(yùn)行的情況下，計(jì)算機(jī)的使用壽命較長(zhǎng)，但是一旦計(jì)算機(jī)出現(xiàn)故障，使用時(shí)間將會(huì)出現(xiàn)較大變化。故障影響下的計(jì)算機(jī)會(huì)在短時(shí)間內(nèi)出現(xiàn)元件損耗、硬盤燒毀等不良現(xiàn)象，甚至在一瞬間死機(jī)難以再次使用。這種檢驗(yàn)形式能夠?qū)⒂?jì)算機(jī)系統(tǒng)中的風(fēng)險(xiǎn)概率進(jìn)行精準(zhǔn)估算，分析不同故障影響下計(jì)算機(jī)出現(xiàn)的問(wèn)題，對(duì)檢驗(yàn)中的故障類型進(jìn)行全面分析，制定“一對(duì)一”的故障處理機(jī)制，實(shí)現(xiàn)計(jì)算機(jī)軟件檢查的目的[8]。

4.7 完善網(wǎng)絡(luò)安全系統(tǒng)

加強(qiáng)防范手段，其中主要包括進(jìn)行數(shù)據(jù)加密工作以及使用防火墻技術(shù)等方面，這樣可以在一定程度上防止和減少網(wǎng)絡(luò)數(shù)據(jù)被蓄意篡改的現(xiàn)象，進(jìn)而更為科學(xué)、有效地保護(hù)網(wǎng)絡(luò)信息安全。想要實(shí)現(xiàn)網(wǎng)絡(luò)信息系統(tǒng)的安全性和穩(wěn)定性，就要從軟件角度入手，明確其真正的安全需求，不斷更新和完善相關(guān)安全技術(shù)，實(shí)現(xiàn)安全技術(shù)的多樣性，并促使其進(jìn)行科學(xué)、有效的結(jié)合，促進(jìn)網(wǎng)絡(luò)安全系統(tǒng)的穩(wěn)定運(yùn)行。

4.8 加強(qiáng)硬件系統(tǒng)的安全防護(hù)工作

想要科學(xué)、有效地保證其硬件安全，就要從多方面入手，不僅要保證硬件自身的安全，還要保證其設(shè)置的安全，更要保證其物理安全。其中，相關(guān)人員需要根據(jù)計(jì)算機(jī)的實(shí)際情況對(duì)其進(jìn)行科學(xué)、合理的設(shè)置，主要針對(duì)密碼設(shè)置，在其服務(wù)器和交換機(jī)上都可以進(jìn)行設(shè)置，從而在一定程度上防止和減少人為破壞的現(xiàn)象。與此同時(shí)，保證其物理安全，主要針對(duì)禁止訪問(wèn)的設(shè)置，在其服務(wù)器和機(jī)柜上都可以進(jìn)行此項(xiàng)設(shè)置。

5 結(jié)束語(yǔ)

根據(jù)上文的論述能夠看出，我國(guó)乃至世界上的計(jì)算機(jī)軟件開發(fā)技術(shù)呈現(xiàn)日新月異的發(fā)展趨勢(shì)，其中蘊(yùn)含的安全隱患是需要眾多工作人員和專業(yè)人士加以注意的，應(yīng)當(dāng)采用科學(xué)、合理、穩(wěn)定的檢測(cè)形式保障計(jì)算機(jī)軟件領(lǐng)域的穩(wěn)定發(fā)展。鑒于此，應(yīng)當(dāng)全面提升檢測(cè)人員的專業(yè)素養(yǎng)，引導(dǎo)工作人員明確工作內(nèi)容、強(qiáng)化工作能力、提升職業(yè)素養(yǎng)、規(guī)范工作方法，利用更為先進(jìn)、高效的工作方式，助力我國(guó)計(jì)算機(jī)軟件的穩(wěn)定發(fā)展。

參考文獻(xiàn)：

[1] 王曉雨.多平臺(tái)下計(jì)算機(jī)軟件安全檢測(cè)問(wèn)題研究及檢測(cè)實(shí)現(xiàn)方法[J].通訊世界，2020，27（8）：101-102.

[2] 陳國(guó)政.淺析計(jì)算機(jī)軟件安全檢測(cè)存在問(wèn)題及方法[J].數(shù)碼設(shè)計(jì)（上），2020，9（3）：1.

[3] 劉夢(mèng)蕎.淺談?dòng)?jì)算機(jī)軟件的安全檢測(cè)方法[J].中國(guó)新通信，2020，22（2）：159.

[4] 阮昊禹.計(jì)算機(jī)軟件安全檢測(cè)方法研究[J].數(shù)碼世界，2019（12）：61.

[5] 張海娟，劉艦維.關(guān)于計(jì)算機(jī)軟件安全檢測(cè)技術(shù)探討[J].數(shù)字化用戶，2019，25（48）：154，156.

[6] 袁元.互聯(lián)網(wǎng)環(huán)境下的計(jì)算機(jī)軟件安全檢測(cè)技術(shù)[J].商品與質(zhì)量，2020（18）：189.

[7] 侯彥軍，張立仁.計(jì)算機(jī)軟件安全檢測(cè)技術(shù)探討[J].中國(guó)新通信，2019，21（20）：166.

[8] 王傳行.計(jì)算機(jī)軟件安全檢測(cè)方法研究[J].通訊世界，2019，26（10）：31-32.

【通聯(lián)編輯：代影】