軟件工程的安全檢測(cè)和維護(hù)

王祥順

摘 要為確保計(jì)算機(jī)系統(tǒng)設(shè)計(jì)效果的有效提升，最關(guān)鍵的就是要有軟件作為必要的支撐，因而必須要全面提升計(jì)算機(jī)整體性能，才能夠向用戶提供高質(zhì)量的服務(wù)。為此，要想不斷滿足人們實(shí)際需求，計(jì)算機(jī)系統(tǒng)在實(shí)際運(yùn)行的時(shí)候就一定要充分考慮軟件與硬件。另外，需對(duì)軟件可維護(hù)性給予高度重視。基于此，文章將軟件工程作為研究重點(diǎn)，闡述了安全檢測(cè)與維護(hù)的相關(guān)問(wèn)題，希望有所幫助。

【關(guān)鍵詞】軟件工程 安全檢測(cè) 維護(hù) 研究

近年來(lái)，國(guó)內(nèi)計(jì)算機(jī)軟件類型以及數(shù)量都取得了理想的發(fā)展成績(jī)，同時(shí)在社會(huì)經(jīng)濟(jì)發(fā)展各領(lǐng)域中的應(yīng)用也更加廣泛。但需要正確認(rèn)知的是，計(jì)算機(jī)軟件本身也存在一定的不足之處。由于計(jì)算機(jī)軟件開(kāi)放性明顯，所以計(jì)算機(jī)軟件的信息泄露幾率也更高。為此，必須要高度重視計(jì)算機(jī)軟件工程的安全檢測(cè)和維護(hù)的作用。

1 軟件工程安全檢測(cè)技術(shù)與維護(hù)概述

對(duì)于計(jì)算機(jī)軟件安全檢測(cè)而言，在計(jì)算機(jī)軟件開(kāi)發(fā)中占據(jù)關(guān)鍵性地位，而主要的目的就是及時(shí)發(fā)現(xiàn)軟件中的故障以及安全漏洞，確保在短時(shí)間內(nèi)而更改潛在的安全問(wèn)題?，F(xiàn)階段，計(jì)算機(jī)軟件安全檢測(cè)技術(shù)包含了動(dòng)態(tài)與靜態(tài)檢測(cè)兩種。通過(guò)軟件的安全檢測(cè)能夠掌握計(jì)算機(jī)軟件安全程度是否處于預(yù)期設(shè)計(jì)目標(biāo)范圍內(nèi)。在檢測(cè)的過(guò)程中，所涵蓋的階段主要有功能測(cè)試、滲透測(cè)試以及驗(yàn)證過(guò)程。

軟件定義、開(kāi)發(fā)以及和運(yùn)行維護(hù)是軟件生命周期的重要階段，所以，確保軟件滿足用戶實(shí)際需求是運(yùn)行維護(hù)階段的關(guān)鍵性任務(wù)。可以說(shuō)，針對(duì)軟件使用方面的錯(cuò)誤進(jìn)行及時(shí)地更改，在環(huán)境變化的情況下也能夠?qū)崿F(xiàn)軟件修改的目的，進(jìn)而與全新的環(huán)境相適應(yīng)。在用戶出現(xiàn)新需求的時(shí)候，應(yīng)對(duì)軟件進(jìn)行及時(shí)地更正，確保能夠適應(yīng)用戶需求。

2 軟件工程安全檢測(cè)的具體方式

對(duì)于軟件工程的安全檢測(cè)方式，最關(guān)鍵的就是形式化檢測(cè)。該檢測(cè)的方式將數(shù)學(xué)模型作為重要基礎(chǔ)，使得安全檢測(cè)的結(jié)果更加精準(zhǔn)，靈活運(yùn)用相適應(yīng)的標(biāo)準(zhǔn)化語(yǔ)言，可以完成軟件工程項(xiàng)目各要素的格式化說(shuō)明，進(jìn)一步增強(qiáng)軟件工程本身的安全水平與可靠水平。在此基礎(chǔ)上，可以將形式化安全檢測(cè)細(xì)化成兩種不同的類型，即定量檢測(cè)與模型檢測(cè)。但需要正確認(rèn)知的是，該檢測(cè)的方式主要是將計(jì)算機(jī)軟件結(jié)構(gòu)作為重要的基礎(chǔ)，并且形成相應(yīng)的模型。而在實(shí)踐運(yùn)行的過(guò)程中，還需要直接解讀并檢測(cè)計(jì)算機(jī)軟件，將實(shí)用性與便捷性的雙重特征充分彰顯出來(lái)。另外，將構(gòu)建模型作為重要基礎(chǔ)并構(gòu)建靜態(tài)安全檢測(cè)的方法。在此基礎(chǔ)上，需對(duì)軟件工程采取語(yǔ)法安全檢測(cè)的方式，技術(shù)工作人員應(yīng)當(dāng)進(jìn)一步探究并分析軟件工程技術(shù)應(yīng)用的實(shí)際效果，并且充分考慮輸入條件的差異和安全相對(duì)應(yīng)安全檢測(cè)，最終掌握軟件工程在不同環(huán)境下的安全效果是否一致。除此之外，還包括屬性測(cè)試和模糊測(cè)試的安全檢測(cè)，應(yīng)當(dāng)針對(duì)軟件工程各項(xiàng)內(nèi)容展開(kāi)對(duì)比性地分析與研究。最后，軟件故障分析安全檢測(cè)，需要把計(jì)算機(jī)軟件當(dāng)中容易發(fā)生的安全故障展開(kāi)深入地分析，并和目前所發(fā)生的安全故障展開(kāi)比較與分析，進(jìn)而將軟件當(dāng)中的系統(tǒng)性錯(cuò)誤予以有效地檢測(cè)。

