朱業(yè)豐 豐賀信息科技（上海）有限公司

在計(jì)算機(jī)電子信息技術(shù)的深度應(yīng)用下，部分行業(yè)的發(fā)展已經(jīng)離不開計(jì)算機(jī)設(shè)備及應(yīng)用軟件。與此同時(shí)，大部分計(jì)算機(jī)軟件需要獲得用戶的相關(guān)權(quán)限才可進(jìn)行操作，此過程中計(jì)算機(jī)軟件將對用戶的隱私信息進(jìn)行獲取，一旦承接計(jì)算機(jī)軟件運(yùn)行的各類程序存在故障問題時(shí)，此類軟件將受到黑客攻擊以及病毒侵襲的風(fēng)險(xiǎn)，令計(jì)算機(jī)用戶造成信息丟失的問題。計(jì)算機(jī)軟件安全監(jiān)測技術(shù)的應(yīng)用，則是對軟件設(shè)計(jì)研發(fā)以及實(shí)際應(yīng)用等進(jìn)行全過程檢測，查證出計(jì)算機(jī)軟件在運(yùn)行過程中存在的各類問題，進(jìn)而制定出更為有效的解決措施，以保證計(jì)算機(jī)軟件的正常運(yùn)行。

一、計(jì)算機(jī)軟件安全檢測

安全性與穩(wěn)定性作為計(jì)算機(jī)軟件在實(shí)際使用過程中的重要指標(biāo)，只有承接計(jì)算機(jī)軟件運(yùn)行的各類程序，具備相應(yīng)的安全性能，才可令此類數(shù)據(jù)信息在網(wǎng)絡(luò)架構(gòu)中呈現(xiàn)出一定的安全傳輸屬性。計(jì)算機(jī)軟件安全檢測體系的建設(shè)則是通過軟件中呈現(xiàn)出的錯誤問題以及漏洞問題進(jìn)行分析，然后結(jié)合相應(yīng)的檢測機(jī)制，對軟件進(jìn)行優(yōu)化處理，以此來提高軟件在實(shí)際應(yīng)用過程中的抗干擾能力。從實(shí)際檢測形勢來看，計(jì)算機(jī)軟件安全檢測主要以幾點(diǎn)。

第一，軟件內(nèi)容的測試。此類檢測主要是針對軟件中存在的安全風(fēng)險(xiǎn)因素進(jìn)行分析，然后軟件運(yùn)行過程中所產(chǎn)生的數(shù)據(jù)信息與云端數(shù)據(jù)庫中的基準(zhǔn)信息進(jìn)行核對，一旦運(yùn)行信息呈現(xiàn)出較大的誤差性時(shí)，則將此類信息界定為風(fēng)險(xiǎn)因素，并同步反饋到系統(tǒng)中。

第二，對計(jì)算機(jī)軟件進(jìn)行危害程度的檢測。從軟件所產(chǎn)生的安全問題來看，其本身并不會對用戶的相關(guān)操作進(jìn)行影響，而是軟件本身所具備的安全隱患，在一定時(shí)機(jī)下觸發(fā)時(shí)對整個(gè)計(jì)算機(jī)系統(tǒng)以及用戶安全隱私造成相關(guān)的影響行為。此時(shí)安全檢測機(jī)制則是對軟件程序運(yùn)行過程中存在的隱性問題進(jìn)行分析與界定，然后通過數(shù)據(jù)算法對整個(gè)危害程度以及軟件在使用過程中的預(yù)期行為進(jìn)行分析，進(jìn)而反饋到主系統(tǒng)中，為整個(gè)檢測工作開展提供數(shù)據(jù)支撐。

第三，針對軟件運(yùn)行的修復(fù)模式。當(dāng)軟件安全檢測技術(shù)查證到當(dāng)前軟件運(yùn)行中存在漏洞問題時(shí)，則可通過與專家系統(tǒng)的對接自動程序漏洞進(jìn)行優(yōu)化處理，便可有效提高系統(tǒng)運(yùn)行的安全性與穩(wěn)定性。

二、計(jì)算機(jī)軟件安全檢測技術(shù)研究

（一）形式化檢測

