軟件工程的安全檢測與維護的分析研究

傅強

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

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

中圖分類號：TP77；TP393 文獻標識碼：A 文章編號：1006-8937（2016）02-0069-02

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

1 安全檢測與維護介紹

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

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

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

2.1 流 程

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

2.2 檢測方式

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

3 軟件維護

3.1 維護類型

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

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

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

4.2 提高軟件維護的方法

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

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

4 結(jié) 語

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

參考文獻：

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

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