3 軟件工程的維護(hù)研究

上文針對(duì)計(jì)算機(jī)軟件工程的安全檢測(cè)技術(shù)以及檢測(cè)的具體方式展開(kāi)了深入地研究與分析，并且了解到軟件工程維護(hù)工作開(kāi)展的重要作用。為此，下文將重點(diǎn)闡述軟件工程維護(hù)工作的相關(guān)內(nèi)容，以供參考。

3.1 維護(hù)類型解構(gòu)

在保證針對(duì)計(jì)算機(jī)軟件工程進(jìn)行檢測(cè)的同時(shí)，還應(yīng)當(dāng)高度重視軟件的定期維護(hù)。科學(xué)合理地選擇使用維護(hù)技術(shù)對(duì)軟件工程運(yùn)用的正常性進(jìn)行有效地維護(hù)，并為其提供相應(yīng)的技術(shù)保障。一般情況下，軟件工程維護(hù)工作的類型可以細(xì)化成兩個(gè)部分：

3.1.1 適應(yīng)性維護(hù)

這種維護(hù)的方式主要將外部環(huán)境改變作為重要基礎(chǔ)，并適當(dāng)?shù)卣{(diào)整和維護(hù)軟件本身的適應(yīng)性。這種維護(hù)方式的目的就是不斷增強(qiáng)軟件工程項(xiàng)目的環(huán)境適應(yīng)能力，使其應(yīng)用的水平以及運(yùn)作的效率不斷增強(qiáng)。

3.1.2 改正性維護(hù)

針對(duì)計(jì)算機(jī)軟件工程展開(kāi)安全檢測(cè)以后，并不能夠保證對(duì)其中的部分隱性問(wèn)題被集中檢測(cè)出來(lái)。在這種情況下，應(yīng)針對(duì)軟件展開(kāi)試驗(yàn)性的使用，同時(shí)充分考慮使用中的問(wèn)題開(kāi)展維護(hù)工作。通常來(lái)講，應(yīng)用改正性維護(hù)方式的軟件工程存在問(wèn)題并不大，所以并不會(huì)對(duì)計(jì)算機(jī)軟甲的運(yùn)行效果產(chǎn)生不利的影響。

3.2 維護(hù)軟件工程的有效策略

在對(duì)軟件工程維護(hù)系統(tǒng)使用的過(guò)程中，必須要與時(shí)俱進(jìn)，適應(yīng)時(shí)代發(fā)展趨勢(shì)，以保證實(shí)現(xiàn)計(jì)算機(jī)軟件應(yīng)用性能的全面提升。為此，技術(shù)工作人員應(yīng)當(dāng)將軟件維護(hù)目標(biāo)作為重要基礎(chǔ)，不定期地更新并維護(hù)軟件的維護(hù)系統(tǒng)，實(shí)現(xiàn)系統(tǒng)本身的有效升級(jí)。這樣一來(lái)，才能夠?yàn)檐浖こ叹S護(hù)工作的開(kāi)展奠定良性外部框架。與此同時(shí)，也必須要不斷增強(qiáng)維護(hù)技術(shù)中所包含的科學(xué)技術(shù)含量，將具有時(shí)代內(nèi)涵的科技合理地融入其中，以實(shí)現(xiàn)軟件質(zhì)量與水平的全面提升。在此基礎(chǔ)上，有必要對(duì)軟件工程的質(zhì)量把整機(jī)制予以合理地構(gòu)建，為軟件工程項(xiàng)目?jī)?nèi)容的專業(yè)檢查工作提供有價(jià)值的參考依據(jù)。

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

綜上所述，根據(jù)文章研究結(jié)果可以發(fā)現(xiàn)，軟件維護(hù)工作對(duì)于軟件工程的正常運(yùn)行具有極大程度的影響。而軟件工程的維護(hù)工作也十分復(fù)雜，在軟件規(guī)模明顯擴(kuò)大的基礎(chǔ)上，復(fù)雜性也有所提高。為此，軟件工程維護(hù)成本有所提升。在這種情況下，必須針對(duì)軟件工程進(jìn)行嚴(yán)格地安全檢測(cè)，及時(shí)發(fā)現(xiàn)其中存在的安全隱患并解決。在此基礎(chǔ)上，積極地開(kāi)展軟件工程的維護(hù)工作，確保軟件工程運(yùn)行的正常，提高其安全性與可靠性。由此可見(jiàn)，軟件工程的安全檢測(cè)與維護(hù)具有一定的現(xiàn)實(shí)意義。

參考文獻(xiàn)

[1]傅強(qiáng).軟件工程的安全檢測(cè)與維護(hù)的分析研究[J].企業(yè)技術(shù)開(kāi)發(fā)（下半月），2016，35（01）：69-70.

[2]尚海波.軟件工程的安全檢測(cè)與維護(hù)的分析研究[J].建筑工程技術(shù)與設(shè)計(jì)，2016（14）：2943.

[3]高林.淺析軟件工程的安全檢測(cè)和維護(hù)[J].黑龍江科技信息，2015（17）：146.

[4]陳晨.淺析軟件工程的安全檢測(cè)和維護(hù)[J].中小企業(yè)管理與科技，2013（12）：279.

[5]孫繼紅，劉彩紅.計(jì)算機(jī)軟件工程安全維護(hù)措施探究[J].電腦與電信，2016（12）：76-78.

作者單位

貴陽(yáng)學(xué)院數(shù)信學(xué)院 貴州省貴陽(yáng)市 550005endprint