傅強(qiáng)

摘 要：隨著我國(guó)科學(xué)技術(shù)的快速發(fā)展，計(jì)算機(jī)技術(shù)在我國(guó)的應(yīng)用越來(lái)越廣泛，已經(jīng)普及到生活中的方方面面。計(jì)算機(jī)技術(shù)對(duì)我國(guó)的發(fā)展有著至關(guān)重要的作用，可以說(shuō)決定著我國(guó)的命運(yùn)。說(shuō)起計(jì)算機(jī)技術(shù)，必須談及軟件工程，因?yàn)橛?jì)算機(jī)系統(tǒng)在設(shè)計(jì)的過(guò)程中，離不開軟件工程。軟件工程就是計(jì)算機(jī)系統(tǒng)的核心，就是它的靈魂，沒(méi)有軟件工程的支持，計(jì)算機(jī)系統(tǒng)就無(wú)法正常的運(yùn)轉(zhuǎn)。為了更好的應(yīng)用計(jì)算技術(shù)，設(shè)計(jì)出更加完美、人性化的系統(tǒng)，就必須加強(qiáng)對(duì)軟件工程的研究，不斷更新軟件的功能。為了更好的服務(wù)于人類，滿足人們對(duì)計(jì)算機(jī)的需求，就必須時(shí)刻關(guān)注軟件的維護(hù)，注重對(duì)軟件工程安全檢測(cè)工作。因此，文章對(duì)軟件工程的安全檢測(cè)與維護(hù)進(jìn)行了研究，介紹了軟件安全檢測(cè)與維護(hù)的方法，以便為計(jì)算機(jī)軟件工程提供有益參考，創(chuàng)建一個(gè)更加美好的計(jì)算機(jī)應(yīng)用環(huán)境。

關(guān)鍵詞：軟件工程；安全檢測(cè)；維護(hù)；系統(tǒng)

中圖分類號(hào)：TP77；TP393 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1006-8937（2016）02-0069-02

當(dāng)前我國(guó)計(jì)算機(jī)軟件技術(shù)取得了巨大的成就，軟件的數(shù)量與軟件的種類也在不斷增多，這些軟件基本上都有著至關(guān)重要要的作用，都被廣泛應(yīng)用在人們的生活當(dāng)中。計(jì)算機(jī)技術(shù)本身就是信息傳播的一種手段，它具有開放性強(qiáng)的特征，這是一把雙刃劍，利用好可對(duì)自身有極大的益處，一旦失誤就會(huì)泄露自身的各種信息。因此，人們對(duì)計(jì)算機(jī)軟件的安全問(wèn)題越來(lái)越重視，技術(shù)人員都在不斷的研究安全系數(shù)更高的軟件工程，同時(shí)，我們也需要對(duì)計(jì)算機(jī)軟件安全檢測(cè)和維護(hù)技術(shù)進(jìn)行創(chuàng)新和研究。

1 安全檢測(cè)與維護(hù)介紹

計(jì)算機(jī)軟件安全檢測(cè)與維護(hù)對(duì)計(jì)算機(jī)技術(shù)的應(yīng)用有著至關(guān)重要的作用，要想更好的應(yīng)用于人們的生活與工作當(dāng)中，就必須重視軟件工程安全檢測(cè)與維護(hù)技術(shù)的研究。因?yàn)樵趹?yīng)用計(jì)算機(jī)技術(shù)的過(guò)程中，軟件工程經(jīng)常會(huì)出現(xiàn)一些非人為因素的故障和安全問(wèn)題，安全檢測(cè)與維護(hù)技術(shù)就可以及時(shí)發(fā)現(xiàn)其中存在的問(wèn)題，及時(shí)采取措施進(jìn)行修補(bǔ)，保證計(jì)算機(jī)軟件正常運(yùn)行。在現(xiàn)實(shí)生活中，計(jì)算機(jī)軟件工程的安全檢測(cè)技術(shù)主要有靜態(tài)和動(dòng)態(tài)兩種檢測(cè)方式，安全性方面的測(cè)試主要分為性能測(cè)試、滲透測(cè)試和驗(yàn)證過(guò)程三個(gè)方面。

任何產(chǎn)品都有屬于自己的生命周期，軟件同樣有著屬于自己的生命周期，它的生命周期過(guò)程為定義、開發(fā)、運(yùn)行維護(hù)。軟件的開發(fā)和應(yīng)用最主要的目的就是為了滿足用戶的需求，這也是軟件工程最根本的目標(biāo)。這也就告訴我們，軟件在應(yīng)用的過(guò)程中，如果出現(xiàn)了非人為因素的錯(cuò)誤或者問(wèn)題，安全檢測(cè)與維護(hù)技術(shù)就會(huì)及時(shí)的采取有效的措施，進(jìn)行修補(bǔ)、改進(jìn)，只有這樣才可以將軟件工程逐漸趨于完美，才能夠更好的適應(yīng)各種環(huán)境。

