基于有限狀態機的Web服務測試用例生成方法

摘要：提出了一種基于有限狀態模型(FSM)的測試用例生成方法。首先，FSM中的狀態由Web服務與用戶交互產生的中間狀態表示，FSM中的狀態遷移及其標注由Web服務與用戶間的消息交換表示；其次，借助正則表達式來描述Web服務交互過程的所有消息交換序列，并與Web服務的WSDL文檔結合產生測試數據；最后，給出了滿足FSM遷移覆蓋準則的測試用例生成算法，并通過實驗驗證了該方法的有效性。

關鍵詞：Web服務；有限狀態機；正則表達式；覆蓋準則；測試用例

注：本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文