基于計(jì)算機(jī)軟件安全檢測技術(shù)的形式化檢測方法，主要是對當(dāng)前系統(tǒng)運(yùn)行中所產(chǎn)生的各類數(shù)據(jù)信息進(jìn)行模型化建構(gòu)，以軟件在實(shí)際應(yīng)用過程中所產(chǎn)生的預(yù)期行為及固有程序在運(yùn)行過程中所產(chǎn)生的聯(lián)動效果，界定出具有信息表述特征的數(shù)據(jù)模型。此類模型可以有效計(jì)算機(jī)軟件過程中的語言行為、數(shù)據(jù)指令行為等進(jìn)行分析，查證出不同操控狀態(tài)下數(shù)據(jù)信息本身所產(chǎn)生的漏洞問題，進(jìn)而提高計(jì)算機(jī)軟件運(yùn)行質(zhì)量。與此同時(shí)，數(shù)據(jù)模型本身還具備相應(yīng)的測試功能，通過對數(shù)據(jù)信息進(jìn)行可視化、可讀化的分析，令軟件本身的測試功能可全過程作用到運(yùn)行路徑中，這樣通過信息的實(shí)時(shí)反饋，可以進(jìn)一步分析出當(dāng)前計(jì)算機(jī)軟件在操作過程中存在的相關(guān)問題，例如安全檢測技術(shù)支持下的數(shù)據(jù)模型，獲取計(jì)算機(jī)軟件運(yùn)行信息后，此時(shí)將軟件信息進(jìn)行系統(tǒng)化測試。如果此類信息與數(shù)據(jù)庫中所設(shè)定的基準(zhǔn)信息相一致，則證明數(shù)據(jù)模型在運(yùn)行過程中具有一定的穩(wěn)定性。如果此類信息與數(shù)據(jù)庫中的基本信息不一致時(shí)，則證明此事計(jì)算機(jī)軟件存在一定的漏洞。

（二）混合檢測

混合檢測技術(shù)的實(shí)現(xiàn)是對原有軟件靜態(tài)運(yùn)行程序檢測方法的一種優(yōu)化形式，通過靜態(tài)與動態(tài)相結(jié)合的形式，可有效對計(jì)算機(jī)軟件運(yùn)行環(huán)境進(jìn)行實(shí)時(shí)化檢測，通過內(nèi)部環(huán)境與外部環(huán)境的信息整合，可進(jìn)一步將檢測技術(shù)落實(shí)到整個(gè)軟件運(yùn)行行為中，這樣便可真正實(shí)現(xiàn)計(jì)算機(jī)軟件操控過程中的全過程檢測，以此來提高實(shí)際建設(shè)效率。

（三）語法檢測

系統(tǒng)接口作為計(jì)算機(jī)軟件運(yùn)行的重要載體接口，在對數(shù)據(jù)信息進(jìn)行傳輸時(shí)，是按照語言語法的形式，對各類信息進(jìn)行有效傳達(dá)。語法檢測技術(shù)的應(yīng)用則是進(jìn)一步為計(jì)算機(jī)軟件接口提供一個(gè)數(shù)據(jù)檢測載體，通過固定程序的語法修訂，對當(dāng)前計(jì)算機(jī)軟件運(yùn)行中存在的信息進(jìn)行逐一對比，然后結(jié)合語言識別機(jī)制、語言語法檢測機(jī)制等，對計(jì)算機(jī)軟件運(yùn)行中的程序信息進(jìn)行全過程檢測，以此來保證各類數(shù)據(jù)信息傳輸?shù)陌踩浴?/p>

（四）屬性檢測法

屬性檢測技術(shù)是通過對同種類的計(jì)算機(jī)軟件進(jìn)行固定參數(shù)指標(biāo)的核定，利用軟件本身所呈現(xiàn)出的屬性及運(yùn)算模式進(jìn)行統(tǒng)一化比對，這樣便可有效檢測出在不同運(yùn)行模式下軟件本身所呈現(xiàn)出的安全問題。與此同時(shí)，屬性檢測技術(shù)可以系統(tǒng)進(jìn)行程序化復(fù)制，例如代碼運(yùn)行以及指令傳輸?shù)龋渚赏ㄟ^不同指令形式對數(shù)據(jù)本身所呈現(xiàn)出的運(yùn)行行為進(jìn)行精準(zhǔn)確認(rèn)，以此來提高數(shù)據(jù)信息運(yùn)行的安全性。

三、結(jié)語

綜上所述，計(jì)算機(jī)軟件安全監(jiān)測是保證計(jì)算機(jī)設(shè)備及系統(tǒng)安全運(yùn)行的重要屏障，伴隨著計(jì)算機(jī)軟件的更新，承接系統(tǒng)安全防護(hù)的監(jiān)測技術(shù)也必須調(diào)整，依托于軟件運(yùn)行模式，設(shè)定出相對應(yīng)的監(jiān)測技術(shù)，以有效規(guī)避計(jì)算機(jī)安全防護(hù)問題的產(chǎn)生。