2 安全檢測(cè)技術(shù)的方式

2.1 流 程

計(jì)算機(jī)軟件工程在進(jìn)行安全檢測(cè)的時(shí)候，會(huì)經(jīng)過(guò)一下幾個(gè)流程：首先，安全檢測(cè)技術(shù)會(huì)對(duì)計(jì)算機(jī)軟件工程進(jìn)行全面的檢測(cè)，尋找出軟件系統(tǒng)中可能存在的問(wèn)題和缺陷，對(duì)這些缺陷和問(wèn)題進(jìn)行檢測(cè)和了解，再測(cè)試軟件設(shè)計(jì)過(guò)程中最小的模塊，之后會(huì)按照相關(guān)的標(biāo)準(zhǔn)，對(duì)計(jì)算機(jī)軟件系統(tǒng)進(jìn)行最為嚴(yán)格的檢測(cè)，此外，還要對(duì)與軟件相關(guān)的機(jī)構(gòu)進(jìn)行全面性檢查，確保軟件系統(tǒng)的安全與穩(wěn)定。其次，初步檢測(cè)完成沒(méi)有問(wèn)題之后，需要對(duì)軟件工程的功能和有效性進(jìn)行詳細(xì)的測(cè)試。最后，對(duì)整個(gè)軟件工程系統(tǒng)進(jìn)行全面的檢測(cè)，測(cè)試軟件系統(tǒng)在各種不同環(huán)境中運(yùn)行的可靠性與安全性。

2.2 檢測(cè)方式

軟件工程的檢測(cè)首先介紹的是形式化的檢測(cè)。形式化安全監(jiān)測(cè)首先要根據(jù)實(shí)際要求建立數(shù)學(xué)模型，數(shù)學(xué)模型必須是與軟件相對(duì)應(yīng)的，之后根據(jù)標(biāo)準(zhǔn)化語(yǔ)言對(duì)其進(jìn)行格式化說(shuō)明。形式化安全監(jiān)測(cè)主要有定量與模型兩種檢測(cè)方式。其次在應(yīng)有的模型基礎(chǔ)上對(duì)軟件進(jìn)行靜態(tài)的安全監(jiān)測(cè)。模型安全監(jiān)測(cè)是根據(jù)軟件的結(jié)構(gòu)合軟件行為建立一種能夠提供測(cè)試的模型，這種檢測(cè)模型能夠在計(jì)算機(jī)軟件運(yùn)行的過(guò)程中直接進(jìn)行讀取，這種檢測(cè)模型非常實(shí)用、非常便捷。模型安全檢測(cè)可分為有限狀態(tài)機(jī)、馬爾科夫鏈兩種檢測(cè)方式，可以根據(jù)具體的環(huán)境選擇合適的檢測(cè)方式。第三就是語(yǔ)法檢測(cè)，語(yǔ)言檢測(cè)主要是軟件技術(shù)人員根據(jù)軟件技術(shù)的效果進(jìn)行驗(yàn)證的，將技術(shù)應(yīng)用于不同的輸入條件下，看技術(shù)在不同環(huán)境下是否會(huì)出現(xiàn)相同的效果。第四種安全檢測(cè)方法是基于屬性測(cè)試與模糊測(cè)試。第五種安全檢測(cè)方式是基于故障注入的安全監(jiān)測(cè)，這種檢測(cè)方式是將軟件工程中出現(xiàn)故障的可能性輸入其中，將出現(xiàn)的故障與其比較，利用故障分析樹檢測(cè)軟件故障。除此之外，還有混合技術(shù)檢測(cè)、Web服務(wù)檢測(cè)技術(shù)等多種檢測(cè)方式，每種檢測(cè)方式都是有著屬于自身獨(dú)特的特點(diǎn)，根據(jù)具體的應(yīng)用環(huán)境選擇最為合適的檢測(cè)方式，可以更快的檢測(cè)出軟件工程中可能存在的問(wèn)題。

3 軟件維護(hù)

3.1 維護(hù)類型

計(jì)算機(jī)軟件工程的應(yīng)用離不開軟件維護(hù)，軟件在應(yīng)用的過(guò)程中，會(huì)出現(xiàn)一些問(wèn)題，這些問(wèn)題經(jīng)過(guò)長(zhǎng)時(shí)間的積累，會(huì)對(duì)軟件系統(tǒng)造成毀滅性的傷害。而軟件維護(hù)正好可以解決這些問(wèn)題，為軟件的正常運(yùn)行提供保障。軟件維護(hù)的主要類型有：

