1、隨著軟件產業(yè)的蓬勃發(fā)展，軟件的規(guī)模和復雜度越來越高。在軟件開發(fā)過程中，調試工作的難度也隨之提高。使用一般的調試方法，往往會遇到這樣的困境：第一，由于系統(tǒng)的并行性和外部環(huán)境的變化，導致軟件錯誤無法重現；第二，軟件錯誤的影響顯現時，系統(tǒng)的狀態(tài)已經發(fā)生改變，無法通過分析系統(tǒng)當前的狀態(tài)來挖掘錯誤出現的根源，只能選擇從頭開始運行，這樣非常耗費時間。針對這樣的困境，本文提出了一種將確定性記錄回放技術和逆向調試相結合的調試方法。
　　 本文首

2、先介紹了當前國內外逆向調試技術以及確定性記錄回放技術的研究進展，并分析這兩種技術在解決前文所提出的困境的可行性。本文著重介紹了基于Xen虛擬機的逆向調試方法，其實現方案主要分為兩個階段：實現確定性記錄回放系統(tǒng)；為記錄回放系統(tǒng)添加局部回放功能，并進一步實現逆向調試系統(tǒng)。
　　 在確定性記錄回放系統(tǒng)的研究中，本文討論了實現確定性回放所需要記錄的信息以及具體的記錄方法，并設計了記錄文件的結構。通過在Xen虛擬機管理器中添加記錄回放模塊

3、，實現了收集目標對象DomU虛擬機運行信息的記錄功能，以及根據記錄重現DomU的運行過程的回放功能。
　　 在逆向調試系統(tǒng)的研究過程中，本文首先討論了引入檢查點機制的必要性和具體的實現方法；并進一步研究了如何將回放系統(tǒng)與GDB調試器相結合，實現提供逆向調試命令的調試系統(tǒng)。
　　 實驗結果表明，本文所實現的逆向調試能夠完整地重現調試對象的運行過程，并且可以通過逆向調試命令使其逆向運行，加以分析調試。而實現這些功能所帶來的空