異常傳播分析技術(shù)及其應(yīng)用研究.pdf

1、隨著軟件規(guī)模的擴(kuò)大，程序復(fù)雜度的增強，對程序的可靠性和健壯性的要求越來越高。異常處理機(jī)制是程序設(shè)計語言提供的一種用來檢測異常并對其進(jìn)行處理的技術(shù)。使用異常處理機(jī)制時，一個必須考慮的問題是異常的傳播。引發(fā)異常的位置不一定是處理異常的位置，異常可能傳播出它被引發(fā)的函數(shù)。異常的傳播會引發(fā)程序的提前終止，改變程序原來的執(zhí)行路線，從而改變程序中各種數(shù)據(jù)之間的控制關(guān)系和依賴關(guān)系；異常的傳播增加了函數(shù)之間的耦合，給程序的測試、理解和維護(hù)帶來了困難。異

2、常傳播如果處理不當(dāng)，會直接影響軟件的可靠性和健壯性。因此，對異常傳播分析技術(shù)及其應(yīng)用的有關(guān)問題進(jìn)行研究不僅具有重要的理論意義，也具有廣闊的應(yīng)用前景。 本文在對C++的異常傳播機(jī)制進(jìn)行分析的基礎(chǔ)上，首先建立了C++程序的異常傳播分析模型，分析了異常傳播路徑。然后對包括異常傳播的C++程序中控制流、數(shù)據(jù)流、控制依賴和數(shù)據(jù)依賴的分析方法進(jìn)行了研究，并積極探索其在軟件工程任務(wù)中的應(yīng)用。最后對異常傳播分析工具的有關(guān)實現(xiàn)問題進(jìn)行了探討。

3、 本論文取得的成果主要包含如下幾個方面： ·為了分析C++程序中異常的傳播，我們在充分研究C++異常處理機(jī)制的基礎(chǔ)上，提出一種適于分析C++程序的異常傳播的分析模型，該模型可以計算一定范圍內(nèi)(如一個類，一個函數(shù)等)可能引發(fā)異常的類型、可能傳播出異常的類型等。針對遞歸函數(shù)本身的特殊性，提出一種適于遞歸函數(shù)的異常傳播分析方法，該方法比現(xiàn)有的遞歸函數(shù)的異常傳播分析方法更為簡單。開發(fā)了基于該模型的異常分析輔助工具，使用該工具可以幫助

4、程序的開發(fā)人員發(fā)現(xiàn)程序中潛在的問題，從而為異常處理結(jié)構(gòu)的改進(jìn)提供依據(jù)。 ·為了解決目前在分析異常傳播路徑中表示方法過于復(fù)雜的問題，我們提出了一種新的異常傳播的表示方法——異常傳播圖，它由組成程序的各個函數(shù)的簡化的異?？刂屏鲌D組成。在該異常傳播圖上，異常的傳播路徑一目了然，并實現(xiàn)了異常傳播路徑的可視化顯示。與目前已有方法相比，這種異常傳播圖更簡潔、直觀、有效。 ·為了分析異常傳播對程序控制流、數(shù)據(jù)流、控制依賴和數(shù)據(jù)依賴的影