適應(yīng)性維護(hù)。適應(yīng)性軟件維護(hù)主要是根據(jù)軟件應(yīng)用環(huán)境不同而進(jìn)行維護(hù)的，主要是為了增加軟件的適應(yīng)性能，將強(qiáng)軟件在不同環(huán)境中的應(yīng)用，這種軟件維護(hù)在所有維護(hù)工作中占有四分之一左右的比例。隨著我國(guó)經(jīng)濟(jì)快速發(fā)展以及科學(xué)水平不斷提高，越來(lái)越多的計(jì)算機(jī)硬件價(jià)格不斷下滑，系統(tǒng)軟件也是層出不窮，這就使得軟件環(huán)境變更的頻率大大增加，運(yùn)營(yíng)環(huán)境也在不斷發(fā)生變化。因此，這些軟件在應(yīng)用的過(guò)程中需要不斷與新的運(yùn)營(yíng)環(huán)境相適應(yīng)，需要提高軟件的使用性能。軟件系統(tǒng)維護(hù)工作與軟件工程相似，需要一步一步、有計(jì)劃、合理科學(xué)的進(jìn)行，不能一蹴而就。

改正性維護(hù)。計(jì)算機(jī)軟件工程在開發(fā)的過(guò)程中會(huì)經(jīng)過(guò)相關(guān)檢測(cè)，但是這種檢測(cè)方式并不能完全檢測(cè)出軟件中存在的各種問(wèn)題，很多情況下都會(huì)有隱性問(wèn)題存在于軟件系統(tǒng)中。這就需要將軟件投入試用，根據(jù)實(shí)際應(yīng)用過(guò)程找出其中存在的問(wèn)題，發(fā)現(xiàn)問(wèn)題之后在進(jìn)行更改性維護(hù)。改正性維護(hù)一般都是在維護(hù)一些比較小的問(wèn)題，這些問(wèn)題大多數(shù)不會(huì)影響到軟件系統(tǒng)的正常運(yùn)行。

4.2 提高軟件維護(hù)的方法

軟件維護(hù)系統(tǒng)在開發(fā)的過(guò)程中需要不斷地探索、研究、開發(fā)，即使這樣，投入應(yīng)用的維護(hù)系統(tǒng)也不是完美的，也存在許多的缺陷，這需要在應(yīng)用的過(guò)程中進(jìn)行完善，不斷提高軟件維護(hù)的效果。主要的方法有：

首先要確定軟件維護(hù)質(zhì)量目標(biāo)，根據(jù)所制定的目標(biāo)為基礎(chǔ)，對(duì)維護(hù)系統(tǒng)進(jìn)行開發(fā)、升級(jí)，將維護(hù)系統(tǒng)的可更改性、測(cè)試性、可移植性等特點(diǎn)相互融合，相互促進(jìn)；其次，使用先進(jìn)的軟件開發(fā)技術(shù)與工具。隨著科學(xué)技術(shù)水平不斷提高，越來(lái)越先進(jìn)的開發(fā)技術(shù)應(yīng)經(jīng)投入市場(chǎng)，軟件維護(hù)系統(tǒng)在開發(fā)的過(guò)程中可以采用先進(jìn)的開發(fā)技術(shù)與工具。這樣可以大大提高軟件的質(zhì)量，同時(shí)提高了軟件的穩(wěn)定性、易修改、易操作、易調(diào)試等特性；最后，建立質(zhì)量保證體系，對(duì)維護(hù)軟件的質(zhì)量提供檢查機(jī)制，為其提供質(zhì)量保證。

4 結(jié) 語(yǔ)

軟件工程的安全檢測(cè)與維護(hù)是一種復(fù)雜、綜合性強(qiáng)的工作，在市場(chǎng)中的應(yīng)用也非常的廣泛，必須利用有效的安全檢測(cè)方式與維護(hù)技術(shù)才能夠提高軟件的穩(wěn)定性與有效性。同時(shí)，采用先進(jìn)技術(shù)開發(fā)高質(zhì)量、高性能的軟件，可以大大提高經(jīng)濟(jì)效益，降低維護(hù)成本。

參考文獻(xiàn)：

[1] 丁劍潔.基于度量的軟件維護(hù)過(guò)程管理的研究[D].西安：西北大學(xué)，2006.

[2] 唐愛國(guó).軟件過(guò)程控制研究[J].項(xiàng)目管理技術(shù)，2006，（9）.