新形勢(shì)下計(jì)算機(jī)軟件安全檢測(cè)技術(shù)研究

馬海波

摘 要 由于科學(xué)技術(shù)的發(fā)展和互聯(lián)網(wǎng)的普及，計(jì)算機(jī)的發(fā)展也日新月異。計(jì)算機(jī)的應(yīng)用在生活中更加的廣泛和普及。目前，計(jì)算機(jī)已經(jīng)深入各行各業(yè)，成為人們工作生活無(wú)法分離的一部分。因此，對(duì)計(jì)算機(jī)的安全性問(wèn)題的研究也成為人們普遍關(guān)注的問(wèn)題。本文從計(jì)算機(jī)軟件的安全檢測(cè)簡(jiǎn)介出發(fā)，對(duì)計(jì)算機(jī)軟件的安全檢測(cè)問(wèn)題進(jìn)行研究，對(duì)于防范軟件應(yīng)用潛在的安全漏洞風(fēng)險(xiǎn)有著十分重要的意義。以期對(duì)實(shí)際工作提供理論指導(dǎo)。

關(guān)鍵詞 新形勢(shì) 計(jì)算機(jī)軟件 安全檢測(cè) 技術(shù)分析 安全問(wèn)題 程序分析

0前言

在當(dāng)前互聯(lián)網(wǎng)發(fā)展的大背景下，計(jì)算機(jī)也得到了迅猛發(fā)展，各行各業(yè)的生產(chǎn)活動(dòng)都利用計(jì)算機(jī)來(lái)展開。因此，計(jì)算機(jī)的安全問(wèn)題也日益受到重視。計(jì)算機(jī)的軟件安全檢測(cè)技術(shù)分析就是有效發(fā)現(xiàn)軟件開發(fā)中存在的故障及其風(fēng)險(xiǎn)，并且對(duì)其修正和更改，計(jì)算機(jī)軟件的安全檢測(cè)技術(shù)在整個(gè)軟件開發(fā)中發(fā)揮著不可或缺的作用，通過(guò)軟件安全檢測(cè)技術(shù)分析，可以發(fā)現(xiàn)軟件中存在的問(wèn)題，提高計(jì)算機(jī)抵御風(fēng)險(xiǎn)的能力。

1計(jì)算機(jī)軟件安全檢測(cè)技術(shù)簡(jiǎn)介

計(jì)算機(jī)軟件的安全檢測(cè)是計(jì)算機(jī)軟件開發(fā)過(guò)程中的一個(gè)重要環(huán)節(jié)，一個(gè)新的軟件開發(fā)應(yīng)用必然要通過(guò)安全檢測(cè)。安全檢測(cè)可以發(fā)現(xiàn)軟件在應(yīng)用過(guò)程中的風(fēng)險(xiǎn)并且及時(shí)進(jìn)行更正修改。但是計(jì)算機(jī)軟件安全檢測(cè)僅僅是查找程序錯(cuò)誤的手段，并不能證明程序是完全正確的，也不能證明程序是絕對(duì)安全的。通常情況下，計(jì)算機(jī)軟件安全檢測(cè)主要分為靜態(tài)檢測(cè)和動(dòng)態(tài)檢測(cè)兩種類別。

2計(jì)算機(jī)軟件安全檢測(cè)應(yīng)該注意的事項(xiàng)

計(jì)算機(jī)軟件安全檢測(cè)，其實(shí)質(zhì)是對(duì)計(jì)算機(jī)軟件進(jìn)行安全檢測(cè)的一個(gè)動(dòng)態(tài)過(guò)程。在計(jì)算機(jī)進(jìn)行安全檢測(cè)時(shí)，需要注意以下問(wèn)題：

2.1選擇合適有效的軟件安全檢測(cè)方案

對(duì)于計(jì)算機(jī)軟件的安全檢測(cè)，要充分掌握計(jì)算機(jī)軟件要求的特性，根據(jù)不同的情況選擇合理的安全檢測(cè)手段，并且制定相應(yīng)的方案，以確保方案的有效性。對(duì)于軟件檢測(cè)人員還有一定的要求，要求相關(guān)人員掌握知識(shí)和經(jīng)驗(yàn)，配備熟悉該軟件的設(shè)計(jì)人員。只有有效的配合，才能確保達(dá)到理想的效果。

2.2計(jì)算機(jī)在進(jìn)行軟件安全檢測(cè)時(shí)，應(yīng)該做到全面分析

一般計(jì)算機(jī)軟件程序繁瑣規(guī)模大，需要相關(guān)人員在檢測(cè)過(guò)程中認(rèn)真細(xì)致，對(duì)代碼級(jí)、系統(tǒng)級(jí)和需求級(jí)都進(jìn)行詳細(xì)研究，并且對(duì)于不同級(jí)別給予合理的選擇。計(jì)算機(jī)軟件安全檢測(cè)是一項(xiàng)復(fù)雜的過(guò)程，全面分析必不可少。

3計(jì)算機(jī)軟件安全檢測(cè)技術(shù)分析

