軟件可信性保障若干關(guān)鍵技術(shù).pdf

1、在軟件的開發(fā)和使用中，人們總是希望軟件行為的表現(xiàn)與預(yù)期相一致，但是目前在設(shè)計和開發(fā)可信軟件時缺乏理論和技術(shù)上的指導(dǎo)，許多已知和未知的軟件缺陷無法避免，同時由于軟件本身的復(fù)雜性和運行環(huán)境的開放、動態(tài)、多變等原因，使得軟件行為具有不可控性和不確定性，由此引發(fā)的軟件行為與預(yù)期不相符合的現(xiàn)象是軟件開發(fā)和使用過程中必須面對的重要問題。本文著重討論了提高和保障軟件可信性的若干關(guān)鍵技術(shù)，這些技術(shù)對可信軟件的研究具有重要的理論意義和應(yīng)用價值，本文在此方

2、面開展了相關(guān)的研究工作，取得的主要研究成果如下:
　　 (1)針對現(xiàn)有的軟件行為模型對環(huán)境因素考慮不足、性能影響較大等問題，提出了基于環(huán)境約束的軟件行為控制流模型，分析了影響程序運行的環(huán)境因素，結(jié)合靜態(tài)分析方法優(yōu)點，建立程序行為分析模型，利用標記函數(shù)調(diào)用指令的方法，在動態(tài)運行時進行返回值一致性約束，從而提高模型的精確性;同時根據(jù)程序的局部運行原理，將分析范圍限定在函數(shù)范圍內(nèi)，減少了性能開銷。
　　 (2)針對現(xiàn)有軟件結(jié)構(gòu)

3、復(fù)雜，軟件故障定位困難等問題，提出了兩種以人工智能理論為基礎(chǔ)的軟件故障定位的自動化方法和模型:基于故障傳播感知的軟件故障定位方法和基于神經(jīng)網(wǎng)絡(luò)的多故障定位模型。前者從故障傳播對故障定位的影響出發(fā)，通過引入故障傳播趨勢的概念來捕獲故障在程序節(jié)點中的傳播，進而消除故障傳播對故障定位精度的影響;后者考慮多故障間相互干擾對故障定位的影響，首先通過故障相關(guān)性分析確定故障間的相互影響，然后利用神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)故障與位置的對應(yīng)關(guān)系并通過構(gòu)造理想測試用例來

4、確定每個可疑位置的可疑度。最后通過實驗分析了方法的準確性和快速性，從而為軟件故障修復(fù)提供支撐，進而提高軟件的可信性。
　　 (3)對軟件自動修復(fù)技術(shù)進行深入研究，在此基礎(chǔ)上提出了基于進化計算的軟件自動修復(fù)技術(shù)，其主要思想是采用控制流圖作為進化個體的編碼方式，測試用例約束的控制流圖節(jié)點集的勢、結(jié)構(gòu)相似度、不變量約束等作為影響適應(yīng)度函數(shù)的因素，將軟件的修復(fù)過程轉(zhuǎn)化為適應(yīng)度函數(shù)指導(dǎo)的進化過程，從而達到軟件自動化修復(fù)的目的。文中分析了進

5、化計算在軟件修復(fù)中的高度可用性，并進一步的從初始種群生成、進化操作位置的細粒度控制、相關(guān)參數(shù)的設(shè)置等方面進行了分析和改進;接下來研究了其在模塊化軟件容錯中的具體應(yīng)用，從而在可靠性、可用性、長生存能力等不同角度滿足人們對軟件質(zhì)量方面的需求。
　　 (4)針對現(xiàn)有研究缺乏對軟件修復(fù)變更風(fēng)險和修復(fù)后驗證方面的研究，分析了針對軟件修復(fù)的變更風(fēng)險，引入了變更風(fēng)險深度、變更風(fēng)險密度等概念來對軟件修復(fù)變更風(fēng)險進行量化，進而指導(dǎo)軟件修復(fù)的驗證工