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

有效

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

本發明實施例涉及計算機技術領域，公開了基于有限狀態機的系統診斷方法、裝置、設備及存儲介質。本發明實施例先根據測試序列對預設有限狀態機進行測試，以得到測試結果；從測試結果中獲取與初始癥狀對應的沖突集；通過沖突集中的轉換行為構建轉換失誤行為集；根據轉換失誤行為集確定待驗證行為；通過對待驗證行為的驗證操作診斷出待診斷系統的系統錯誤。可見，本發明實施例先通過沖突集中的轉換行為構建出轉換失誤行為集，接著，根據轉換失誤行為集確定待驗證行為，進而根據待驗證行為進行系統錯誤的確定，如此可以較為準確地鎖定系統錯誤，解決了難以診斷出系統錯誤的技術問題。

技術領域

本發明涉及計算機技術領域，尤其涉及基于有限狀態機的系統診斷方法、裝置、設備及存儲介質。

背景技術

隨著系統測試的不斷發展，系統的一致性測試變得愈加重要。

就系統的一致性測試而言，鑒于某一系統會存在著多種系統狀態，系統狀態之間的跳轉方式將基于該系統設計本身。

但是，若系統中的系統狀態在進行狀態跳轉時，并沒有如系統規定的跳轉方式進行跳轉，或者，并沒有得到預期的跳轉后狀態，此時，難以診斷或者定位出系統中發生的具體故障。

可見，目前，存在著難以診斷出系統錯誤的技術問題。

發明內容

為了解決難以診斷出系統錯誤的技術問題，本發明實施例提供基于有限狀態機的系統診斷方法、裝置、設備及存儲介質。

第一方面，本發明實施例提供一種基于有限狀態機的系統診斷方法，包括：

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

從所述測試結果中獲取與初始癥狀對應的沖突集，所述初始癥狀為所述測試結果中第一個狀態轉換失誤的轉換行為；

通過所述沖突集中的轉換行為構建轉換失誤行為集；

根據所述轉換失誤行為集確定待驗證行為；

通過對所述待驗證行為的驗證操作診斷出所述待診斷系統的系統錯誤。

優選地，所述通過所述沖突集中的轉換行為構建轉換失誤行為集，具體包括：

根據沖突集的可疑度從所述沖突集中確定目標沖突集；

根據轉換行為的可疑度從所述目標沖突集中確定第一轉換行為；

在不包含所述第一轉換行為的沖突集中確定第二轉換行為；

根據所述第二轉換行為與所述第一轉換行為構建第一轉換失誤行為集。

優選地，所述根據所述轉換失誤行為集確定待驗證行為，具體包括：

若所述第一轉換失誤行為集中的轉換行為并非所述初始癥狀，則確定與所述第一轉換失誤行為集中的轉換行為對應的第一錯誤推定狀態集，并將所述第一錯誤推定狀態集記為待驗證行為。

優選地，所述若所述第一轉換失誤行為集中的轉換行為并非所述初始癥狀，則確定與所述第一轉換失誤行為集中的轉換行為對應的第一錯誤推定狀態集，并將所述第一錯誤推定狀態集記為待驗證行為之后，所述基于有限狀態機的系統診斷方法還包括：

對所述第一錯誤推定狀態集進行驗證；

若驗證失敗，則舍棄所述第一轉換失誤行為集；

從不包含所述第一轉換行為的沖突集中選取除所述第二轉換行為之外的第三轉換行為；

根據所述第三轉換行為與所述第一轉換行為構建第二轉換失誤行為集；