[發明專利]糾正計算機系統內錯誤的方法和裝置

有效

• 申請號: 98802783.6
• 申請日: 1998-02-13
• 公開（公告）號: CN1252875A
• 公開（公告）日: 2000-05-10
• 發明（設計）人: A·克雷博;R·貝迪切克;D·坎普爾
• 申請（專利權）人: 全斯美達有限公司
• 主分類號: G06F11/00
• 分類號: G06F11/00;G06F11/16
• 代理公司: 上海專利商標事務所
• 代理人: 李湘

1.一種校正計算機系統內差錯的系統，其特征在于包含：

有待校正差錯的測試系統；

參照系統；以及

控制機構，用于在參照系統與測試系統上執行程序，所屬控制機構包括：

在參照系統與測試系統上執行程序指令序列的裝置；

在程序執行過程中在可比較點上檢測與記錄參照系統與測試系統狀態的裝置；以及

在包括指令序列結束在內的指令序列中比較可選比較點上參照系統與測試系統的狀態的裝置。

2.如權利要求1所述的系統，其特征在于進一步包括回放裝置，如果檢測到系統比較狀態有差異，則回放參照系統與測試系統指令序列可選比較點之間的執行部分。

3.如權利要求2所述的系統，其特征在于如果檢測到系統比較狀態有差異則回放參照系統與測試系統指令序列可選比較點之間的執行部分的回放裝置響應比較狀態差異的檢測以重新設定待回放指令序列部分。

4.如權利要求3所述的系統，其特征在于如果檢測到系統比較狀態有差異則回放參照系統與測試系統指令序列可選比較點之間的執行部分的回放裝置在最近一次測試系統與參照系統狀態比較正確的可比較點與檢測到比較狀態差異的可比較點之間進行搜索。

5.如權利要求4所述的系統，其特征在于執行的搜索是二進制搜索。

6.如權利要求1所述的系統，其特征在于控制機構進一步包含：

向參照系統提供外部事件的裝置；

記錄由向參照系統提供外部事件的裝置提供的外部事件的裝置；以及

將所記錄的參照系統外部事件用作測試系統指令序列執行中的外部事件的裝置。

7.如權利要求6所述的系統，其特征在于控制機構包含改變外部事件和改變提供外部事件的可比較點的裝置。

8.如權利要求2所述的系統，其特征在于控制機構進一步包含：

向參照系統提供外部事件的裝置；

記錄由向參照系統提供外部事件的裝置提供的外部事件的裝置；以及

將所記錄的參照系統外部事件用作參照系統和測試系統回放指令序列執行中的外部事件的裝置。

9.如權利要求1所述的系統，其特征在于在程序執行過程中在可比較點上檢測與記錄參照系統與測試系統狀態的裝置檢測和記錄代表參照系統與測試系統狀態的代用值。

10.如權利要求1所述的系統，其特征在于所述控制機構包括在改變外部事件施加時回放參照系統與測試系統指令序列可選比較點之間的執行部分。

11.如權利要求1所述的系統，其特征在于在包括指令序列結束在內的指令序列中比較可選比較點上參照系統與測試系統的被檢測的狀態的裝置能夠選擇不同的狀態。

12.一種用于檢測計算機系統內差錯的計算機實現的進程，其特征在于包含以下步驟：

在參照系統與測試系統上執行軟件程序的指令序列；

在程序執行過程中在可比較點上檢測與記錄參照系統與測試系統的狀態；以及

在包括指令序列結束在內的指令序列中比較可選比較點上參照系統與測試系統的被檢測狀態。

13.如權利要求12所述的計算機實現的進程，其特征在于進一步包括如果檢測到系統比較狀態有差異則回放參照系統與測試系統指令序列可選比較點之間的執行部分的步驟。

14.如權利要求12所述的計算機實現的進程，其特征在于如果檢測到系統比較狀態有差異則回放參照系統與測試系統指令序列可選比較點之間的執行部分的步驟以響應比較狀態差異的檢測。

15.如權利要求13所述的計算機實現的進程，其特征在于如果檢測到系統比較狀態有差異則回放參照系統與測試系統指令序列可選比較點之間的執行部分的步驟包括在最近一次測試系統與參照系統狀態比較正確的可比較點與檢測到比較狀態差異的可比較點之間進行搜索。

16.如權利要求13所述的計算機實現的進程，其特征在于如果檢測到系統比較狀態有差異則回放參照系統與測試系統指令序列可選比較點之間的執行部分的步驟包括在最近一次測試系統與參照系統狀態比較正確的可比較點與檢測到比較狀態差異的可比較點之間進行二進制搜索。