異常傳播分析技術及其應用研究.pdf

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

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

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

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