3.1計(jì)算機(jī)軟件安全檢測(cè)的程序

可以分為如下幾個(gè)步驟：首先進(jìn)行單元測(cè)試也就是模塊測(cè)試，尋找軟件中各個(gè)模塊可能存在的缺陷；接著組裝成系統(tǒng)，要按照程序設(shè)計(jì)的要求來(lái)完成組裝，并進(jìn)行安全性的檢測(cè)；然后進(jìn)行軟件是否與用戶需求吻合的檢測(cè)，完善軟件的功能和性能；最后是系統(tǒng)測(cè)試。

3.2計(jì)算機(jī)軟件安全檢測(cè)的主要技術(shù)

當(dāng)前，計(jì)算機(jī)軟件安全測(cè)試檢測(cè)方法主要有兩類，即靜態(tài)分析和動(dòng)態(tài)分析。靜態(tài)分析技術(shù)是通過(guò)程序分析技術(shù)來(lái)分析源代碼，從中發(fā)現(xiàn)可能存在的錯(cuò)誤，研究漏報(bào)率和誤報(bào)率是兩個(gè)重要指標(biāo)，二者相互影響，降低其中之一會(huì)造成另一個(gè)的增高。靜態(tài)分析的有點(diǎn)是檢測(cè)較為方便快捷，不需要計(jì)算機(jī)軟件運(yùn)行，而其缺陷則是其結(jié)果是對(duì)真實(shí)情況的近似，無(wú)法做到完美。另一方面，動(dòng)態(tài)檢測(cè)技術(shù)主要是通過(guò)分析修改內(nèi)存和環(huán)境變量因素來(lái)實(shí)現(xiàn)的。動(dòng)態(tài)檢測(cè)技術(shù)提高程序的保密性。從而提高安全度，下文就幾種主要技術(shù)進(jìn)行分析研究。

3.2.1詞法檢測(cè)技術(shù)

詞法檢測(cè)技術(shù)又叫語(yǔ)法測(cè)試，通過(guò)程序中的源代碼中有危險(xiǎn)的C語(yǔ)言中的庫(kù)函數(shù)和系統(tǒng)調(diào)用。該技術(shù)的測(cè)試流程一般先是識(shí)別軟件接口的語(yǔ)言，然后定義語(yǔ)法，最后生產(chǎn)測(cè)試，進(jìn)行安全檢測(cè)。

3.2.2模型的安全功能測(cè)試技術(shù)

該方法通過(guò)建模方式，對(duì)計(jì)算機(jī)軟件的行為與結(jié)構(gòu)生成測(cè)試模型，據(jù)此生成檢測(cè)用例，進(jìn)而推動(dòng)軟件進(jìn)行安全測(cè)試。此類檢測(cè)技術(shù)主要包括馬爾可夫鏈等。

3.2.3其他的測(cè)試技術(shù)

近年來(lái)軟件安全性測(cè)試技術(shù)得到飛速的發(fā)展，如基于白盒的模糊測(cè)試，就有效的結(jié)合了模式測(cè)試和動(dòng)態(tài)測(cè)試。總的來(lái)說(shuō)，軟件安全測(cè)試主要作用就是通過(guò)檢測(cè)、分析軟件設(shè)計(jì)或軟件中可能存在的安全問(wèn)題，以便及時(shí)的采取安全措施，針對(duì)性地保證計(jì)算機(jī)軟件的安全性應(yīng)用。

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

隨著市場(chǎng)經(jīng)濟(jì)的快速發(fā)展，市場(chǎng)經(jīng)濟(jì)在中國(guó)不斷深入，互聯(lián)網(wǎng)的應(yīng)用范圍日益廣泛，同時(shí)互聯(lián)網(wǎng)軟件的安全性也引起了人們的重視。這就要求我們必須重視這個(gè)問(wèn)題，不斷的探索更有效、更自動(dòng)化、更快速的計(jì)算機(jī)安全軟件檢測(cè)技術(shù)，從而從開發(fā)源頭就提高預(yù)防技術(shù)，有效阻止黑客的非法入侵，保障軟件的安全應(yīng)用，保護(hù)用戶利益，維護(hù)軟件市場(chǎng)的安全和規(guī)范，為互聯(lián)網(wǎng)軟件創(chuàng)造一個(gè)安全有序的環(huán)境，提升計(jì)算機(jī)軟件的安全性能。

參考文獻(xiàn)

[1] 王藝潼.關(guān)于計(jì)算機(jī)軟件安全檢測(cè)技術(shù)的探討[J].佳木斯教育學(xué)院學(xué)報(bào)， 2012（10）.

[2] 蔣廷耀，王訓(xùn)宇，馬凱，關(guān)國(guó)翔.基于EAI和AOP的軟件安全測(cè)試及應(yīng)用研究[J].計(jì)算機(jī)科學(xué)，2009（04）.

[3] 朱巖.淺析計(jì)算機(jī)軟件安全檢測(cè)存在問(wèn)題及方法[J].科技創(chuàng)新與應(yīng)用，2012（14）.