[發明專利]基于有限狀態機的系統診斷方法、裝置、設備及存儲介質

有效

• 申請號: 202010049382.2
• 申請日: 2020-01-16
• 公開（公告）號: CN111240883B
• 公開（公告）日: 2023-08-29
• 發明（設計）人: 張建標;崔玲
• 申請（專利權）人: 北京工業大學
• 主分類號: G06F11/07
• 分類號: G06F11/07
• 代理公司: 北京路浩知識產權代理有限公司 11002
• 代理人: 馬瑞

1.一種基于有限狀態機的系統診斷方法，其特征在于，包括：

根據測試序列對預設有限狀態機進行測試，以得到測試結果，其中，所述測試序列、所述預設有限狀態機均與待診斷系統對應，所述測試序列中包括所述待診斷系統對應的各系統狀態之間的轉換行為；

將所述測試結果與預設預期結果進行比較，以確定所述測試結果中的初始癥狀，以所述初始癥狀為分界從所述測試結果中截取出轉換行為，并通過截取出的轉化行為構建沖突集，所述初始癥狀為所述測試結果中第一個狀態轉換失誤的轉換行為；

根據沖突集的可疑度從所述沖突集中確定目標沖突集，根據轉換行為的可疑度從所述目標沖突集中確定第一轉換行為，在不包含所述第一轉換行為的沖突集中確定第二轉換行為，根據所述第二轉換行為與所述第一轉換行為構建第一轉換失誤行為集；

根據所述第一轉換失誤行為集確定待驗證行為，若所述第一轉換失誤行為集中的轉換行為并非所述初始癥狀，則確定與所述第一轉換失誤行為集中的轉換行為對應的第一錯誤推定狀態集，并將所述第一錯誤推定狀態集記為待驗證行為；對所述第一錯誤推定狀態集進行驗證，若驗證失敗，則舍棄所述第一轉換失誤行為集，從不包含所述第一轉換行為的沖突集中選取除所述第二轉換行為之外的第三轉換行為，根據所述第三轉換行為與所述第一轉換行為構建第二轉換失誤行為集，若所述第二轉換失誤行為集中的轉換行為為所述初始癥狀，則確定與所述第二轉換失誤行為集中的轉換行為對應的第二錯誤推定狀態集，并將所述第二錯誤推定狀態集作為新的待驗證行為；

通過所述測試序列中的證例與反例對所述待驗證行為進行驗證，若驗證成功，則將所述待驗證行為記為所述待診斷系統的系統錯誤。

2.根據權利要求1所述的基于有限狀態機的系統診斷方法，其特征在于，所述若驗證成功，則將所述待驗證行為記為所述待診斷系統的系統錯誤之后，所述基于有限狀態機的系統診斷方法還包括：

修正所述待診斷系統中存在著的所述待驗證行為；

對修正后的待診斷系統進行驗證；

若驗證成功，則修正操作結束。

3.一種基于有限狀態機的系統診斷裝置，其特征在于，包括：

測試模塊，用于根據測試序列對預設有限狀態機進行測試，以得到測試結果，其中，所述測試序列、所述預設有限狀態機均與待診斷系統對應，所述測試序列中包括所述待診斷系統對應的各系統狀態之間的轉換行為；

沖突集確定模塊，用于將所述測試結果與預設預期結果進行比較，以確定所述測試結果中的初始癥狀，以所述初始癥狀為分界從所述測試結果中截取出轉換行為，并通過截取出的轉化行為構建沖突集，所述初始癥狀為所述測試結果中第一個狀態轉換失誤的轉換行為；

行為集確定模塊，用于根據沖突集的可疑度從所述沖突集中確定目標沖突集，根據轉換行為的可疑度從所述目標沖突集中確定第一轉換行為，在不包含所述第一轉換行為的沖突集中確定第二轉換行為，根據所述第二轉換行為與所述第一轉換行為構建第一轉換失誤行為集；

行為確定模塊，用于根據所述轉換失誤行為集確定待驗證行為，若所述第一轉換失誤行為集中的轉換行為并非所述初始癥狀，則確定與所述第一轉換失誤行為集中的轉換行為對應的第一錯誤推定狀態集，并將所述第一錯誤推定狀態集記為待驗證行為；對所述第一錯誤推定狀態集進行驗證，若驗證失敗，則舍棄所述第一轉換失誤行為集，從不包含所述第一轉換行為的沖突集中選取除所述第二轉換行為之外的第三轉換行為，根據所述第三轉換行為與所述第一轉換行為構建第二轉換失誤行為集，若所述第二轉換失誤行為集中的轉換行為為所述初始癥狀，則確定與所述第二轉換失誤行為集中的轉換行為對應的第二錯誤推定狀態集，并將所述第二錯誤推定狀態集作為新的待驗證行為；

系統診斷模塊，用于通過所述測試序列中的證例與反例對所述待驗證行為進行驗證，若驗證成功，則將所述待驗證行為記為所述待診斷系統的系統錯誤。

4.一種電子設備，包括存儲器、處理器及存儲在所述存儲器上并可在所述處理器上運行的計算機程序，其特征在于，所述處理器執行所述程序時實現如權利要求1至2中任一項所述基于有限狀態機的系統診斷方法的步驟。

5.一種非暫態計算機可讀存儲介質，其上存儲有計算機程序，其特征在于，所述計算機程序被處理器執行時實現如權利要求1至2中任一項所述基于有限狀態機的系統診斷方法的步驟。