基于擴展有限狀態機模型的故障檢測

摘要：提出了基于擴展有限狀態機的故障檢測模型和檢測算法。該模型對軟件中的故障進行了形式化定義和描述，檢測算法對故障模型中的狀態變遷進行縮減，檢測故障模型的部分狀態變遷，進而可以有效緩解狀態空間過大而引起的時間和空間效率問題，從而最大限度地發現被測系統中的故障；最后給出了一個簡單協議來加以分析和驗證。實驗表明，該算法可以快速準確地定位軟件中故障發生的位置。

關鍵詞：擴展有限狀態機；故障模型；故障檢測

中圖分類號：TP311.5 文獻標志碼：A 文章編號：1001－3695(2009)07－2583－03