Java程序維護中基于別名分析的錯誤診斷技術與工具.pdf

1、在糾錯性軟件維護中，相當大一部分錯誤是由于程序對別名表達式指向的對象進行了誤操作而引發(fā)的。因此，針對別名引發(fā)的軟件錯誤，本文討論了基于別名分析的錯誤診斷技術，以及基于別名分析的錯誤診斷工具的設計與實現(xiàn)。 別名分析是在程序運行過程中，提取可能指向同一內存地址的表達式集合的一種技術，對程序分析起著十分重要的作用。在實際軟件維護支撐工具中，主要關心的問題是分析的時間復雜度和分析結果是否可以有效地重用。因此，根據(jù)軟件維護的特殊要求，本文

2、采用了分階段、基于知識庫與增量式的分析策略。以單個方法為模塊構造其別名關系圖、控制流圖，當被分析程序的某個部分發(fā)生改變時，并不需要對整個程序重新進行一次分析，而只需對發(fā)生變化部分及其相關區(qū)域重新分析，將其分析后的結果對程序信息知識庫中原有信息進行更新，其知識庫信息采用XML文件進行描述存儲。這種分析策略提高了分析結果的可重用性。整個分析策略通過兩個具體分析階段來實施，第一階段主要進行類內別名分析，并將分析的結果作為程序信息的知識庫，第二

3、階段基于程序信息知識庫進行類間別名分析。在第一階段分析中，主要分析類內每個方法的別名信息集，本文對傳統(tǒng)的流敏感的跨方法別名分析方法進行適當?shù)母脑欤瑧糜陬悆葎e名分析。另外，本文針對異常結構構造了包含異常結構的控制流圖，這為含有異常結構程序的方法內別名分析提供了支持。第二階段分析主要是類間別名分析。在此階段中，根據(jù)軟件運行中暴露出的具體錯誤，用戶設置出相應的別名標準，然后基于知識庫XML中存儲的類內別名信息和程序的方法調用信息，使用本文設