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

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

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

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

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